Technical Reports (CIS)
Papers from 2001
Multispectral Skin Color Modelling, Elli Angelopoulou, Rana Molana, and Kostas Daniilidis
Spherical Diffusion for Surface Smoothing and Denoising, Thomas Buelow
Consistent Phase Estimation for Recovering Depth from Moiré Interferograms, Thomas Bülow
Spherical Diffusion, Thomas Bülow
Surface Representations Using Spherical Harmonics and Gabor Wavelets on the Sphere, Thomas Bülow and Kostas Daniilidis
Compression of Stereo Disparity Streams Using Wavelets and Optical Flow, Thomas Bülow, Jane Mulligan, Geraud de Bonnafos, Alexandre Chibane, and Kostas Daniilidis
Indexing Keys in Hierarchical Data, Yi Chen, Susan B. Davidson, and Yifeng Zheng
Enumeration and Motion Planning for Modular Mobile Robots, Sachin Chitta and James P. Ostrowski
Chase & Backchase: A Method for Query Optimization with Materialized Views and Integrity Constraints, Alin Deutsch, Lucian Popa, and Val Tannen
Optimization Properties for Classes of Conjunctive Regular Path Queries, Alin Deutsch and Val Tannen
A Framework for Scalable Cooperative Navigation of Autonomous Vehicles, Rafael Fierro, Peng Song, Aveek K. Das, and R. Vijay Kumar
Structure and Motion from Uncalibrated Catadioptric Views, Christopher Geyer and Kostas Daniilidis
A Calculus for Dynamic Loading, Michael Hicks and Stephanie C. Weirich
Automatic Test Generation from Statecharts Using Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky
Sub-Operating Systems: A New Approach to Application Security, Sotiris Ioannidis and Steven M. Bellovin
VC-Dimension of Exterior Visibility of Polyhedra, Volkan Isler, Sampath Kannan, and Kostas Daniilidis
Scalable Security Mechanisms for the Internet, Angelos D. Keromytis, Sotiris Ioannidis, Michael B. Greenwald, and Jonathan M. Smith
GNOSIS: Global Network Operations Status Information System, Jessica Kornblum and Jonathan M. Smith
Review: Extending Visible Band Computer Vision Techniques to Infrared Band Images, Shih-Schon Lin
Single Cone Mirror Omni-Directional Stereo, Shih-Schon Lin and Ruzena Bajcsy
Secure and Flexible Global File Sharing, Stefan Miltchev, Vassilis Prevelakis, Sotiris Ioannidis, Angelos D. Keromytis, and Jonathan M. Smith
Resource Sharing Through Query Process Migration, Arnaud Sahuguet and Val Tannen
PennAspect: Two-Way Aspect Model Implementation, Andrew I. Schein, Alexandrin Popescul, and Lyle H. Ungar
Classification Theorem for Compact Surfaces, Dianna Xu
Cognitive Modeling for Computer Animation: A Comparative Review, Liwei Zhao
Synthesis and Acquisition of Laban Movement Analysis Qualitative Parameters for Communicative Gestures, Liwei Zhao and Norman I. Badler
Papers from 2000
Imaging Techniques for Detecting Breast Cancer: Survey and Perspectives, Fred S. Azar
Building Parameterized Action Representations from Observation, Ramamani Bindiganavale
Reasoning about Keys for XML, Peter Buneman, Susan B. Davidson, Wenfei Fan, Carmem Hara, and Wang-Chiew Tan
A PTAS for Minimizing Average Weighted Completion Time with Release Dates on Uniformly Related Machines, Chandra Chekuri and Sanjeev Khanna
Safe and Flexible Dynamic Linking of Native Code, Karl Crary, Michael Hicks, and Stephanie C. Weirich
Mutual Information as a Stereo Correspondence Measure, Geoffrey Egnal
Image Registration Using Mutual Information, Geoffrey Egnal and Kostas Daniilidis
Agents in Network Management, Osman Ertugay, Michael Hicks, Jonathan M. Smith, and Jessica Kornblum
A Study of Cache-based IP Flow Switching, Osman Ertugay and Jonathan M. Smith
TinkerType: A Language for Playing with Formal Systems, Michael Y. Levin and Benjamin C. Pierce
Shape Priors in Medical Image Analysis: Extensions of the Level Set Method, Albert A. Montillo
Practical Programmable Packets, Jonathan T. Moore, Michael Hicks, and Scott Nettles
View-independent Scene Acquisition for Tele-Presence, Jane Mulligan and Kostas Daniilidis
The Shrink-Wrapped VPN Node, Vassilis Prevelakis and Angelos Keromytis
Kweelt, the Making-of: Mistakes Made and Lessons Learned, Arnaud Sahuguet
Papers from 1999
The Price of Safety in an Active Network, D. Scott Alexander, Kostas G. Anagnostakis, William A Arbaugh, Angelos D. Keromytis, and Jonathan M. Smith
The Reflectance Spectrum of Human Skin, Elli Angelopoulou
Spectral Gradient: A Surface Reflectance Measurement Invariant to Geometry and Incident Illumination, Elli Angelopoulou, Sang W. Lee, and Ruzena Bajcsy
Laser Scanner Technology, Elli Angelopoulou and John R. Wright Jr.
Three-dimensional Motion Reconstruction and Analysis of the Right Ventricle Using Tagged MRI, Leon Axel, Dimitris N. Metaxas, and Idith Haber
Methods for Modeling and Predicting Mechanical Deformations of the Breast during Interventional Procedures, Fred S. Azar, Dimitris N. Metaxas, Reid T. Miller, and Mitchell D. Schnall
Extraction of Web Information Using W4F Wrapper Factory and XML-QL Query Language, Deepali Bhandari
A Formal Framework for Linguistic Annotation, Steven Bird and Mark Liberman
Union Types for Semistructured Data, Peter Buneman and Benjamin C. Pierce
Policy and Mechanism in Adaptive Protocols, Ilija Hadžić, William S. Marcus, and Jonathan M. Smith
FPGA Viruses, Ilija Hadžić, Sanjay Udani, and Jonathan M. Smith
Inference Rules for Nested Functional Dependencies, Carmem S. Hara and Susan B. Davidson
A Secure Plan, Michael Hicks and Angelos D. Keromytis
How Good is Local Type Inference?, Haruo Hosoya and Benjamin C. Pierce
On Inner Classes, Atsushi Igarashi and Benjamin C. Pierce
Safe and Efficient Active Packets, Jonathan T. Moore
Chunks in PLAN: Language Support for Programs as Packets, Jonathan T. Moore, Michael Hicks, and Scott Nettles
Steering For A Class Of Dynamic Nonholonomic Systems, James P. Ostrowski
Behavioral Equivalence in the Polymorphic Pi-Calculus, Benjamin C. Pierce and Davide Sangiorgi
A Chase Too Far, Lucian Popa, Alin Deutsch, Arnaud Sahuguet, and Val Tannen
VENUS: A Virtual Environment Network Using Satellites, Sanjay Udani, Jord Sonneveld, Jonathan M. Smith, and David Farber
Papers from 1998
Ordered Choice Diagrams for Symbolic Analysis, Rajeev Alur
Timed Automata, Rajeev Alur
Alternating-time Temporal Logic, Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman
Symbolic Exploration of Transition Hierarchies, Rajeev Alur, Thomas A. Henzinger, and Sriram K. Rajamani
Membership Questions for Timed and Hybrid Automata, Rajeev Alur, R. P. Kurshan, and M. Viswanathan
Deciding Global Partial-Order Properties, Rajeev Alur, Ken McMillan, and Doron Peled
Generating Effective Instructions: Knowing When to Stop, Juliet C. Bourne
Equality, Type and Word Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein
Interaction between Path and Type Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein
Path Constraints on Deterministic Graphs, Peter Buneman, Wenfei Fan, and Scott Weinstein
Generation, Estimation and Tracking of Faces, Douglas M. DeCarlo
Policy-Directed Certificate Retrieval, Carl A. Gunter and Trevor Jim
Signalling Protocol for P4 (SPP4), version 1.0, Ilija Hadžić
On-the-fly Programmable Hardware for Networks, Ilija Hadžić and Jonathan M. Smith
Exploratory Aspects of Sensor Based Planning, Andrew Hicks and David Pettey
Robust Invariants from Functionally Constrained Motion, Andrew R. Hicks, Kostas Daniilidis, Ruzena Bajcsy, and David Pettey
PLAN Security System, Michael Hicks
Types and Intermediate Representations, Michael Hicks
MaC: A Framework for Run-time Correctness Assurance of Real-Time Systems, Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup Lee, and Oleg Sokolsky
Updating Complex Value Databeses, H. Liefke and Susan B. Davidson
A New Metric for Object Pose Estimation, Jeffrey Mendelsohn
Mobile Code Security Techniques, Jonathan T. Moore
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