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 1988

PDF

Combining Algebra and Higher-Order Types, Val Tannen

PDF

Extensional Models for Polymorphism, Val Tannen and Thierry Coquand

PDF

Redundant Multi-Modal Integration of Machine Vision and Programmable Mechanical Manipulation for Scene Segmentation, Constantine J. Tsikos and Ruzena Bajcsy

PDF

Segmentation via Manipulation, Constantine J. Tsikos and Ruzena K. Bajcsy

PDF

Characterizing Structural Descriptions Produced by Various Grammatical Formalisms, K. Vijay-Shanker, David Weir, and Aravind K. Joshi

PDF

GRADSIM: A Connectionist Network Simulator Using Gradient Optimization Techniques, Raymond L. Watrous

PDF

Learning Algorithms for Connectionist Networks: Applied Gradient Methods of Nonlinear Optimization, Raymond L. Watrous

PDF

Speech Recognition Using Connectionist Networks Dissertation Proposal, Raymond L. Watrous

PDF

Discourse Deixis and Discourse Processing, Bonnie L. Webber

PDF

Discourse Deixis: Reference to Discourse Segments, Bonnie L. Webber

PDF

Tense as Discourse Anaphor, Bonnie L. Webber

PDF

Modeling Reliable Distributed Real-Time Programs, Victor Wolfe, Susan B. Davidson, and Insup Lee

PDF

On the Deformation of Image Intensity and Zero-Crossing Contours Under Motion, Jian Wu and K. Wohn

PDF

A Contour Base Recovery of Image Flow: Iterative Method, Jian Wu, K. Wohn, and Roger Brockett

PDF

RFMS Software Reference Manual, Hong Zhang

PDF

RFMS Source Code, Hong Zhang

PDF

Robot Manipulator Control and Computational Cost, Yehong Zhang and Richard P. Paul

Papers from 1987

PDF

Edge Detection for Object Recognition in Aerial Photographs, Helen Anderson

PDF

Implementing Theorem Provers in Logic Programming, Amy Felty

PDF

Proof Explanation and Revision, Amy Felty and Dale Miller

PDF

Information Maps for Active Sensor Control, Greg Hager

PDF

A Computational Treatment of Locative Relations in Natural Language, Ellen M. Hays

PDF

Models for Motion Perception, David J. Heeger

PDF

Implicit Acquisition of User Models in Cooperative Advisory Systems, Robert Kass

PDF

Three Highly Parallel Computer Architectures and Their Suitability for Three Representative Artificial Intelligence Problems, Ron Katriel

PDF

Explaining and Refining Decision-Theoretic Choices, David A. Klein

PDF

Reconfiguration for Fault Tolerance and Performance Analysis, Harold Henry Kollmeier

PDF

Motivating Time as a First Class Entity, Insup Lee, Susan B. Davidson, and Victor Fay-Wolfe

PDF

Tracking Moving Objects by a Mobile Camera, Sang Wook Lee and Kwangyoen Wohn

PDF

A Theory for Multiresolution Signal Decomposition: The Wavelet Representation, Stephane G. Mallat

PDF

Toward Reasoning Methods for Automatic Mechanical Repair, Pearl Pu

Papers from 1986

PDF

Modeling and Animating Human Figures in a CAD Environment, Norman I. Badler

PDF

An Expert System for Marine Umbrella Liability Insurance Underwriting, Claire Socolovsky Caine

PDF

Using Extended Tactics to Do Proof Transformations, Amy P. Felty

PDF

Towards a Computational Model of Anaphora in Discourse: Reference to Events and Actions , Ethel Schuster

PDF

The Model Concept: Nonprocedural Programming for Nonprogrammers, II, Stanley M. Schwartz

PDF

Design and Implementation of a Robot Force and Motion Server, Hong Zhang

Papers from 1985

PDF

The Computer Graphics Scene in the United States, Norman I. Badler and Ingrid Carlbom

PDF

TEMPUS: A System for the Design and Simulation of Human Figures in a Task-Oriented Environment, Norman I. Badler, Jonathan Korein, James U. Korein, Gerald M. Radack, and Lynne Shapiro Brotman

PDF

A Motion Verb Interface to a Task Animation System, Jeffrey Scott Gangel

PDF

GUIDE: Graphical User Interfaced Development Environment, Tamar E. Granor and Norman I. Badler

PDF

Computational Aspects of Proofs in Modal Logic, Greg Hager

PDF

An Expert Systems Approach to Realtime, Active Management of a Target Resource, David A. Klein

PDF

The Linguistic Relevance of Tree Adjoining Grammar, Anthony S. Kroch and Aravind K. Joshi

PDF

Language Constructs for Distributed Real-Time Programming, Insup Lee and Vijay Gehlot

PDF

Appendices - Parametric Keyframe Interpolation Incorporating Kinetic Adjustment and Phrasing Control, Scott N. Steketee and Norman I. Badler

Papers from 1984

PDF

The Computer Graphics Scene in the United States, Norman I. Badler and Ingrid Carlbom

PDF

Consistency in a Partitioned Network: A Survey, Susan B. Davidson, Hector Garcia-Molina, and Dale Skeen

PDF

CADRS: A System for the Design of Complex Data Structures in LISP, Richard J. Duncan

PDF

Computational Models of Visual Hyperacuity, Eric Paul Krotkov

PDF

Local Matching of Surfaces Using Critical Points, Gerald Radack and Norman I. Badler

PDF

