Technical Reports (CIS)

 
Penn Engineering is the birthplace of the modern computer. It was here that the ENIAC, the world's first electronic, large-scale, general-purpose digital computer, was developed in 1946. Since this auspicious beginning more than five decades ago, the field of computer science at Penn has been marked by exciting innovations. Over the last few years, Penn CIS has grown in algorithms, theory of computation, networking, systems and architecture, and artificial intelligence. We are building on these successes to strengthen work on databases, graphics, programming languages, and security, and to deepen our interdisciplinary work in such areas as bioinformatics, cognitive science, robotics, and management.

Follow

Papers from 1993

PDF

Experimental Evaluation of an ATM Host Interface, C. Brendan S. Traw and Jonathan M. Smith

PDF

Hardware/Software Organization of a High Performance ATM Host Interface, C. Brendan S. Traw and Jonathan M. Smith

PDF

Implementation and Performance of An ATM Host Interface for Workstations, C. Brendan S. Traw and Jonathan M. Smith

PDF

Experimental Evaluation of a Video Capture Board for Networked Workstations , Sanjay K. Udani

PDF

Wide Bandwidth, Distributed, Digital Teleoperation, Desikachar Venkatesh, Matthew Stein, and Richard P. Paul

PDF

A Model of Redundant Information in Dialogue: The Role of Resource Bounds (Dissertation Proposal), Marilyn A. Walker

PDF

Instructions, Intentions and Expectations, Bonnie L. Webber, Norman I. Badler, Barbara Di Eugenio, Christopher W. Geib, Libby Levison, and Michael B. Moore

Papers from 1992

PDF

Superquadric Library, User Manual and Utility Programs, Luca Bogoni

PDF

An Active Approach to Functionality Characterization and Recognition, Luca Bogoni and Ruzena Bajcsy

PDF

Interactive Image Display for the X Window System, John Bradley

PDF

Proving Properties of Real-Time Distributed Systems: A Comparison of Three Approaches, Patrice Brémond-Grégoire, Susan B. Davidson, and Insup Lee

PDF

Polymorphism and Inference in Database Programming, Peter Buneman and Atsushi Ohori

PDF

Planning Responses From High-Level Goals: Adopting the Respondent's Perspective Cooperative Response Generation, Brant Cheikes

PDF

Collision-Free Path and Motion Planning for Anthropometric Figures, Wallace S. Ching and Norman I. Badler

PDF

Generalized Quantifiers and Logical Reducibilities, Anuj Dawar

PDF

Goals and Actions in Natural Language Instructions, Barbara Di Eugenio

PDF

GRAD-CM2: A Data-Parallel Connectionist Network Simulator, Thomas Fontaine

PDF

Character Recognition Using A Modular Spatiotemporal Connectionist Model, Thomas Fontaine and Lokendra Shastri

PDF

Active Color Image Analysis for Recognizing Shadows, Gareth Funka-Lea and Ruzena Bajcsy

PDF

A Proposal Concerning the Analysis of Shadows in Images by an Active Observer (Dissertation Proposal), Gareth D. Funka-Lea

PDF

Theorem Proving Using Equational Matings and Rigid E-Unifications, Jean H. Gallier, Paliath Narendran, Stan Raatz, and Wayne Snyder

PDF

Intentions in Means-End Planning (Dissertation Proposal), Christopher W. Geib

PDF

A Reconsideration of Preconditions, Christopher W. Geib

PDF

A Resource-Based Prioritized Bisimulation for Real-Time Systems, Richard Gerber and Insup Lee

PDF

Self-Annihilating Sentences: Saul Gorn's Compendium of Rarely Used Clichés, Saul Gorn

PDF

CLiFF Notes: Research In Natural Language Processing at the University of Pennsylvania, Faculty & Graduate Students

PDF

GRASP News, Volume 8, Number 1, Faculty & Graduate Students

PDF

From Operational Semantics to Abstract Machines, John Hannan and Dale Miller

PDF

Ellipsis and Discourse (Dissertation Proposal), Daniel Hardt

PDF

A Structural Interpretation of Combinatory Categorial Grammar, James Henderson

