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 1994

PDF

Korean Grammar Using TAGs, Hyun Seok Park

PDF

Final Report to NSF of the Standards for Facial Animation Workshop, Catherine Pelachaud, Norman I. Badler, and Marie-Luce Viaud

PDF

Specifying Intonation From Context for Speech Synthesis, Scott Prevost and Mark Steedman

PDF

A Novel Radial Intensity Based Edge Operator, Gregory Provan, Hany Farid, and Eero Simoncelli

PDF

Implementing Selective Attention in Machines: The Case of Touch-Driven Saccades, Michele Rucci and Ruzena Bajcsy

PDF

Binding and Control in CCG and its Relatives, Mark Steedman

PDF

Binding and Control in CCG and Its Relatives, Mark Steedman

PDF

Natural Language Processing , Mark Steedman

PDF

The Well-tempered Computer, Mark Steedman

PDF

Domain-Independent Queries on Databases With External Functions, Dan Suciu

PDF

Any Algorithm in the Complex Object Algebra With Powerset Needs Exponential Space to Compute Transitive Closure, Dan Suciu and Jan Paredaens

PDF

A Query Language for NC, Dan Suciu and Val Tannen

PDF

Efficient Compilation of High-Level Data Parallel Algorithms, Dan Suciu and Val Tannen

PDF

Linear Structure From Motion, Inigo Thomas and Eero Simoncelli

PDF

Spherical Retinal Flow for a Fixating Observer, Inigo Thomas, Eero Simoncelli, and Ruzena Bajcsy

PDF

Coordinated Control of a Mobile Manipulator, Yoshio Yamamoto

PDF

Review of the Literature on Time-Optimal Control of Robotic Manipulators , Milos Zefran

PDF

An Experimental Expert System for Routing Problems, Jian Zhang

PDF

Application of SGML and OODB Techniques in a Textual Database, Jian Zhang

Papers from 1993

PDF

Robust Hypothesis Testing and Statistical Color Classification (Dissertation), Julie A. Adams

PDF

SASS v.2.1: Anthropometric Spreadsheet and Database for the IRIS, Francisco Azuola, Susanna Wei, Teo Kok Hoon, and Norman I. Badler

PDF

Gigabit Telerobotics: Applying Advanced Information Infrastructure, Ruzena Bajcsy, David J. Farber, Richard P. Paul, and Jonathan M. Smith

PDF

Pi-Calculus: A Unifying Framework for Programming Paradigms, Srinivas Bangalore

PDF

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

PDF

Characterization of Functionality in a Dynamic Environment, Luca Bogoni and Ruzena Bajcsy

PDF

The Soundness and Completeness of ACSR (Algebra of Communicating Shared Resources), Patrice Brémond-Grégoire, Jin-Young Choi, and Insup Lee

PDF

Exploiting Parallelism in Hardware Implementation of the DES, Albert G. Broscious and Jonathan M. Smith

PDF

The Fast Fourier Transforms as a Database Query, Peter Buneman

PDF

Provability in TBLL: A Decision Procedure, Jawahar Chirimar and James Lipton

PDF

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

PDF

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

PDF

A Compiler Project for Translating a C Subset to SPARC Assembly Language, Duncan E. Clarke and Richard P. Paul

PDF

VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems, Duncan Clarke, Insup Lee, and Hong-liang Xie

PDF

Facilitating Transformations in a Human Genome Project Database, Susan B. Davidson, Anthony S. Kosky, and B. Eckman

PDF

A Lower Bound Result for the Common Element Problem and Its Implication for Reflexive Reasoning, Paul Dietz, Danny Krizanc, Sanguthevar Rajasekaran, and Lokendra Shastri

PDF

Kripke Models for the Second-Order Lambda-Calculus, Jean H. Gallier

PDF

On the Correspondence Between Proofs and Lambda-Terms, Jean H. Gallier

PDF

Proving Properties of Typed Lambda-Terms Using Realizability, Covers, and Sheaves (Preliminary Version), Jean H. Gallier

PDF

Realizability, Covers, and Sheaves I. Application to the Simply-Typed Lambda-Calculus, Jean H. Gallier

PDF

Realizability, Covers, and Sheaves II. Applications to the Second-Order Lambda-Calculus, Jean H. Gallier

PDF

Reducibility Strikes Again, I!, Jean H. Gallier

PDF

What's So Special About Kruskal's Theorem and the Ordinal To? A Survey of Some Results in Proof Theory, Jean H. Gallier

PDF

Elastically Deforming a Three-Dimensional Atlas to Match Anatomical Brain Images, James C. Gee, Martin Reivich, and Ruzena Bajcsy

PDF

CLiFF Notes: Research in the Language Information and Computation Laboratory of The University of Pennsylvania, Faculty & Graduate Students

PDF

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

PDF

An Algorithm for VP Ellipsis, Daniel Hardt

PDF

VP Ellipsis and Contextual Interpretation, Daniel Hardt

PDF

VP Ellipsis and Semantic Identity, Daniel Hardt

PDF

Inductive, Projective, and Retractive Types, Brian T. Howard

PDF

Physics-Based Modeling, Analysis and Animation, Ioannis A. Kakadiaris

PDF

A State Minimization Algorithm for Communicating State Machines With Arbitrary Data Space, Inhye Kang and Insup Lee

