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 1998

PDF

A PC Chase, Lucian Popa and Val Tannen

PDF

ASL Recognition Based on a Coupling Between HMMs and 3D Motion Analysis, Christian Vogler and Dimitris Metaxas

Papers from 1997

PDF

A Secure Active Network Environment Architecture, D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, and Jonathan M. Smith

PDF

Active Bridging, D. Scott Alexander, Marianne Shaw, Scott M. Nettles, and Jonathan M. Smith

PDF

Automated Recovery in a Secure Bootstrap Process, William A. Arbaugh, Angelos D. Keromytis, David J. Farber, and Jonathan M. Smith

PDF

Path Constraints in the Presence of Types, Peter Buneman, Wenfei Fan, and Scott Weinstein

PDF

Some Undecidable Implication Problems for Path Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein

PDF

The Decidability of Some Restricted Implication Problems for Path Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein

PDF

Extending Linear System Models to Characterize the Performance Bounds of a Fixating Active Vision System, Ulf M. Cahn von Seelen and Ruzena Bajcsy

PDF

Querying an Object-Oriented Database Using CPL, Susan B. Davidson, Carmem Hara, and Lucian Popa

PDF

Optical Flow Constraints on Deformable Models With Applications to Face Tracking, Douglas DeCarlo and Dimitris Metaxas

PDF

Shape Evolution With Structural and Topological Changes Using Blending, Douglas DeCarlo and Dimitris Metaxas

PDF

The Measured Cost of Copying Garbage Collection Mechanisms, Michael W. Hicks, Jonathan T. Moore, and Scott M. Nettles

PDF

Precision in 3-D Points Reconstructed From Stereo, Gerda Kamberova and Ruzena Bajcsy

PDF

The Effect of Radiometric Correction on Multicamera Algorithms, Gerda Kamberova and Ruzena Bajcsy

PDF

A Scalable Architecture for Bilingual Lexicography, I. Dan Melamed

PDF

Assessing the Involvement of Anatomical Structures in Penetrating Trauma Probabilistically, Omolola Ogunyemi

PDF

Fish Scales: Representing Fuzzy Manifolds, Radim Šára and Ruzena Bajcsy

PDF

On Occluding Contour Artifacts in Stereo Vision, Radim Šára and Ruzena Bajcsy

PDF

The Anaphoric Parallel Between Modality and Tense, Matthew Stone

Papers from 1996

PDF

Human Factors Experimental Analysis of the MASC System, Julie A. Adams

PDF

A Secure and Reliable Bootstrap Architecture, William A. Arbaugh, David J. Farber, and Jonathan M. Smith

PDF

Adding Structure to Unstructured Data, Peter Buneman, Susan B. Davidson, Mary Fernandez, and Dan Suciu

PDF

Adaptive Correlation Tracking of Targets With Changing Scale, Ulf M. Cahn von Seelen and Ruzena Bajcsy

PDF

Event Signaling Within Higher Performance Network Systems, Jeffrey D. Chung, C. Brendan S. Traw, and Jonathan M. Smith

PDF

A Hybrid Approach to Formal Verification Applied to an ATM Switching System, Duncan Clarke and Insup Lee

PDF

Effecting Database Transformations Using Morphase, Susan B. Davidson and Anthony Kosky

PDF

Creating Efficient Fail-Stop Cryptographic Protocols, Angelos D. Keromytis and Jonathan M. Smith

PDF

Operating System Support for Protocol Boosters, A. Mallet, J. D. Chung, and Jonathan M. Smith

PDF

Quantifier Scope, Lexical Semantics, and Surface Structure Constituency, Jong C. Park

PDF

A New Look at Bandwidth Latency Tradeoffs, John H. Shaffer and Jonathan M. Smith

PDF

Spherical Sampling by Archimedes' Theorem, Min-Zhi Shao and Norman Badler

PDF

Bernstein Polynomials for Radiative Transfer Computations, Min-Zhi Shao and Norman I. Badler

PDF

Consistency Management in the EROS Kernel, Jonathan Shapiro, David J. Farber, and Jonathan M. Smith

PDF

Gigabit Networks, Jonathan M. Smith

PDF

