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 1990

PDF

Deciding Not to Decide Using Resource-Bounded Sensing, Greg Hager

PDF

Interval-Based Techniques for Sensor Data Fusion, Greg Hager

PDF

Computational Methods for Task-Directed Sensor Data Fusion and Sensor Planning, Greg Hager and Max L. Mintz

PDF

From Operational Semantics to Abstract Machines: Preliminary Results, John Hannan and Dale Miller

PDF

Structure Unification Grammar: A Unifying Framework for Investigating Natural Language, James Henderson

PDF

Representing Objects in a Logic Programming Language With Scoping Constructs, Joshua S. Hodas and Dale Miller

PDF

Analysis of the Effects of Model Mismatch and Flat MMF for Estimating Particle Motion, Siu-Leong Iu

PDF

Estimation of General Rigid Body Motion From a Long Sequence of Images, Siu-Leong Iu and Kwangyoen Wohn

PDF

The Convergence of Mildly Context-Sensitive Grammar Formalisms, Aravind K. Joshi, K. Vijay Shanker, and David Weir

PDF

Decomposition of Domains, Achim Jung, Leonid Libkin, and Hermann Puhlmann

PDF

Robust Multi-Sensor Fusion: A Decision-Theoretic Approach, Gerda Kamberova and Max L. Mintz

PDF

Model-Based Penetration Path Calculations for the Diagnosis of Multiple Trauma, Leonard J. Karpf

PDF

Design, Implementation, and Evaluation of a Distributed Real-Time Kernel for Distributed Robotics (Dissertation Proposal), Robert B. King

PDF

Strength Guided Motion, Philip Lee, Susanna Wei, Jianmin Zhao, and Norman I. Badler

PDF

Segmentation of Range Images as the Search for the Best Description of the Scene in Terms of Geometric Primitives, Aleš Leonardis, Alok Gupta, and Ruzena Bajcsy

PDF

Direct Product Decompositions of Lattices, Closures and Relation Schemes, Leonid Libkin

PDF

First Steps Towards an Annotated Database of American English, Mitchell P. Marcus, Beatrice Santorini, and David Magerman

PDF

How to Decide From the First View Where to Look Next, Jasna Maver and Ruzena Bajcsy

PDF

Statistical Decision Theory for Sensor Fusion, Raymond McKendall

PDF

Non-Monotonic Decision Rules for Sensor Fusion, Raymond McKendall and Max L. Mintz

PDF

Sensor-Fusion With Statistical Decision Theory: A Prospectus of Research in the GRASP Lab, Raymond McKendall and Max L. Mintz

PDF

A Logic Programming Language With Lambda-Abstraction, Function Variables, and Simple Unification, Dale Miller

PDF

An Extension to ML to Handle Bound Variables in Data Structures: Preliminary Report, Dale Miller

PDF

A Kinematic Model of the Human Spine and Torso, Gary Monheit and Norman I. Badler

PDF

Analysis of Error Control and Congestion Control Protocols, Amarnath Mukherjee

PDF

Logic and Learning, Daniel N. Osherson, Michael Stob, and Scott Weinstein

PDF

Notes on Hierarchies and Inductive Inference, Daniel N. Osherson and Scott Weinstein

PDF

Parallel Kalman Filtering on the Connection Machine, Michael A. Palis and Donald K. Krecker

PDF

Descriptional Succinctness of Some Grammatical Formalisms for Natrual Language, Michael A. Palis and Sunil Shende

PDF

TRACS: The Hardware and Software Architecture of a New Two Robotic Arm Coordination System, Eric Paljug, Xiaoping Yun, and Filip Fuma

PDF

Extending Definite Clause Grammars With Scoping Constructs, Remo Pareschi and Dale Miller

PDF

A Distributed System for Robot Manipulator Control, NSF Grant ECS-11879 Fourth Report, Richard P. Paul, Peter Corke, Janez Funda, Gaylord Holder, Hiroaki Kobayashi, Yangsheng Xu, and Yehong Zhang