PDF

Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language, Joshua S. Hodas

PDF

Logic Programming in a Fragment of Intuitionistic Linear Logic, Joshua S. Hodes and Dale Miller

PDF

Generating Human Motion by Symbolic Reasoning, Moon Ryul Jung and Norman I. Badler

PDF

Markov Random Field Models: A Bayesian Approach to Computer Vision Problems, Gerda Kamberova

PDF

Multivariate Data Fusion Based on Fixed-Geometry Confidence Sets, Gerda Kamberova, Raymond McKendall, and Max L. Mintz

PDF

Parallel Evidence-Based Indexing of Complex Three-Dimensional Models Using Prototypical Parts and Relations (Dissertation Proposal), Ron Katriel

PDF

Curved Path Walking, Hyeongseok Ko and Norman I. Badler

PDF

Straight Line Walking Animation Based on Kinematic Generalization That Preserves the Original Characteristics, Hyeongseok Ko and Norman I. Badler

PDF

Robust Signal Restoration and Local Estimation of Image Structure, Visa Koivunen

PDF

Rapid Prototyping Using Three-Dimensional Computer Vision, Visa Koivunen and Ruzena Bajcsy

PDF

Control of Discrete Event Systems, Jana Košecká

PDF

A Comparison of Meshes With Static Buses and Unidirectional Wrap-Arounds, Danny Krizanc, Sanguthevar Rajasekaran, and Sunil M. Shende

PDF

n-Distributivity, Dimension and Carathéodory's Theorem, Leonid Libkin

PDF

Semantic Representations and Query Languages for Or-Sets, Leonid Libkin and Limsoon Wong

PDF

Teleprogramming: Remote Site Research Issues: (Dissertation Proposal), Thomas Lindsay

PDF

Improved Instrumented Compliant Wrist Design, Thomas Lindsay and Richard P. Paul

PDF

Convergence of Stochastic Processes, Robert Mandelbaum

PDF

Multiple Instantiation of Predicates in a Connectionist Rule-Based Reasoner, D. R. Mani and Lokendra Shastri

PDF

Occlusions as a Guide for Planning the Next View, Jasna Maver and Ruzena Bajcsy

PDF

The Reality of Virtual Environments: WPE II Paper, Rebecca T. Mercuri

PDF

Physics-Based Modeling of Nonrigid Objects for Vision and Graphics (Dissertation), Dimitris Metaxas

PDF

Proceedings of the Workshop on Linear Logic and Logic Programming, Dale Miller

PDF

Proceedings of the Workshop on the lambda-Prolog Programming Language, Dale Miller

PDF

The Pi-Calculus as a Theory in Linear Logic: Preliminary Results, Dale Miller

PDF

On the Dynamics and Significance of Low Frequency Components of Internet Load, Amarnath Mukherjee

PDF

New Algorithms for Capacity Allocation and Scheduling of Multiplexed Variable Bit Rate Video Sources, Amarnath Mukherjee and Jaffar Rehman

PDF

Focusing ATMS Problem-Solving: A Formal Approach, Teow-Hin Ngair and Gregory Provan

PDF

Multi-Arm Manipulation of Large Objects With Rolling Contacts, Eric D. Paljug

PDF

Control of Rolling Contacts in Multi-Arm Manipulation, Eric Paljug, Xiaoping Yun, and R. Vijay Kumar

PDF

Model Based Teleoperation to Eliminate Feedback Delay NSF Grant BCS89-01352 Second Report, Richard P. Paul, Janez Funda, Thomas Lindsay, Masahiko Hashimoto, and Craig Sayers

PDF

Dynamic Network Construction and Updating Techniques for the Diagnoses of Acute Abdominal Pain, Gregory Provan and John R. Clarke

PDF

Mesh Connected Computers With Multiple Fixed Buses: Packet Routing, Sorting and Selection, Sanguthevar Rajasekaran

PDF

Randomized Routing and Sorting on the Reconfigurable Mesh, Sanguthevar Rajasekaran and Theodore McKendall

PDF

Optimal Mesh Algorithms for the Voronoi Diagram of Line Segments, Visibility Graphs and Motion Planning in the Plane, Sanguthevar Rajasekaran and Suneeta Ramaswami