SwitchWare: Accelerating Network Evolution (White Paper), Jonathan M. Smith, David J. Farber, Carl A. Gunter, Scott M. Nettles, D. C. Feldmeier, and W. David Sincoskie

PDF

An Easy Case of Sorting by Reversals, Nicholas Tran

PDF

Power Management in Mobile Computing (a Survey), Sanjay Udani and Jonathan M. Smith

PDF

The Power Broker: Intelligent Power Management for Mobile Computers, Sanjay Udani and Jonathan M. Smith

Papers from 1995

PDF

Human Management of the Hierarchical System for the Control of Multiple Mobile Robots, Julie A. Adams

PDF

Towards Personalities for Animated Agents With Reactive and Planning Behaviors, Norman I. Badler, Barry D. Reich, and Bonnie L. Webber

PDF

From Active Perception to Active Cooperation Fundamental Processes of Intelligent Behavior, Ruzena Bajcsy

PDF

The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors, Ruzena Bajcsy and Jana Košecká

PDF

GCSR: A Graphical Language With Algebraic Semantics for the Specification of Real-Time Systems, Hanene Ben-Abdallah, Insup Lee, and Jin Young Choi

PDF

Bracketing Guidelines For Treebank II Style Penn Treebank Project, Ann Bies, Mark Ferguson, Karen Katz, and Robert MacIntyre

PDF

A Process Algebra of Communicating Shared Resources With Dense Time and Priorities, Patrice Brémond-Grégoire and Insup Lee

PDF

A Data Transformation System for Biological Data Sources, Peter Buneman, Susan B. Davidson, Kyle Hart, and Chris Overton

PDF

VERSA: Verification, Execution and Rewrite System for ASCR, Duncan Clarke

PDF

Proof Theoretic Concepts for the Semantics of Types and Concurrency, Carl A. Gunter, Val Tannen, Thierry Coquand, and Andre Scedrov

PDF

Segmentation Modeling, Anthony J. Hoogs, Ruzena Bajcsy, and Pamela Lechleider

PDF

TrauMAP - Integrating Anatomical and Physiological Simulation (Dissertation Proposal), Jonathan Kaye

PDF

Observational Distinguishability of Databases With Object Identity, Anthony Kosky

PDF

Semantics of Database Transformations, Anthony Kosky, Susan B. Davidson, and Peter Buneman

PDF

Types With Extents: On Transforming and Querying Self-Referential Data-Structures (Dissertation Proposal), Anthony S. Kosky

PDF

Sensor Planning With Bayesian Decision Analysis, Steen Kristensen

PDF

PennEyes: A Binocular Active Vision System, Brian C. Madden and Ulf M. Cahn von Seelen

PDF

Feature-Based Localization Using Fixed Ultrasonic Transducers, Robert Mandelbaum and Max L. Mintz

PDF

AVATAR -- ATM VideoAudio Transmit and Receive, William S. Marcus and C. Brendan S. Traw

PDF

Planning and Terrain Reasoning, Michael B. Moore, Barry D. Reich, and Christopher W. Geib

PDF

Implementation Notes to OMEGA Architecture, Klara Nahrstedt

PDF

Design, Implementation and Experiences of the OMEGA End-Point Architecture, Klara Nahrstedt and Jonathan M. Smith

PDF

End-Point Resource Admission Control for Remote Control Multimedia Applications, Klara Nahrstedt and Jonathan M. Smith

PDF

Verb Semantics for English-Chinese Translation, Martha Palmer and Zhibiao Wu

PDF

A Solution to the Next Best View Problem for Automated CAD Model Acquisition of Free-Form Objects Using Range Cameras, Richard A. Pito

PDF

Architecture and Performance of the Mether Network Shared Memory, John H. Shaffer, Ronald G. Minnich, and Jonathan M. Smith

PDF

Efficient Path Consistency Algorithms for Constraint Satisfaction Problems, Moninder Singh

PDF

Efficient Constraints on Possible Worlds for Reasoning About Necessity, Matthew Stone

PDF

Fixation and a 180 Degree View Simplify Ego Motion Estimation, Inigo Thomas, Eero Simoncelli, and Ruzena Bajcsy

Papers from 1994

PDF