PDF

Issues in Facial Animation, Catherine Pelachaud, Norman I. Badler, and Mark Steedman

PDF

Multi-Oriented Multi-Resolution Edge Detection, Laurent Peytavin

PDF

Interactive Real-Time Articulated Figure Manipulation Using Multiple Kinematic Constraints, Cary B. Phillips, Jianmin Zhao, and Norman I. Badler

PDF

On the Convergence Time of Simulated Annealing, Sanguthevar Rajasekaran

PDF

Randomized Parallel Selection, Sanguthevar Rajasekaran

PDF

Constant Queue Route on a Mesh, Sanguthevar Rajasekaran and Richard Overholt

PDF

Type Inference for Records in a Natural Extension of ML, Didier Rémy

PDF

Natural Language Generation as an Intelligent Activity (Proposal for Dissertation Research), Robert Rubinoff

PDF

Progressive Horizon Planning, Ron Rymon, Bonnie L. Webber, and John R. Clarke

PDF

Object Retrieval Strategy in Unstructured Environments Using Active Vision and a Medium Complexity Gripper, Marcos Salganicoff, Michael Chan, Sanjay Agrawal, and Ruzena Bajcsy

PDF

Part-of-Speech Tagging Guidelines for the Penn Treebank Project (3rd Revision), Beatrice Santorini

PDF

Parsing With Lexicalized Tree Adjoining Grammar, Yves Schabes and Aravind K. Joshi

PDF

From Simple Associations to Systemic Reasoning: A Connectionist Representation of Rules, Variables and Dynamic Bindings, Lokendra Shastri and Venkat Ajjanagadde

PDF

Exploration of Surfaces for Robot Mobility, Pramath R. Sinha and Ruzena Bajcsy

PDF

Robotic Exploration of Surfaces to Measure Mechanical Properties, Pramath R. Sinha and Ruzena Bajcsy

PDF

Active Exploration of Surfaces for Legged Locomotion of Robots, Pramath R. Sinha and Ruzena Bajcsy

PDF

How Does a Robot Know Where to Step? Measuring the Hardness and Roughness of Surfaces, Pramath R. Sinha, Ruzena Bajcsy, and Richard P. Paul

PDF

Robotic Exploration of Surfaces With a Compliant Wrist Sensor, Pramath R. Sinha, Yangsheng Xu, Ruzena Bajcsy, and Richard P. Paul

PDF

Structure and Intonation, Mark Steedman

PDF

Structure and Intonation in Spoken Language Understanding, Mark Steedman

PDF

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

PDF

MIRAGE: A Model for Latency in Communication, Joseph D. Touch

PDF

Underestimation of Visual Texture Slant by Human Observers: A Model, M. R. Turner, Ruzena Bajcsy, and G. L. Gerstein

PDF

Structure and Ostension in the Interpretation of Discourse Deixis, Bonnie L. Webber

PDF

TraumAID: Reasoning and Planning in the Initial Definitive Management of Multiple Injuries, Bonnie L. Webber, John R. Clarke, Michael Niv, Ron Rymon, and María Milagros Ibáñez

PDF

TraumAID: AI Support in the Management of Multiple Trauma, Bonnie L. Webber, John R. Clarke, Ron Rymon, Michael Niv, and María Milagros Ibáñez

PDF

Control Software of Robot Compliant Wrist System, Yangsheng Xu

PDF

Coordination of Two-Arm Pushing, Xiaoping Yun

PDF

TRACS: An Experimental Multiagent Robotic System, Xiaoping Yun, Eric Paljug, and Ruzena Bajcsy

Papers from 1989

PDF

Polynomial Learnability of Semilinear Sets, Naoki Abe

PDF

Control Framework for Hand-Arm Coordination, Sanjay Agrawal

PDF

Active Perception and Exploratory Robotics, Ruzena Bajcsy

PDF

