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 1989

PDF

Abstractions in Logic Programs, Dale Miller

PDF

Lexical Scoping as Universal Quantification, Dale Miller

PDF

Uniform Proofs as a Foundation for Logic Programming, Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov

PDF

Higher-Order Horn Clauses, Gopalan Nadathur and Dale Miller

PDF

A Simple Semantics for ML Polymorphism, Atsushi Ohori

PDF

A Study of Semantics, Types and Languages for Databases and Object-Oriented Programming, Atsushi Ohori

PDF

Ordering and Types in Databases, Atsushi Ohori

PDF

Semantics of Types for Database Objects, Atsushi Ohori

PDF

Static Type Inference for Parametric Classes, Atsushi Ohori and Peter Buneman

PDF

A Universal Inductive Inference Machine, Daniel N. Osherson, Michael Stob, and Scott Weinstein

PDF

Uniform Inductive Improvement, Daniel N. Osherson, Michael Stob, and Scott Weinstein

PDF

Software Tools for Dynamic and Kinematic Modeling of Human Emotion, Ernest M. Otani

PDF

General Routing Algorithms for Star Graphs, Michael A. Palis, Sanguthevar Rajasekaran, and David S.L. Wei

PDF

A Pumping Lemma Scheme for the Control Language Hierarchy, Michael A. Palis and Sunil M. Shende

PDF

Type-Driven Natural Language Analysis, Remo Pareschi

PDF

The Relevance of Connectionism to AI: A Representation and Reasoning Perspective, Lokendra Shastri

PDF

A Connectionist System for Rule Based Reasoning With Multi-Place Predicates and Variables, Lokendra Shastri and Venkat Ajjanagadde

PDF

A Contact Stress Model for Determining Forces in an Equilibrium Grasp, Pramath Raj Sinha

PDF

Higher Order Unification Revisited: Complete Sets of Transformations, Wayne Snyder and Jean H. Gallier

PDF

Reverse Software Engineering of Concurrent Real Time Programs, Mitchell C. Song

PDF

Gapping as Constituent Coordination, Mark J. Steedman

PDF

Intonation and Syntax in Spoken Language Systems, Mark J. Steedman

PDF

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

PDF

Computing With Coercions, Val Tannen, Carl A. Gunter, and Andre Scedrov

PDF

Denotational Semantics for Subtyping Between Recursive Types, Val Tannen, Carl A. Gunter, and Andre Scedrov

PDF

Lambda Calculus,Conservative Extension and Structural Induction, Val Tannen and Ramesh Subrahmanyam

PDF

Replication and Reduction in Multistage Interconnection Networks, Joseph D. Touch

PDF

MIRAGE: A Model for Ultra-High-Speed Protocol Analysis and Design, Joseph D. Touch and David J. Farber

PDF

Image Wavelet Decomposition and Applications, Nicolas Treil, Stephane Mallat, and Ruzena Bajcsy

PDF

Estimation of Textured Surface Inclination by Parallel Local Spectral Analysis, M. R. Turner, Ruzena Bajcsy, and G. L. Gerstein

PDF

Receptive Fields for the Determination of Textured Surface Inclination, M. R. Turner, Marcos Salganicoff, G. L. Gerstein, and Ruzena Bajcsy

PDF

Grasping With Mechanical Intelligence, Nathan T. Ulrich

PDF

Deictic Reference and Discourse Structure, Bonnie L. Webber

PDF

Language Constructs for Distributed Real-Time Consistency, Victor Wolfe, Susan Davidson, and Insup Lee

PDF

A Two-Arm Exploratory System for Identifying Moving and Removable Parts, Xiaoping Yan, Robert King, Insup Lee, and R. Vijay Kumar

PDF

Real Time Inverse Kinematics With Joint Limits and Spatial Constraints, Jianmin Zhao and Norman I. Badler

Papers from 1988

PDF

A Lexicalized Tree Adjoining Grammar for French: The General Framework, Anne Abeillé

PDF

Feasible Learnability of Formal Grammars and the Theory of Natural Language Acquisition, Naoki Abe

PDF

Polynomial Learnability and Locality of Formal Grammars, Naoki Abe

PDF

GRASP Lab Camera Systems and Their Effects on Algorithms, Helen L. Anderson

PDF

Adaptive Image Segmentation, Helen L. Anderson, Ruzena Bajcsy, and Max Mintz

PDF

Task-Oriented Computer Animation of Human Figures, Norman I. Badler

PDF

Slice Display for Human Models Constructed With Spheres, Norman I. Badler, Barry B. Hunter Jr., and Cary Phillips

PDF

Constraint-Based Temporal Planning, Norman I. Badler, S. Kushnier, and Jugal Kalita

PDF

Active Perception, Ruzena Bajcsy

PDF

Second Interim Technical Report for Advanced Research in Range Image Interpretation for Automated Mail Handling, Ruzena K. Bajcsy, Kwangyoen Wohn, Franc Solina, Alok Gupta, Pramath Sinha, and Constantine J. Tsikos

PDF

Evaluation of Registration of PET Images With CT Images, Ruzena Bajcsy, Martin Reivich, and Stane Kovacic

PDF

Segmentation Versus Object Representation - Are They Separable?, Ruzena Bajcsy, Franc Solina, and Alok Gupta

PDF

Exploratory Procedure for Computer Vision, Ruzena Bajcsy, K. Wong, and S. W. Lee

PDF

Workshop on Database Programming Languages, François Bancilhon and Peter Buneman

PDF

Domain Theoretic Models of Polymorphism, Thierry Coquand, Carl A. Gunter, and Glynn Winskel

PDF

Effective Control of Human Motion Animation, Diana T. Dadamo