PDF

Statman's 1-Section Theorem, Jon G. Riecke

PDF

More on Goal-Directed Diagnosis, Ron Rymon

PDF

Search Through Systematic Set Enumeration, Ron Rymon

PDF

A Robotic System for Learning Visually-Driven Grasp Planning (Dissertation Proposal), Marcos Salganicoff

PDF

Learning for Coordination of Vision and Action, Marcos Salganicoff, Ruzena Bajcsy, and Tom Mitchell

PDF

Control of Mechanical Systems With Rolling Constraints: Application to Dynamic Control of Mobile Robots, Nilanjan Sarkar, Xiaoping Yun, and R. Vijay Kumar

PDF

Operating Interaction and Teleprogramming for Subsea Manipulation, Craig Sayers, Richard P. Paul, and Max Mintz

PDF

Cryptographic Support in a Gigabit Network, Jonathan M. Smith, C. Brendan S. Traw, and David J. Farber

PDF

Acquisition of Verb Categories, Mark Steedman

PDF

Categorial Grammar, Mark Steedman

PDF

Grammars and Processors, Mark Steedman

PDF

Surface Structure, Mark Steedman

PDF

Design and Control of an In-Parallel Pneumatically-Actuated Manipulator, Thomas G. Sugar

PDF

Structural Recursion as a Query Language, Val Tannen, Peter Buneman, and Shamim Naqvi

PDF

Naturally Embedded Query Languages, Val Tannen, Peter Buneman, and Limsoon Wong

PDF

Polymorphic Rewriting Conserves Algebraic Confluence, Val Tannen and Jean H. Gallier

PDF

Japanese Discourse and the Process of Centering, Marilyn Walker, Massayo Iida, and Sharon Cote

PDF

Simulation of Mechanical Systems With Multiple Frictional Contacts, Yin-Tien Wang and R. Vijay Kumar

PDF

Doing What You're Told: Following Task Instructions in Changing, but Hospitable Environments, Bonnie L. Webber, Norman I. Badler, F. Breckenridge Baldwin, Welton Becket, Barbara Di Eugenio, Christopher W. Geib, Moon Ryul Jung, Libby Levison, Michael B. Moore, and Michael White

PDF

Conceptual Structures and CCG: Linking Theory and Incorporated Argument Adjuncts, Michael White

PDF

A Conserative Property of a Nested Relational Query Language, Limsoon Wong

PDF

Coordinating Locomotion and Manipulation of a Mobile Manipulator, Yoshio Yamamoto and Xiaoping Yun

PDF

On Feedback Linearization of Mobile Robots, Xiaoping Yun and Yoshio Yamamoto

Papers from 1991

PDF

Dynamic Binding Communication Mechanism, Jeffrey S. Aaronson

PDF

Using Lexicalized Tags for Machine Translation, Anne Abeillé, Yves Schabes, and Aravind K. Joshi

PDF

Hands: Human to Robotic, Sanjay Agrawal

PDF

A Hand-Eye-Arm Coordinated System, Sanjay Agrawal, Ruzena Bajcsy, and R. Vijay Kumar

PDF

Descriptive Complexity Approaches to Inductive Inference, Kevin Atteson

PDF

An Active Observer, Ruzena Bajcsy

PDF

Active and Exploratory Perception, Ruzena Bajcsy and Mario Campos

PDF

A Multiagent System for Intelligent Material Handling, Ruzena Bajcsy, Richard P. Paul, Xiaoping Yun, and R. Vijay Kumar

PDF

Observing a Moving Agent, Ruzena Bajcsy and Tarek Sobh

PDF

Theoretical Aspects of Schema Merging, Peter Buneman, Susan B. Davidson, and Anthony S. Kosky

PDF

Force-Closure Grasps With Two Palms, José-Antonio N. Caraza and Xiaoping Yun

PDF

Proving Memory Management Invariants for a Language Based on Linear Logic, Jawahar Chirimar, Carl A. Gunter, and Jon G. Riecke

PDF

Investigating Logics for Feasible Computation, Anuj Dawar