Technical Reports (CIS)
Papers from 1991
Infinitary Logic and Inductive Definability Over Finite Structures, Anuj Dawar, Steven Lindell, and Scott Weinstein
On Conjunctive Normal Form Satisfiability, Jon Freeman
Parallel Algorithms for Depth-First Search, Jon Freeman
Symbolic Simulator/Debugger for the Systolic/Cellular Array Processor, Janez Funda
Constructive Logics Part I: A Tutorial on Proof Systems and Typed Lambda-Calculi, Jean H. Gallier
Constructive Logics Part II: Linear Logic and Proof Nets, Jean H. Gallier
Unification Procedures in Automated Deduction Methods Based on Matings: A Survey, Jean H. Gallier
Specification and Analysis of Resource-Bound Real-Time Systems, Richard Gerber and Insup Lee
Bounded Linear Logic, Jean-Yves Girard, Andre Scedrov, and Philip J. Scott
GRASP News: Volume 7, Number 1, Faculty & Graduate Students
Forms of Semantic Specification, Carl A. Gunter
Representing Powerdomain Elements as Monadic Second Order Predicates, Carl A. Gunter
The Mixed Powerdomain, Carl A. Gunter
An Abstract Interpretation for ML Equality Kinds, Carl A. Gunter, Elsa L. Gunter, and David B. MacQueen
Surface and Volumetric Segmentation of Complex 3-D Objects Using Parametric Shape Models, Alok Gupta
Computational Accounts of Music Understanding, Daniel Hardt
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract, Joshua S. Hodas and Dale Miller
Tree-Adjoining Grammars and Lexicalized Grammars, Aravind K. Joshi and Yves Schabes
The Role of Vergence Micromovements on Depth Perception, Antônio Francisco Júnior
Equational and Rule-Based Programming: Visualization, Reliability, and Knowledge Base Generation, Jee-In Kim
Formal Models for Concurrent Communicating Systems, Anthony S. Kosky
Modeling and Merging Database Schemas, Anthony S. Kosky
Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation, Insup Lee, Susan B. Davidson, and Richard Gerber
Action Composition for the Animation of Natural Language Instructions, Libby Levison
A New Range Finding Method Using a Varifocal Mirror, Chang Li and Xiaoping Yun
Contact Operations Using an Instrumented Compliant Wrist, Thomas Lindsay, Janez Funda, and Richard P. Paul
Design of a Tool-Surrounding Compliant Instrumented Wrist, Thomas Lindsay and Richard P. Paul
Occlusions as a Guide for Planning the Next View, Jasna Maver and Ruzena Bajcsy
Abstract Syntax and Logic Programming, Dale Miller
Unification of Simply Typed Lambda-Terms as Logic Programming, Dale Miller
Unification Under a Mixed Prefix, Dale Miller
Analysis of Dynamic Congestion Control Protocols: A Fokker-Planck Approximation, Amarnath Mukherjee and John C. Strikwerda
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
Relevant Consequence and Empirical Inquiry, Daniel N. Osherson and Scott Weinstein
Emulation of a PRAM on Leveled Networks, Michael Palis, Sanguthevar Ranjasekaran, and David S. L. Wei
TRACS Users Manual and Software Reference Guide, Eric Paljug
Important Considerations in Force Control With Applications to Multi-Arm Manipulation, Eric Paljug, Thomas G. Sugar, R. Vijay Kumar, and Xiaoping Yun
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
Jack 5 User's Guide, Cary B. Phillips
Programming With Jack (Fourth Edition), Cary B. Phillips
Interactive Postural Control of Articulated Geometric Figures (Dissertation), Cary B. Phillips
Interactive Behaviors for Bipedal Articulated Figures, Cary B. Phillips and Norman I. Badler
Structure-Based Animation of the Human Face, Stephen M. Platt, Aaron T. Smith, Francisco Azuola, Norman I. Badler, and Catherine Pelachaud
Efficient Simulation of Large-Scale Loss Networks, Mark Prindiville, Sanguthevar Rajasekaran, and Keith W Ross
Randomized Algorithms For Packet Routing on the Mesh, Sanguthevar Rajasekaran
Optimal Randomized Algorithms for Multipacket and Wormhole Routing on the Mesh, Sanguthevar Rajasekaran and Mukund Raghavachari
Fast Algorithms for Generating Discrete Random Variates With Changing Distributions, Sanguthevar Rajasekaran and Keith W. Ross
Fully Abstract Translations Between Functional Languages, Jon G. Riecke
Towards Goal-Directed Diagnosis (Preliminary Report), Ron Rymon, Bonnie L. Webber, and John R. Clarke
Robotic Sensorimotor Learning in Continuous Domains, Marcos Salganicoff and Ruzena Bajcsy
Sensorimotor Learning Using Active Perception in Continuous Domains, Marcos Salganicoff and Ruzena Bajcsy
Self Organizing Feature Maps and Their Applications to Robotics, Craig Sayers
The Huges Array Co-Processor and Its Application to Robotics, Craig Sayers
Combining a Connectionist Type Hierarchy With a Connectionist Rule-Based Reasoner, Lokendra Shastri and D. R. Mani
Generation and Synchronous Tree-Adjoining Grammars, Stuart M. Shieber and Yves Schabes
Synchronous Tree-Adjoining Grammars, Stuart M. Shieber and Yves Schabes
Performance Evaluation via Perturbation Analysis, Tarek M. Sobh
Discrete Event Dynamic Systems: An Overview, Tarek M. Sobh
Visual Observation of a Moving Agent, Tarek M. Sobh and Ruzena Bajcsy
A Comparison of Compressed and Uncompressed Transmission Modes, Tarek M. Sobh and Jaffar Rehman
Surface Structure, Intonation, and Focus, Mark Steedman
Surface Structure, Intonation, and Meaning in Spoken Language, Mark Steedman
Type-Raising and Directionality in Combinatory Grammar, Mark Steedman
Data Abstraction and General Recursion, Ramesh Subrahmanyam
On Call Migration, Ming Chit Tam
Inheritance as Implicit Coercion, Val Tannen, Thierry Coquand, Carl A. Gunter, and Andre Scedrov
Logical and Computational Aspects of Programming With Sets/Bags/Lists, Val Tannen and Ramesh Subrahmanyam
Unification-Based Tree Adjoining Grammars, K. Vijay-Shanker and Aravind K. Joshi
Common Knowledge: A Survey, Marilyn A. Walker
Analysis and Simulation of Mechanical Systems With Multiple Frictional Contacts, Yin Tien Wang and R. Vijay Kumar
Dynamics of Rigid Bodies Undergoing Multiple Frictional Contacts, Yin-Tien Wang, R. Vijay Kumar, and Jacob Abel
Flexible Support for Trauma Management Through Goal-Directed Reasoning and Planning, Bonnie L. Webber, Ron Rymon, and John R. Clarke
RTC: Language Support for Real-Time Concurrency, Victor Wolfe, Susan B. Davidson, and Insup Lee
Robotics Research at the GRASP Laboratory, Xiaoping Yun and Helen Anderson
Control of Multiple Arm Systems With Rolling Constraints, Xiaoping Yun, R. Vijay Kumar, Nilanjan Sarkar, and Eric Paljug
Papers from 1990
A Lexicalized Tree Adjoining Grammar for English, Anne Abeillé, Kathleen Bishop, Sharon Cote, and Yves Schabes
HEAP: A Sensory Driven Distributed Manipulation System, Sanjay Agrawal, Marcos Salganicoff, Michael Chan, and Ruzena Bajcsy
Real-Time Vision-Based Robot Localization, Sami Atiya and Greg Hager
Human Factors Simulation Research at the University of Pennsylvania, Norman I. Badler
Animation From Instructions, Norman I. Badler, Bonnie L. Webber, Jeffrey Esakov, and Jugal Kalita
Image Understanding at the GRASP Laboratory, Ruzena Bajcsy
Identification of Address Blocks Through Multiple Illuminations, Multiple Images and Multicolor Images, Ruzena Bajcsy, Helen Anderson, and Sang Wook Lee
A Framework for Observing a Manipulation Process, Ruzena Bajcsy and Tarek Sobh
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
Polymorphism and Type Inference in Database Programming, Peter Buneman and Atsushi Ohori
Using Kinds to Represent Heterogeneous Collections in a Static Type System (Extended Abstract), Peter Buneman and Atsushi Ohori
A Robotic Haptic System Architecture, Mario Campos and Ruzena Bajcsy
Two-Handed Grasping With Two-Fingered Hands, José-Antonio N. Caraza and Xiaoping Yun
A Proof of Strong Normalization for the Theory of Constructions Using a Kripke-Like Interpretation, Thierry Coquand and Jean H. Gallier
KB: A Knowledge Representation Package for Common Lisp, Jeffrey Esakov
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language, Amy Felty and Dale Miller
Computation and Linguistic Theory: A Government Binding Theory Parser Using Tree Adjoining Grammar (Master's Thesis), Robert Frank
Teleprogramming: Overcoming Communication Delays in Remote Manipulation (Dissertation Proposal), Janez Funda
Teleoperation in the Presence of Communication Delays, Janez Funda, Thierry Simeon, and Richard P. Paul
A Resource-Based Prioritized Bisimulation for Real-Time Systems, Richard Gerber and Insup Lee
CCSR: A Calculus for Communicating Shared Resources, Richard Gerber and Insup Lee
CLiFF Notes: Research In Natural Language Processing at the University of Pennsylvania, Faculty & Graduate Students
GRASP News, Volume 6, Number 1, Faculty & Graduate Students
The Common Order-Theoretic Structure of Version Spaces and ATMS's, Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, and Devika Subramanian