PDF

Preliminary Clinical Evaluation of Elastic Matching System, Robert Dann, John Hoford, Stane Kovacic, Martin Reivich, and Ruzena Bajcsy

PDF

Partial Computation in Real-Time Database Systems: A Research Plan, Susan B. Davidson and Insup Lee

PDF

An Investigation of Language Input and Performance Timing for Task Animation, Jeffrey Esakov and Norman I. Badler

PDF

Explaining Modal Logic Proofs, Amy Felty and Greg Hager

PDF

Specifying Theorem Provers in a Higher-Order Logic Programming Language, Amy Felty and Dale Miller

PDF

A Hierarchical Database Model for a Logic Programming Language, Timothy Finin and James McGuire

PDF

Abductive Reasoning in Multiple Fault Diagnosis, Timothy Finin and Gary Morris

PDF

A Procedure for Characterizing Tactile Sensors, Filip Fuma and John Bradley

PDF

A Computational Analysis of Line-Oriented Screw Transformations in Robotics, Janez Funda

PDF

Order-Sorted Congruence Closure, Jean H. Gallier and Tomas Isakowitz

PDF

Rigid E-Unification: NP-Completeness and Applications to Equational Matings, Jean H. Gallier, Paliath Narendran, David Plaisted, and Wayne Snyder

PDF

A Complete Axiomatization of Real-Time Processes, Richard Gerber, Insup Lee, and Amy E. Zwarico

PDF

A Logical Interpretation of Powerdomains, Carl A. Gunter

PDF

Coherence and Consistency in Domains (Extended Outline), Carl A. Gunter and Achim Jung

PDF

Range Image Segmentation for 3-D Object Recognition, Alok Gupta

PDF

Enriching a Meta-Language With Higher-Order Features, John Hannan and Dale Miller

PDF

Use of Higher-Order Unification for Implementing Program Transformers, John Hannon and Dale Miller

PDF

The Systolic/Cellular System Assembler: User's Guide, Miriam A. Hartholz

PDF

Cube Analyzer - A Medical Image Analysis Program, John Hoford, Howie Choset, Stane Kovacic, James Gee, and Ruzena Bajcsy

PDF

An Efficient All-Parses Systolic Algorithm for General Context-Free Parsing, Oscar H. Ibarra and Michael A. Palis

PDF

Estimation of 3-D Motion and Structure Based on a Temporally-Oriented Approach With the Method of Regression, Siu-Leong Iu and Kwangyoen Wohn

PDF

Processing Crossed and Nested Dependencies: An Automaton Perspective on the Psycholinguistic Results, Aravind K. Joshi

PDF

Feature Structures Based Tree Adjoining Grammars, Aravind K. Joshi and K. Vijay Shanker

PDF

SEAFACT: Semantic Analysis for Animation of Cooking Tasks, Robin F. Karlin

PDF

The Need for User Models in Generating Expert System Explanations, Robert Kass and Timothy Finin

PDF

Object Exploration Using a Parallel Jaw Gripper, A. Koutsou

PDF

Integrating Multiple Uncertain Views of a Static Scene Acquired by an Agile Camera System, Eric Krotkov and Ralf Kories

PDF

Formally Integrating Real-Time Specification: A Research Proposal, Insup Lee, Susan B. Davidson, and Richard Gerber

PDF

RK: A Real-Time Kernel for a Distributed System With Predictable Response, Insup Lee, Robert King, and Richard Paul

PDF

Embeddings Among Toruses and Meshes, Eva Ma and Lixin Tao

PDF

Dyadic Wavelets Energy Zero-Crossings, Stephane G. Mallat

PDF

Logic Programming Based on Higher-Order Hereditary Harrop Formulas, Dale Miller

PDF

An Overview of Lambda-Prolog, Gopalan Nadathur and Dale Miller

PDF

Generalized Image Translation and Realignment: The GITR Process, Scott H. Novack

PDF

Database Programming in Machiavelli - A Polymorphic Language With Static Type Inference, Atsushi Ohori, Peter Buneman, and Val Tannen

PDF

Sublinear Parallel Time Recognition of Tree Adjoining Language, Michael A. Palis and Sunil Shende

PDF

Upper Bounds on Recognition of a Hierarchy of Non-Context-Free Languages, Michael Palis and Sunil Shende

PDF

A Distributed System for Robot Manipulator Control, Richard P. Paul, Hong Zhang, Minoru Hashimoto, Alberto Izaguirre, Jeffrey Trinkle, Nathan Ulrich, Yangsheng Xu, and Yehong Zhang

PDF

Jack: A Toolkit for Manipulating Articulated Figures, Cary B. Phillips and Norman I. Badler

PDF

Grouping Straight Line Segments in Real Images, Hervé Poilvé

PDF

Reverse Software Engineering, Noah S. Prywes, X. Ge, Insup Lee, and M. Song

PDF

An Adaptive Tracking Algorithm for Robotics and Computer Vision Application, Reem Bassam Safadi

PDF

Remarks on Causatives and Passive, Beatrice Santorini and Caroline Heycock

PDF

Parsing Strategies With 'Lexicalized' Grammars: Application to Tree Adjoining Grammars, Yves Schabes, Anne Abeillé, and Aravind K. Joshi

PDF

Pronominal Reference to Events and Actions: Evidence From Naturally-Occurring Data, Ethel Schuster

PDF

Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks, David Smitley and Insup Lee

PDF

Comparative Analysis of Hill Climbing Mapping Algorithms, David L. Smitley and Insup Lee

PDF

Shape Recovery of Mail Pieces Using Deformable Models, Franc Solina and Ruzena Bajcsy