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 1991

PDF

Infinitary Logic and Inductive Definability Over Finite Structures, Anuj Dawar, Steven Lindell, and Scott Weinstein

PDF

On Conjunctive Normal Form Satisfiability, Jon Freeman

PDF

Parallel Algorithms for Depth-First Search, Jon Freeman

PDF

Symbolic Simulator/Debugger for the Systolic/Cellular Array Processor, Janez Funda

PDF

Constructive Logics Part I: A Tutorial on Proof Systems and Typed Lambda-Calculi, Jean H. Gallier

PDF

Constructive Logics Part II: Linear Logic and Proof Nets, Jean H. Gallier

PDF

Unification Procedures in Automated Deduction Methods Based on Matings: A Survey, Jean H. Gallier

PDF

Specification and Analysis of Resource-Bound Real-Time Systems, Richard Gerber and Insup Lee

PDF

Bounded Linear Logic, Jean-Yves Girard, Andre Scedrov, and Philip J. Scott

PDF

GRASP News: Volume 7, Number 1, Faculty & Graduate Students

PDF

Forms of Semantic Specification, Carl A. Gunter

PDF

Representing Powerdomain Elements as Monadic Second Order Predicates, Carl A. Gunter

PDF

The Mixed Powerdomain, Carl A. Gunter

PDF

An Abstract Interpretation for ML Equality Kinds, Carl A. Gunter, Elsa L. Gunter, and David B. MacQueen

PDF

Surface and Volumetric Segmentation of Complex 3-D Objects Using Parametric Shape Models, Alok Gupta

PDF

Computational Accounts of Music Understanding, Daniel Hardt

PDF

Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract, Joshua S. Hodas and Dale Miller

PDF

Tree-Adjoining Grammars and Lexicalized Grammars, Aravind K. Joshi and Yves Schabes

PDF

The Role of Vergence Micromovements on Depth Perception, Antônio Francisco Júnior

PDF

Equational and Rule-Based Programming: Visualization, Reliability, and Knowledge Base Generation, Jee-In Kim

PDF

Formal Models for Concurrent Communicating Systems, Anthony S. Kosky

PDF

Modeling and Merging Database Schemas, Anthony S. Kosky

PDF

Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation, Insup Lee, Susan B. Davidson, and Richard Gerber

PDF

Action Composition for the Animation of Natural Language Instructions, Libby Levison

PDF

A New Range Finding Method Using a Varifocal Mirror, Chang Li and Xiaoping Yun

PDF

Contact Operations Using an Instrumented Compliant Wrist, Thomas Lindsay, Janez Funda, and Richard P. Paul

PDF

Design of a Tool-Surrounding Compliant Instrumented Wrist, Thomas Lindsay and Richard P. Paul

PDF

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

PDF

Abstract Syntax and Logic Programming, Dale Miller

PDF

Unification of Simply Typed Lambda-Terms as Logic Programming, Dale Miller

PDF

Unification Under a Mixed Prefix, Dale Miller

PDF

Analysis of Dynamic Congestion Control Protocols: A Fokker-Planck Approximation, Amarnath Mukherjee and John C. Strikwerda

PDF

Dynamic Time Windows and Generalized Virtual Clocks-Combined Closed-Loop/Open-Loop Mechanisms for Congestion Control of Data Traffic in High Speed Wide Area Networks, Amarnath Murkherjee, Lawrence H. Landweber, and Theodore Faber

PDF

Relevant Consequence and Empirical Inquiry, Daniel N. Osherson and Scott Weinstein

PDF

Emulation of a PRAM on Leveled Networks, Michael Palis, Sanguthevar Ranjasekaran, and David S. L. Wei

PDF

TRACS Users Manual and Software Reference Guide, Eric Paljug

PDF

Important Considerations in Force Control With Applications to Multi-Arm Manipulation, Eric Paljug, Thomas G. Sugar, R. Vijay Kumar, and Xiaoping Yun

PDF

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

PDF

Jack 5 User's Guide, Cary B. Phillips

PDF

Programming With Jack (Fourth Edition), Cary B. Phillips

PDF

Interactive Postural Control of Articulated Geometric Figures (Dissertation), Cary B. Phillips

PDF

Interactive Behaviors for Bipedal Articulated Figures, Cary B. Phillips and Norman I. Badler

PDF

Structure-Based Animation of the Human Face, Stephen M. Platt, Aaron T. Smith, Francisco Azuola, Norman I. Badler, and Catherine Pelachaud

PDF

Efficient Simulation of Large-Scale Loss Networks, Mark Prindiville, Sanguthevar Rajasekaran, and Keith W Ross

PDF

Randomized Algorithms For Packet Routing on the Mesh, Sanguthevar Rajasekaran

PDF

Optimal Randomized Algorithms for Multipacket and Wormhole Routing on the Mesh, Sanguthevar Rajasekaran and Mukund Raghavachari

PDF

Fast Algorithms for Generating Discrete Random Variates With Changing Distributions, Sanguthevar Rajasekaran and Keith W. Ross

PDF

Fully Abstract Translations Between Functional Languages, Jon G. Riecke

PDF

A Final Determination of the Complexity of Current Formulations of Model-Based Diagnosis (Or Maybe Not Final?), Ron Rymon

PDF

Towards Goal-Directed Diagnosis (Preliminary Report), Ron Rymon, Bonnie L. Webber, and John R. Clarke

PDF