Cooperative Material Handling by Human and Robotic Agents:Module Development and System Synthesis, Julie A. Adams, Ruzena Bajcsy, Jana Košecká, R. Vijay Kumar, Robert Mandelbaum, Max L. Mintz, Richard P. Paul, C. Wang, Yoshio Yamamoto, and Xiaoping Yun

PDF

A Mathematical Formalism of Infinite Coding for the Compression of Stochastic Process , Kevin Atteson

PDF

The Jack Lisp API Version 1.1, Welton Becket

PDF

Subsumption Architecture and Discrete Event Systems: A Comparison, Luca Bogoni

PDF

ANIMATED CONVERSATION: Rule-Based Generation of Facial Expression, Gesture & Spoken Intonation for Multiple Conversational Agents, Justine Cassell, Catherine Pelachaud, Norman I. Badler, Mark Steedman, Brett Achorn, Tripp Becket, Brett Douville, Scott Prevost, and Matthew Stone

PDF

Modeling the Interaction Between Speech and Gesture, Justine Cassell, Matthew Stone, Brett Douville, Scott Prevost, Brett Achorn, Mark Steedman, Norman I. Badler, and Catherine Pelachaud

PDF

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

PDF

View Selection Strategies for Multi-View, Wide-Baseline Stereo, Hany Farid, Sang Wook Lee, and Ruzena Bajcsy

PDF

Combining Color and Geometry for the Active, Visual Recognition of Shadows, Gareth Funka-Lea and Ruzena Bajcsy

PDF

Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves, Jean Gallier

PDF

Typing Untyped Lambda-Terms, or Reducibility Strikes Again!, Jean H. Gallier

PDF

Finite Element Approach to Warping of Brain Images, James C. Gee, D. R. Haynor, Martin Reivich, and Ruzena Bajcsy

PDF

SodaJack: An Architecture For Agents That Search For And Manipulate Objects, Christopher W. Geib, Libby Levison, and Michael B. Moore

PDF

Critiquing: Effective Decision Support in Time-Critical Domains (Dissertation Proposal), Abigail S. Gertner

PDF

Jack/TTES: A System for Production and Real-Time Playback of Human Figure Motion in a DIS Environment, John P. Granieri

PDF

Centering: A Framework for Modelling the Coherence of Discourse, Barbara J. Grosz, Aravind K. Joshi, and Scott Weinstein

PDF

OR-SML: A Functional Database Programming Language for Disjunctive Information, Elsa L. Gunter and Leonid Libkin

PDF

Active Motion-Based Segmentation of Human Body Outlines, Ioannis A. Kakadiaris, Dimitris Metaxas, and Ruzena Bajcsy

PDF

Active Part-Decomposition, Shape and Motion Estimation of Articulated Objects: A Physics-Based Approach, Ioannis A. Kakadiaris, Dimitris Metaxas, and Ruzena Bajcsy

PDF

An Efficient Generation of the Timed Reachability Graph for the Analysis of Real-Time Systems, Inhye Kang and Insup Lee

PDF

State Minimization for Concurrent System Analysis Based on State Space Exploration , Inhye Kang and Insup Lee

PDF

Congestion Control by Bandwidth-Delay Tradeoff in Very High-Speed Networks: The Case of Window-Based Control, Hyogon Kim and David J. Farber

PDF

Process Algebra, CCS, and Bisimulation Decidability, Seth Kulick

PDF

A π-Calculus Specification of Prolog, Benjamin Z. Li

PDF

Approximation in Databases, Leonid Libkin

PDF

A Semantics-Based Approach to Design of Query Languages for Partial Information, Leonid Libkin

PDF

Massively Parallel Simulation of Structured Connectionist Networks: An Interim Report, D. R. Mani and Lokendra Shastri

PDF

A Multiple-Conclusion Meta-Logic, Dale Miller

PDF

Experimental Study of Issues in End-to End QoS, Klara Nahrstedt and Jonathan M. Smith

PDF

The QoS Broker, Klara Nahrstedt and Jonathan M. Smith

PDF

Resource Management in Multimedia Networked Systems , Klara Nahrstedt and Ralf Steinmetz

PDF

Texture Resampling While Ray-Tracing: Approximating the Convolution Region Using Caching, Jeffry S. Nimeroff, Norman I. Badler, and Dimitris Metaxas