Technical Reports (CIS)
Papers from 1998
A PC Chase, Lucian Popa and Val Tannen
ASL Recognition Based on a Coupling Between HMMs and 3D Motion Analysis, Christian Vogler and Dimitris Metaxas
Papers from 1997
A Secure Active Network Environment Architecture, D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, and Jonathan M. Smith
Active Bridging, D. Scott Alexander, Marianne Shaw, Scott M. Nettles, and Jonathan M. Smith
Automated Recovery in a Secure Bootstrap Process, William A. Arbaugh, Angelos D. Keromytis, David J. Farber, and Jonathan M. Smith
Path Constraints in the Presence of Types, Peter Buneman, Wenfei Fan, and Scott Weinstein
Some Undecidable Implication Problems for Path Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein
The Decidability of Some Restricted Implication Problems for Path Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein
Extending Linear System Models to Characterize the Performance Bounds of a Fixating Active Vision System, Ulf M. Cahn von Seelen and Ruzena Bajcsy
Querying an Object-Oriented Database Using CPL, Susan B. Davidson, Carmem Hara, and Lucian Popa
Optical Flow Constraints on Deformable Models With Applications to Face Tracking, Douglas DeCarlo and Dimitris Metaxas
Shape Evolution With Structural and Topological Changes Using Blending, Douglas DeCarlo and Dimitris Metaxas
The Measured Cost of Copying Garbage Collection Mechanisms, Michael W. Hicks, Jonathan T. Moore, and Scott M. Nettles
Precision in 3-D Points Reconstructed From Stereo, Gerda Kamberova and Ruzena Bajcsy
The Effect of Radiometric Correction on Multicamera Algorithms, Gerda Kamberova and Ruzena Bajcsy
A Scalable Architecture for Bilingual Lexicography, I. Dan Melamed
Assessing the Involvement of Anatomical Structures in Penetrating Trauma Probabilistically, Omolola Ogunyemi
Fish Scales: Representing Fuzzy Manifolds, Radim Šára and Ruzena Bajcsy
On Occluding Contour Artifacts in Stereo Vision, Radim Šára and Ruzena Bajcsy
The Anaphoric Parallel Between Modality and Tense, Matthew Stone
Papers from 1996
Human Factors Experimental Analysis of the MASC System, Julie A. Adams
A Secure and Reliable Bootstrap Architecture, William A. Arbaugh, David J. Farber, and Jonathan M. Smith
Adding Structure to Unstructured Data, Peter Buneman, Susan B. Davidson, Mary Fernandez, and Dan Suciu
Adaptive Correlation Tracking of Targets With Changing Scale, Ulf M. Cahn von Seelen and Ruzena Bajcsy
Event Signaling Within Higher Performance Network Systems, Jeffrey D. Chung, C. Brendan S. Traw, and Jonathan M. Smith
A Hybrid Approach to Formal Verification Applied to an ATM Switching System, Duncan Clarke and Insup Lee
Effecting Database Transformations Using Morphase, Susan B. Davidson and Anthony Kosky
Creating Efficient Fail-Stop Cryptographic Protocols, Angelos D. Keromytis and Jonathan M. Smith
Operating System Support for Protocol Boosters, A. Mallet, J. D. Chung, and Jonathan M. Smith
Quantifier Scope, Lexical Semantics, and Surface Structure Constituency, Jong C. Park
A New Look at Bandwidth Latency Tradeoffs, John H. Shaffer and Jonathan M. Smith
Spherical Sampling by Archimedes' Theorem, Min-Zhi Shao and Norman Badler
Bernstein Polynomials for Radiative Transfer Computations, Min-Zhi Shao and Norman I. Badler
Consistency Management in the EROS Kernel, Jonathan Shapiro, David J. Farber, and Jonathan M. Smith
Gigabit Networks, Jonathan M. Smith
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
An Easy Case of Sorting by Reversals, Nicholas Tran
Power Management in Mobile Computing (a Survey), Sanjay Udani and Jonathan M. Smith
The Power Broker: Intelligent Power Management for Mobile Computers, Sanjay Udani and Jonathan M. Smith
Papers from 1995
Human Management of the Hierarchical System for the Control of Multiple Mobile Robots, Julie A. Adams
Towards Personalities for Animated Agents With Reactive and Planning Behaviors, Norman I. Badler, Barry D. Reich, and Bonnie L. Webber
From Active Perception to Active Cooperation Fundamental Processes of Intelligent Behavior, Ruzena Bajcsy
The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors, Ruzena Bajcsy and Jana Košecká
GCSR: A Graphical Language With Algebraic Semantics for the Specification of Real-Time Systems, Hanene Ben-Abdallah, Insup Lee, and Jin Young Choi
Bracketing Guidelines For Treebank II Style Penn Treebank Project, Ann Bies, Mark Ferguson, Karen Katz, and Robert MacIntyre
A Process Algebra of Communicating Shared Resources With Dense Time and Priorities, Patrice Brémond-Grégoire and Insup Lee
A Data Transformation System for Biological Data Sources, Peter Buneman, Susan B. Davidson, Kyle Hart, and Chris Overton
VERSA: Verification, Execution and Rewrite System for ASCR, Duncan Clarke
Proof Theoretic Concepts for the Semantics of Types and Concurrency, Carl A. Gunter, Val Tannen, Thierry Coquand, and Andre Scedrov
Segmentation Modeling, Anthony J. Hoogs, Ruzena Bajcsy, and Pamela Lechleider
TrauMAP - Integrating Anatomical and Physiological Simulation (Dissertation Proposal), Jonathan Kaye
Observational Distinguishability of Databases With Object Identity, Anthony Kosky
Semantics of Database Transformations, Anthony Kosky, Susan B. Davidson, and Peter Buneman
Types With Extents: On Transforming and Querying Self-Referential Data-Structures (Dissertation Proposal), Anthony S. Kosky
Sensor Planning With Bayesian Decision Analysis, Steen Kristensen
PennEyes: A Binocular Active Vision System, Brian C. Madden and Ulf M. Cahn von Seelen
Feature-Based Localization Using Fixed Ultrasonic Transducers, Robert Mandelbaum and Max L. Mintz
AVATAR -- ATM VideoAudio Transmit and Receive, William S. Marcus and C. Brendan S. Traw
Planning and Terrain Reasoning, Michael B. Moore, Barry D. Reich, and Christopher W. Geib
Implementation Notes to OMEGA Architecture, Klara Nahrstedt
Design, Implementation and Experiences of the OMEGA End-Point Architecture, Klara Nahrstedt and Jonathan M. Smith
End-Point Resource Admission Control for Remote Control Multimedia Applications, Klara Nahrstedt and Jonathan M. Smith
Verb Semantics for English-Chinese Translation, Martha Palmer and Zhibiao Wu
A Solution to the Next Best View Problem for Automated CAD Model Acquisition of Free-Form Objects Using Range Cameras, Richard A. Pito
Architecture and Performance of the Mether Network Shared Memory, John H. Shaffer, Ronald G. Minnich, and Jonathan M. Smith
Efficient Path Consistency Algorithms for Constraint Satisfaction Problems, Moninder Singh
Efficient Constraints on Possible Worlds for Reasoning About Necessity, Matthew Stone
Fixation and a 180 Degree View Simplify Ego Motion Estimation, Inigo Thomas, Eero Simoncelli, and Ruzena Bajcsy
Papers from 1994
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
A Mathematical Formalism of Infinite Coding for the Compression of Stochastic Process , Kevin Atteson
The Jack Lisp API Version 1.1, Welton Becket
Subsumption Architecture and Discrete Event Systems: A Comparison, Luca Bogoni
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
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
Facilitating Transformations in a Human Genome Project Database, Susan B. Davidson, Anthony Kosky, and B. Eckman
View Selection Strategies for Multi-View, Wide-Baseline Stereo, Hany Farid, Sang Wook Lee, and Ruzena Bajcsy
Combining Color and Geometry for the Active, Visual Recognition of Shadows, Gareth Funka-Lea and Ruzena Bajcsy
Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves, Jean Gallier
Typing Untyped Lambda-Terms, or Reducibility Strikes Again!, Jean H. Gallier
Finite Element Approach to Warping of Brain Images, James C. Gee, D. R. Haynor, Martin Reivich, and Ruzena Bajcsy
SodaJack: An Architecture For Agents That Search For And Manipulate Objects, Christopher W. Geib, Libby Levison, and Michael B. Moore
Critiquing: Effective Decision Support in Time-Critical Domains (Dissertation Proposal), Abigail S. Gertner
Jack/TTES: A System for Production and Real-Time Playback of Human Figure Motion in a DIS Environment, John P. Granieri
Centering: A Framework for Modelling the Coherence of Discourse, Barbara J. Grosz, Aravind K. Joshi, and Scott Weinstein
OR-SML: A Functional Database Programming Language for Disjunctive Information, Elsa L. Gunter and Leonid Libkin
Active Motion-Based Segmentation of Human Body Outlines, Ioannis A. Kakadiaris, Dimitris Metaxas, and Ruzena Bajcsy
Active Part-Decomposition, Shape and Motion Estimation of Articulated Objects: A Physics-Based Approach, Ioannis A. Kakadiaris, Dimitris Metaxas, and Ruzena Bajcsy
An Efficient Generation of the Timed Reachability Graph for the Analysis of Real-Time Systems, Inhye Kang and Insup Lee
State Minimization for Concurrent System Analysis Based on State Space Exploration , Inhye Kang and Insup Lee
Congestion Control by Bandwidth-Delay Tradeoff in Very High-Speed Networks: The Case of Window-Based Control, Hyogon Kim and David J. Farber
Process Algebra, CCS, and Bisimulation Decidability, Seth Kulick
A π-Calculus Specification of Prolog, Benjamin Z. Li
Approximation in Databases, Leonid Libkin
A Semantics-Based Approach to Design of Query Languages for Partial Information, Leonid Libkin
Massively Parallel Simulation of Structured Connectionist Networks: An Interim Report, D. R. Mani and Lokendra Shastri
A Multiple-Conclusion Meta-Logic, Dale Miller
Experimental Study of Issues in End-to End QoS, Klara Nahrstedt and Jonathan M. Smith
The QoS Broker, Klara Nahrstedt and Jonathan M. Smith
Resource Management in Multimedia Networked Systems , Klara Nahrstedt and Ralf Steinmetz
Texture Resampling While Ray-Tracing: Approximating the Convolution Region Using Caching, Jeffry S. Nimeroff, Norman I. Badler, and Dimitris Metaxas