Robotic Sensorimotor Learning in Continuous Domains, Marcos Salganicoff and Ruzena Bajcsy

PDF

Sensorimotor Learning Using Active Perception in Continuous Domains, Marcos Salganicoff and Ruzena Bajcsy

PDF

Self Organizing Feature Maps and Their Applications to Robotics, Craig Sayers

PDF

The Huges Array Co-Processor and Its Application to Robotics, Craig Sayers

PDF

Combining a Connectionist Type Hierarchy With a Connectionist Rule-Based Reasoner, Lokendra Shastri and D. R. Mani

PDF

Generation and Synchronous Tree-Adjoining Grammars, Stuart M. Shieber and Yves Schabes

PDF

Synchronous Tree-Adjoining Grammars, Stuart M. Shieber and Yves Schabes

PDF

Performance Evaluation via Perturbation Analysis, Tarek M. Sobh

PDF

Discrete Event Dynamic Systems: An Overview, Tarek M. Sobh

PDF

Visual Observation of a Moving Agent, Tarek M. Sobh and Ruzena Bajcsy

PDF

A Comparison of Compressed and Uncompressed Transmission Modes, Tarek M. Sobh and Jaffar Rehman

PDF

Surface Structure, Intonation, and Focus, Mark Steedman

PDF

Surface Structure, Intonation, and Meaning in Spoken Language, Mark Steedman

PDF

Type-Raising and Directionality in Combinatory Grammar, Mark Steedman

PDF

Data Abstraction and General Recursion, Ramesh Subrahmanyam

PDF

On Call Migration, Ming Chit Tam

PDF

Inheritance as Implicit Coercion, Val Tannen, Thierry Coquand, Carl A. Gunter, and Andre Scedrov

PDF

Logical and Computational Aspects of Programming With Sets/Bags/Lists, Val Tannen and Ramesh Subrahmanyam

PDF

Unification-Based Tree Adjoining Grammars, K. Vijay-Shanker and Aravind K. Joshi

PDF

Common Knowledge: A Survey, Marilyn A. Walker

PDF

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

PDF

Dynamics of Rigid Bodies Undergoing Multiple Frictional Contacts, Yin-Tien Wang, R. Vijay Kumar, and Jacob Abel

PDF

Flexible Support for Trauma Management Through Goal-Directed Reasoning and Planning, Bonnie L. Webber, Ron Rymon, and John R. Clarke

PDF

RTC: Language Support for Real-Time Concurrency, Victor Wolfe, Susan B. Davidson, and Insup Lee

PDF

Robotics Research at the GRASP Laboratory, Xiaoping Yun and Helen Anderson

PDF

Control of Multiple Arm Systems With Rolling Constraints, Xiaoping Yun, R. Vijay Kumar, Nilanjan Sarkar, and Eric Paljug

Papers from 1990

PDF

A Lexicalized Tree Adjoining Grammar for English, Anne Abeillé, Kathleen Bishop, Sharon Cote, and Yves Schabes

PDF

HEAP: A Sensory Driven Distributed Manipulation System, Sanjay Agrawal, Marcos Salganicoff, Michael Chan, and Ruzena Bajcsy

PDF

Real-Time Vision-Based Robot Localization, Sami Atiya and Greg Hager

PDF

Human Factors Simulation Research at the University of Pennsylvania, Norman I. Badler

PDF

Animation From Instructions, Norman I. Badler, Bonnie L. Webber, Jeffrey Esakov, and Jugal Kalita

PDF

Image Understanding at the GRASP Laboratory, Ruzena Bajcsy

PDF

Identification of Address Blocks Through Multiple Illuminations, Multiple Images and Multicolor Images, Ruzena Bajcsy, Helen Anderson, and Sang Wook Lee

PDF

A Framework for Observing a Manipulation Process, Ruzena Bajcsy and Tarek Sobh

PDF

Final Report on Advanced Research in Range Image Interpretation for Automated Mail Handling, Ruzena Bajcsy, Kwangyoen Wohn, Franc Solina, Alok Gupta, Gareth Funka-Lea, Celina Imielinska, Pramath Sinha, and Constantine Tsikos

PDF

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

PDF

Using Kinds to Represent Heterogeneous Collections in a Static Type System (Extended Abstract), Peter Buneman and Atsushi Ohori

PDF

A Robotic Haptic System Architecture, Mario Campos and Ruzena Bajcsy

PDF

Two-Handed Grasping With Two-Fingered Hands, José-Antonio N. Caraza and Xiaoping Yun

PDF

A Proof of Strong Normalization for the Theory of Constructions Using a Kripke-Like Interpretation, Thierry Coquand and Jean H. Gallier

PDF

KB: A Knowledge Representation Package for Common Lisp, Jeffrey Esakov

PDF

Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language, Amy Felty and Dale Miller

PDF

Computation and Linguistic Theory: A Government Binding Theory Parser Using Tree Adjoining Grammar (Master's Thesis), Robert Frank

PDF

Teleprogramming: Overcoming Communication Delays in Remote Manipulation (Dissertation Proposal), Janez Funda

PDF

Teleoperation in the Presence of Communication Delays, Janez Funda, Thierry Simeon, and Richard P. Paul

PDF

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

PDF

CCSR: A Calculus for Communicating Shared Resources, Richard Gerber and Insup Lee

PDF

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

PDF

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

PDF

The Common Order-Theoretic Structure of Version Spaces and ATMS's, Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, and Devika Subramanian