Scene Segmentation in the Framework of Active Perception, Ruzena Bajcsy, Alok Gupta, and Helen Anderson

PDF

Research on Symbolic Inference in Computational Vision, Ruzena Bajcsy, Alok Gupta, and Max Mintz

PDF

Assembly via Disassembly: A Case in Machine Perpetual Development, Ruzena K. Bajcsy and Constantine J. Tsikos

PDF

Machine Systems for Exploration and Manipulation: A Conceptual Framework and Method of Evaluation, Ruzena Bajcsy, Susan Lederman, and Roberta L. Klatzky

PDF

Computational Aspects of Color Constancy, Ruzena Bajcsy, Sang Wook Lee, and Aleš Leonardis

PDF

Image Segmentation With Detection of Highlights and Inter-Reflections Using Color, Ruzena Bajcsy, Sang Wook Lee, and Aleš Leonardis

PDF

The Architecture of a Cooperative Respondent, Brant A. Cheikes

PDF

Active Vision With Multiresolution Wavelets, Howard Choset, Ruzena Bajcsy, and Helen Anderson

PDF

A New Approach to Laboratory Motor Control: MMCS the Modular Motor Control System, Peter I. Corke

PDF

Fast Image Segmentation, Peter I. Corke and Helen I. Anderson

PDF

Video Rate Visual Servoing for Robots, Peter I. Corke and Richard P. Paul

PDF

Replicated Data and Partition Failures, Susan B. Davidson

PDF

Timed Atomic Commitment, Susan B. Davidson, Insup Lee, and Victor Wolfe

PDF

P Is Not Equal to NP, Jon Freeman

PDF

A Real-Time Display for Tactile Images, Filip Fuma and John Bradley

PDF

On Girard's "Candidats de Reductibilité", Jean H. Gallier

PDF

Complete Sets of Transformations for General E-Unification, Jean H. Gallier and Wayne Snyder

PDF

Communicating Shared Resources: A Model for Distributed Real-Time Systems, Richard Gerber and Insup Lee

PDF

Adapting to Computer Science, Saul Gorn

PDF

Anthropometry for Computer Graphics Human Figures, Marc R. Grosso, Richard D. Quach, Ernest Otani, Jianmin Zhao, Susanna Wei, Pei-Hwa Ho, Jiahe Lu, and Norman I. Badler

PDF

The Mixed Powerdomain, Carl A. Gunter

PDF

Nets as Tensor Theories, Carl A. Gunter and Vijay Gehlot

PDF

Semantic Domains and Denotational Semantics, Carl A. Gunter, Peter D. Mosses, and Dana S. Scott

PDF

Doing Algebra in Simple Type Theory, Elsa L. Gunter

PDF

Pseudo-Retract Functors for Local Lattices and Bifinite L-Domains, Elsa L. Gunter

PDF

Part Description and Segmentation Using Contour, Surface and Volumetric Primitives, Alok Gupta

PDF

Quantitative and Qualitative Measures for the Evaluation of the Superquadric Models, Alok Gupta, Luca Bogoni, and Ruzena Bajcsy

PDF

Proof-Theoretic Methods for Analysis of Functional Programs, John J. Hannan

PDF

Deriving Mixed Evaluation From Standard Evaluation for a Simple Functional Language, John Hannan and Dale Miller

PDF

On the Subject, Caroline Heycock

PDF

A General Device Driver for Ultrix or Leave the Driver to /dev/bus, Gaylord Holder

PDF

Phrase Structure and Intonational Phrases: Comments on the Papers by Marcus and Steedman, Aravind K. Joshi

PDF

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

PDF

Control of Randomly Sampled Robotic Systems, Hiroaki Kobayashi, Xiaoping Yun, and Richard P. Paul

PDF

Exploration of Unknown Mechanical Assemblies Through Manipulation, R. Vijay Kumar, Xiaoping Yun, and Ruzena Bajcsy

PDF

The Korean Causative: A TAG Analysis, Young-Suk Lee