VP2: The Role of User Modeling in Correcting Errors in Second Language Learning, Ethel Schuster

PDF

Generating Shadows with an Umbra and Penumbra, Lynne Shapiro and Norman I. Badler

PDF

The Recognition and Representation of 3D Images for a Natural Language Driven Scene Analyzer, Amy Zwarico

Papers from 1983

PDF

Outline of a Calculus of Type Subsumption, Hassan Aït-Kaci

PDF

TEMPUS: A System for the Design and Simulation of Human Figures in a Task-Oriented Environment, Norman I. Badler, Jonathan Korein, James U. Korein, Gerald M. Radack, Lynne Shapiro, and Carolyn Brown

PDF

Incremental Partial Matching of Descriptions in a Knowledge Representation Network, Robert M. Chafetz

PDF

Generating Data Flow Programs From Nonprocedural Specifications, Maya Balkrishna Gokhale

PDF

Proofs in Higher-Order Logic, Dale A. Miller

PDF

The Model Concept: Nonprocedural Programming for Nonprogrammers, Stanley M. Schwartz

PDF

PMDF - A PASCAL-Based Memo Distribution Facility, Ira Winston

Papers from 1982

PDF

Plaster Source Code, Peter Karp

PDF

Plaster Users' Guide, Peter Karp

PDF

Inferring Monitors on Natural Language Queries on Relational Databases, Sitaramaswamy Lanka

PDF

Model Program Generator: System and Programming Documentation, Kang-Sen Lu

PDF

The ENHANCE System: Creating Meaningful Sub-Types in a Database Knowledge Representation for Natural Language Generation, Kathleen Filliben McCoy

PDF

NOPAL Reference Manual: Bottom-Part, Noah S. Prywes

PDF

Nopal Program Generator: System and Programming Documentation, Project Staff

PDF

Overview of the University of Pennsylvania CORE System Standard Graphics Package Implementation, Frederick P. Stluka, Brian F. Saunders, Paul M. Slayton, and Norman I. Badler

PDF

Network Database Representation of Medical Knowledge Production Rules: An Application to Pediatric Diagnosis, Navendu Vasavada

Papers from 1981

PDF

Playing It by Ear: An Intelligent Sonar Guided Robot, Russell Lennart Andersson

PDF

A System for a Total Matching of Sterio Pairs of Images, Lucio de Risi

PDF

Simultaneous Equations in the Model System With an Application to Econometric Modelling, Richard Gary Greenberg

PDF

Techniques for Goal-Directed Motion, James U. Korein and Norman I. Badler

PDF

Program Optimization Based on a Non-Procedural Specification, Kang-Sen Lu

PDF

Construction Methods of LR Parsers, Karl Max Schimpf

PDF

Invoking a Beginner's Aid Processor by Recognizing JCL Goals, Jeffrey C. Shrager

PDF

Real Time Control of a Robot Tacticle Sensor, Jeffrey A. Wolfeld

Papers from 1980

PDF

Segmentation of Tomographic Images, Ruzena Bajcsy

PDF

Computer Architecture for Object Recognition and Sensing, David James Brown

PDF

Paraphrasing Using Given and New Information in a Question-Answer System, Kathleen R. McKeown

Papers from 1979

PDF

Representation of Articulable, Quasi-Rigid, Three-Dimensional Objects, Norman I. Badler and Joseph O'Rourke

PDF

A Proposal for Example Induced Programming, Rochelle Fleischmann

PDF

Image Analysis of Human Motion Using Constraint Propagation, Joseph O'Rourke and Norman I. Badler

Papers from 1978

PDF

The Simulation of Human Movement by Computer, Norman I. Badler, Joseph O'Rourke, Stephen W. Smoliar, and Lynne Weber

PDF

A Human Body Modelling System for Motion Studies, Norman I. Badler, Joseph O'Rourke, and Hasida Toltzis

PDF

The Design of the Parallel Arithmetic Unit in PEPE, Mark Camillo Divecchio

Papers from 1977

PDF

A Human Body Modelling System for Motion Studies, Norman I. Badler and Joseph O'Rourke

PDF

On Program Synthesis in Intelligent Calculators Through Current Autoprogramming Techniques, Frank A. Weber Jr.

Papers from 1976

PDF

Disk Generators for a Raster Display Device, Norman I. Badler

Papers from 1975

PDF

TOS: A Text Organizing System, Kemal Koymen

Papers from 1974

PDF

A General Strip Finder, Clayton Dane

PDF

Research on Automatic Program Generation, Jesus A. Ramirez, N. Adam Rin, Maxine Brown, and Noah S. Prywes

Papers from 1973

PDF

Implementation of an Automatic, a Posteriori, Hierarchical Classification System, Allen L. Lang and Susan W. Zagorsky

PDF

Automatic Generation of Data Conversions - Programs Using a Data Description Language (DDL) Volume 1 and 2, Jesus A. Ramirez

Papers from 1972

PDF

The Table Generating Routines of a Data Description Language Processor, Peter Gross

PDF

Extended Data Management Facility (EDMF) Reference Manual/User's Guide, EDMF Project Staff

Papers from 1971

PDF

Design of the Data Description Language Processor, Andrew French, Jesus A. Ramirez, Harold Solow, and Noah S. Prywes

PDF

A Command and Query Language Assembler for an Extended Data Management System, Jorge Gana

PDF

Access Control and Retrieval Optimization Functions of the Supervisor for an Extended Data Management Facility, Judith Irene Hirsch