PDF

A Kinematic Generalization of Rotoscoped Human Walking, Hyeongseok Ko and Norman I. Badler

PDF

Curved Path Human Locomotion That Handles Anthropometrical Variety, Hyeongseok Ko and Norman I. Badler

PDF

Intermittent Non-Rhythmic Human Stepping and Locomotion, Hyeongseok Ko and Norman I. Badler

PDF

Intermittent Non-Rhythmic Human Stepping and Locomotion, Hyeongseok Ko and Norman I. Badler

PDF

Multiple Representation Approach to Geometric Model Construction From Range Data, Visa Koivunen, J. Vezien, and Ruzena Bajcsy

PDF

Control of Visually Guided Behaviors, Jana Košecká, Ruzena Bajcsy, and Max L. Mintz

PDF

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

PDF

Fast Parallel Deterministic and Randomized Algorithms for Model Checking, Insup Lee and Sanguthevar Rajasekaran

PDF

Algebraic Characterization of Edible Powerdomains, Leonid Libkin

PDF

A Bounded Degree Property and Finite-Cofiniteness of Graph Queries, Leonid Libkin and Limsoon Wong

PDF

Conservativity of Nested Relational Calculi With Internal Generic Functions, Leonid Libkin and Limsoon Wong

PDF

Query Languages for Bags, Leonid Libkin and Limsoon Wong

PDF

Simplifying Tool Usage in Teleoperative Tasks, Thomas Lindsay and Richard P. Paul

PDF

Extended Intensity Range Imaging, Brian C. Madden

PDF

Building a Large Annotated Corpus of English: The Penn Treebank, Mitchell Marcus, Beatrice Santorini, and Mary Ann Marcinkiewicz

PDF

Developing Device Drivers for Character-Class MCA Adapters in AIX, Version 3, Michael Massa

PDF

The Relatedness and Comparative Utility of Various Approaches to Operational Semantics, Raymond McDowell

PDF

Reducing Host Load, Network Load and Latency in a Distributed Shared Memory, Ronald G. Minnich and David J. Farber

PDF

The Mether System: Distributed Shared Memory for SunOS 4.0, Ronald G. Minnich and David J. Farber

PDF

Search Plans (Dissertation Proposal), Michael B. Moore

PDF

Network Service Customization: End-Point Perspective (Proposal), Klara Nahrstedt

PDF

Revision of QoS Guarantees at the Application/Network Interface, Klara Nahrstedt and Jonathan M. Smith

PDF

The Integrated Media Approach to Networked Multimedia Systems, Klara Nahrstedt and Jonathan M. Smith

PDF

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

PDF

Generating Contextually Appropriate Intonation, Scott Prevost and Mark Steedman

PDF

Using Context to Specify Intonation in Speech Synthesis, Scott Prevost and Mark Steedman

PDF

k-k Routing, k-k Sorting, and Cut Through Routing on the Mesh, Sanguthevar Rajasekaran

PDF

Parallel Algorithms for Relational Coarsest Partition Problems, Sanguthevar Rajasekaran and Insup Lee

PDF

Optimal Parallel Randomized Algorithms for the Voronoi Diagram of Line Segments in the Plane and Related Problems, Sanguthevar Rajasekaran and Suneeta Ramaswami

PDF

Selection, Routing and Sorting on the Star Graph, Sanguthevar Rajasekaran and David S. L. Wei

PDF

Deterministic Selection on the Mesh and Hypercube, Sanguthevar Rajasekaran and Shibu Yooseph

PDF

Algorithmic Motion Planning and Related Geometric Problems on Parallel Machines (Dissertation Proposal), Suneeta Ramaswami

PDF

Convex Hulls: Complexity and Applications (a Survey), Suneeta Ramaswami

PDF

Evaluation of the GLINK Chip Set as a Data Link Layer for Local ATM, Chris Russo

PDF

An SE-Tree Based Characterization of the Induction Problem, Ron Rymon

PDF

Goal-Directed Diagnosis - Diagnostic Reasoning in Exploratory-Corrective Domains, Ron Rymon

PDF

Explicit Forgetting Algorithms for Memory Based Learning, Marcos Salganicoff

PDF

A Direct Approach to Vision Guided Manipulation, Marcos Salganicoff, Giorgio Metta, Andrea Oddera, and Giulio Sandini

PDF

A Vision-Based Learning Method for Pushing Manipulation, Marcos Salganicoff, Giorgio Metta, Andrea Oddera, and Giulio Sandini

PDF

A Gathering and Shooting Progressive Refinement Radiosity Method, Min-Zhi Shao and Norman I. Badler

PDF

The Software Design Laboratory, Jonathan M. Smith

PDF

Traffic Characteristics of a Distributed Memory System , Jonathan M. Smith and David J. Farber

PDF

Operating Systems Support for End-to-End Gbps Networking, Jonathan M. Smith and C. Brendan S. Traw

PDF

Fixpoints and Bounded Fixpoints for Complex Objects, Dan Suciu

PDF

Queries on Databases With User-Defined Functions, Dan Suciu

PDF

Sequentiality, Dan Suciu

PDF

DNA Workbench, James Tisdall

PDF

A Host Interface Architecture and Implementation for ATM Networks , C. Brendan S. Traw

PDF

Host Interfacing at a Gigabit, C. Brendan S. Traw