Technical Reports (CIS)
Papers from 1994
Korean Grammar Using TAGs, Hyun Seok Park
Final Report to NSF of the Standards for Facial Animation Workshop, Catherine Pelachaud, Norman I. Badler, and Marie-Luce Viaud
Specifying Intonation From Context for Speech Synthesis, Scott Prevost and Mark Steedman
A Novel Radial Intensity Based Edge Operator, Gregory Provan, Hany Farid, and Eero Simoncelli
Implementing Selective Attention in Machines: The Case of Touch-Driven Saccades, Michele Rucci and Ruzena Bajcsy
Binding and Control in CCG and its Relatives, Mark Steedman
Binding and Control in CCG and Its Relatives, Mark Steedman
Natural Language Processing , Mark Steedman
The Well-tempered Computer, Mark Steedman
Domain-Independent Queries on Databases With External Functions, Dan Suciu
Any Algorithm in the Complex Object Algebra With Powerset Needs Exponential Space to Compute Transitive Closure, Dan Suciu and Jan Paredaens
A Query Language for NC, Dan Suciu and Val Tannen
Efficient Compilation of High-Level Data Parallel Algorithms, Dan Suciu and Val Tannen
Linear Structure From Motion, Inigo Thomas and Eero Simoncelli
Spherical Retinal Flow for a Fixating Observer, Inigo Thomas, Eero Simoncelli, and Ruzena Bajcsy
Coordinated Control of a Mobile Manipulator, Yoshio Yamamoto
Review of the Literature on Time-Optimal Control of Robotic Manipulators , Milos Zefran
An Experimental Expert System for Routing Problems, Jian Zhang
Application of SGML and OODB Techniques in a Textual Database, Jian Zhang
Papers from 1993
Robust Hypothesis Testing and Statistical Color Classification (Dissertation), Julie A. Adams
SASS v.2.1: Anthropometric Spreadsheet and Database for the IRIS, Francisco Azuola, Susanna Wei, Teo Kok Hoon, and Norman I. Badler
Gigabit Telerobotics: Applying Advanced Information Infrastructure, Ruzena Bajcsy, David J. Farber, Richard P. Paul, and Jonathan M. Smith
Pi-Calculus: A Unifying Framework for Programming Paradigms, Srinivas Bangalore
An Active Approach to Characterization and Recognition of Functionality and Functional Properties, Luca Bogoni and Ruzena Bajcsy
Characterization of Functionality in a Dynamic Environment, Luca Bogoni and Ruzena Bajcsy
The Soundness and Completeness of ACSR (Algebra of Communicating Shared Resources), Patrice Brémond-Grégoire, Jin-Young Choi, and Insup Lee
Exploiting Parallelism in Hardware Implementation of the DES, Albert G. Broscious and Jonathan M. Smith
The Fast Fourier Transforms as a Database Query, Peter Buneman
Provability in TBLL: A Decision Procedure, Jawahar Chirimar and James Lipton
An Overview of the AURORA Gigabit Testbed, David D. Clark, Bruce S. Davie, David J. Farber, Inder S. Gopal, Bharath K. Kadaba, W. David Sincoskie, Jonathan M. Smith, and David L. Tennenhouse
The AURORA Gigabit Testbed, David D. Clark, Bruce S. Davie, David J. Farber, Inder S. Gopal, Bharath K. Kadaba, W. David Sincoskie, Jonathan M. Smith, and David L. Tennenhouse
A Compiler Project for Translating a C Subset to SPARC Assembly Language, Duncan E. Clarke and Richard P. Paul
VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems, Duncan Clarke, Insup Lee, and Hong-liang Xie
Facilitating Transformations in a Human Genome Project Database, Susan B. Davidson, Anthony S. Kosky, and B. Eckman
A Lower Bound Result for the Common Element Problem and Its Implication for Reflexive Reasoning, Paul Dietz, Danny Krizanc, Sanguthevar Rajasekaran, and Lokendra Shastri
Kripke Models for the Second-Order Lambda-Calculus, Jean H. Gallier
On the Correspondence Between Proofs and Lambda-Terms, Jean H. Gallier
Proving Properties of Typed Lambda-Terms Using Realizability, Covers, and Sheaves (Preliminary Version), Jean H. Gallier
Realizability, Covers, and Sheaves I. Application to the Simply-Typed Lambda-Calculus, Jean H. Gallier
Realizability, Covers, and Sheaves II. Applications to the Second-Order Lambda-Calculus, Jean H. Gallier
Reducibility Strikes Again, I!, Jean H. Gallier
What's So Special About Kruskal's Theorem and the Ordinal To? A Survey of Some Results in Proof Theory, Jean H. Gallier
Elastically Deforming a Three-Dimensional Atlas to Match Anatomical Brain Images, James C. Gee, Martin Reivich, and Ruzena Bajcsy
CLiFF Notes: Research in the Language Information and Computation Laboratory of The University of Pennsylvania, Faculty & Graduate Students
GRASP News: Volume 9, Number 1, Faculty & Graduate Students
An Algorithm for VP Ellipsis, Daniel Hardt
VP Ellipsis and Contextual Interpretation, Daniel Hardt
VP Ellipsis and Semantic Identity, Daniel Hardt
Inductive, Projective, and Retractive Types, Brian T. Howard
Physics-Based Modeling, Analysis and Animation, Ioannis A. Kakadiaris
A State Minimization Algorithm for Communicating State Machines With Arbitrary Data Space, Inhye Kang and Insup Lee
A Kinematic Generalization of Rotoscoped Human Walking, Hyeongseok Ko and Norman I. Badler
Curved Path Human Locomotion That Handles Anthropometrical Variety, Hyeongseok Ko and Norman I. Badler
Intermittent Non-Rhythmic Human Stepping and Locomotion, Hyeongseok Ko and Norman I. Badler
Intermittent Non-Rhythmic Human Stepping and Locomotion, Hyeongseok Ko and Norman I. Badler
Multiple Representation Approach to Geometric Model Construction From Range Data, Visa Koivunen, J. Vezien, and Ruzena Bajcsy
Control of Visually Guided Behaviors, Jana Košecká, Ruzena Bajcsy, and Max L. Mintz
A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems, Insup Lee, Patrice Brémond-Grégoire, and Richard Gerber
Fast Parallel Deterministic and Randomized Algorithms for Model Checking, Insup Lee and Sanguthevar Rajasekaran
Algebraic Characterization of Edible Powerdomains, Leonid Libkin
A Bounded Degree Property and Finite-Cofiniteness of Graph Queries, Leonid Libkin and Limsoon Wong
Conservativity of Nested Relational Calculi With Internal Generic Functions, Leonid Libkin and Limsoon Wong
Query Languages for Bags, Leonid Libkin and Limsoon Wong
Simplifying Tool Usage in Teleoperative Tasks, Thomas Lindsay and Richard P. Paul
Extended Intensity Range Imaging, Brian C. Madden
Building a Large Annotated Corpus of English: The Penn Treebank, Mitchell Marcus, Beatrice Santorini, and Mary Ann Marcinkiewicz
Developing Device Drivers for Character-Class MCA Adapters in AIX, Version 3, Michael Massa
The Relatedness and Comparative Utility of Various Approaches to Operational Semantics, Raymond McDowell
Reducing Host Load, Network Load and Latency in a Distributed Shared Memory, Ronald G. Minnich and David J. Farber
The Mether System: Distributed Shared Memory for SunOS 4.0, Ronald G. Minnich and David J. Farber
Search Plans (Dissertation Proposal), Michael B. Moore
Network Service Customization: End-Point Perspective (Proposal), Klara Nahrstedt
Revision of QoS Guarantees at the Application/Network Interface, Klara Nahrstedt and Jonathan M. Smith
The Integrated Media Approach to Networked Multimedia Systems, Klara Nahrstedt and Jonathan M. Smith
Model Based Teleoperation to Eliminate Feedback Delay NSF Grant BCS89-01352 - 3rd Report, Richard P. Paul, Thomas Lindsay, Craig Sayers, Matthew Stein, and Desikachar Venkatesh
Generating Contextually Appropriate Intonation, Scott Prevost and Mark Steedman
Using Context to Specify Intonation in Speech Synthesis, Scott Prevost and Mark Steedman
k-k Routing, k-k Sorting, and Cut Through Routing on the Mesh, Sanguthevar Rajasekaran
Parallel Algorithms for Relational Coarsest Partition Problems, Sanguthevar Rajasekaran and Insup Lee
Optimal Parallel Randomized Algorithms for the Voronoi Diagram of Line Segments in the Plane and Related Problems, Sanguthevar Rajasekaran and Suneeta Ramaswami
Selection, Routing and Sorting on the Star Graph, Sanguthevar Rajasekaran and David S. L. Wei
Deterministic Selection on the Mesh and Hypercube, Sanguthevar Rajasekaran and Shibu Yooseph
Algorithmic Motion Planning and Related Geometric Problems on Parallel Machines (Dissertation Proposal), Suneeta Ramaswami
Convex Hulls: Complexity and Applications (a Survey), Suneeta Ramaswami
Evaluation of the GLINK Chip Set as a Data Link Layer for Local ATM, Chris Russo
An SE-Tree Based Characterization of the Induction Problem, Ron Rymon
Goal-Directed Diagnosis - Diagnostic Reasoning in Exploratory-Corrective Domains, Ron Rymon
Explicit Forgetting Algorithms for Memory Based Learning, Marcos Salganicoff
A Direct Approach to Vision Guided Manipulation, Marcos Salganicoff, Giorgio Metta, Andrea Oddera, and Giulio Sandini
A Vision-Based Learning Method for Pushing Manipulation, Marcos Salganicoff, Giorgio Metta, Andrea Oddera, and Giulio Sandini
A Gathering and Shooting Progressive Refinement Radiosity Method, Min-Zhi Shao and Norman I. Badler
The Software Design Laboratory, Jonathan M. Smith
Traffic Characteristics of a Distributed Memory System , Jonathan M. Smith and David J. Farber
Operating Systems Support for End-to-End Gbps Networking, Jonathan M. Smith and C. Brendan S. Traw
Fixpoints and Bounded Fixpoints for Complex Objects, Dan Suciu
Queries on Databases With User-Defined Functions, Dan Suciu
Sequentiality, Dan Suciu
DNA Workbench, James Tisdall
A Host Interface Architecture and Implementation for ATM Networks , C. Brendan S. Traw
Host Interfacing at a Gigabit, C. Brendan S. Traw