Technical Reports (CIS)

 

Follow

Papers from 2002

PDF

The Influence of ATM on Operating Systems, Jonathan M. Smith

Papers from 2001

PDF

A User-Level Introduction to the Nuprl Proof Development System, Eric Aaron

PDF

A Framework for Reasoning about Animation Systems, Eric Aaron, Dimitris Metaxas, Franjo Ivancic, and Oleg Sokolsky

PDF

Coherency of Shared Memory in Ad-hoc Networks, Rajeev Alur

PDF

On the Feasibility of Network Delay Tomography using only Existing Infrastructure, Kostas G. Anagnostakis and Michael B. Greenwald

PDF

Multispectral Skin Color Modelling, Elli Angelopoulou, Rana Molana, and Kostas Daniilidis

PDF

Spherical Diffusion for Surface Smoothing and Denoising, Thomas Buelow

PDF

Consistent Phase Estimation for Recovering Depth from Moiré Interferograms, Thomas Bülow

PDF

Spherical Diffusion, Thomas Bülow

PDF

Surface Representations Using Spherical Harmonics and Gabor Wavelets on the Sphere, Thomas Bülow and Kostas Daniilidis

PDF

Compression of Stereo Disparity Streams Using Wavelets and Optical Flow, Thomas Bülow, Jane Mulligan, Geraud de Bonnafos, Alexandre Chibane, and Kostas Daniilidis

PDF

Indexing Keys in Hierarchical Data, Yi Chen, Susan B. Davidson, and Yifeng Zheng

PDF

Enumeration and Motion Planning for Modular Mobile Robots, Sachin Chitta and James P. Ostrowski

PDF

Chase & Backchase: A Method for Query Optimization with Materialized Views and Integrity Constraints, Alin Deutsch, Lucian Popa, and Val Tannen

PDF

Optimization Properties for Classes of Conjunctive Regular Path Queries, Alin Deutsch and Val Tannen

PDF

A Framework for Scalable Cooperative Navigation of Autonomous Vehicles, Rafael Fierro, Peng Song, Aveek K. Das, and R. Vijay Kumar

PDF

Structure and Motion from Uncalibrated Catadioptric Views, Christopher Geyer and Kostas Daniilidis

PDF

A Calculus for Dynamic Loading, Michael Hicks and Stephanie C. Weirich

PDF

Automatic Test Generation from Statecharts Using Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky

PDF

Sub-Operating Systems: A New Approach to Application Security, Sotiris Ioannidis and Steven M. Bellovin

PDF

VC-Dimension of Exterior Visibility of Polyhedra, Volkan Isler, Sampath Kannan, and Kostas Daniilidis

PDF

Scalable Security Mechanisms for the Internet, Angelos D. Keromytis, Sotiris Ioannidis, Michael B. Greenwald, and Jonathan M. Smith

PDF

GNOSIS: Global Network Operations Status Information System, Jessica Kornblum and Jonathan M. Smith

PDF

Review: Extending Visible Band Computer Vision Techniques to Infrared Band Images, Shih-Schon Lin

PDF

Single Cone Mirror Omni-Directional Stereo, Shih-Schon Lin and Ruzena Bajcsy

PDF

Secure and Flexible Global File Sharing, Stefan Miltchev, Vassilis Prevelakis, Sotiris Ioannidis, Angelos D. Keromytis, and Jonathan M. Smith

PDF

Resource Sharing Through Query Process Migration, Arnaud Sahuguet and Val Tannen

PDF

PennAspect: Two-Way Aspect Model Implementation, Andrew I. Schein, Alexandrin Popescul, and Lyle H. Ungar

PDF

Classification Theorem for Compact Surfaces, Dianna Xu

PDF

Cognitive Modeling for Computer Animation: A Comparative Review, Liwei Zhao

PDF

Synthesis and Acquisition of Laban Movement Analysis Qualitative Parameters for Communicative Gestures, Liwei Zhao and Norman I. Badler

Papers from 2000

PDF

Imaging Techniques for Detecting Breast Cancer: Survey and Perspectives, Fred S. Azar

PDF

Multiattribute Decision-Making: Use of Three Scoring Methods to Compare the Performance of Imaging Techniques for Breast Cancer Detection, Fred S. Azar

PDF

Building Parameterized Action Representations from Observation, Ramamani Bindiganavale

PDF

Reasoning about Keys for XML, Peter Buneman, Susan B. Davidson, Wenfei Fan, Carmem Hara, and Wang-Chiew Tan

PDF

A PTAS for Minimizing Average Weighted Completion Time with Release Dates on Uniformly Related Machines, Chandra Chekuri and Sanjeev Khanna

PDF

Safe and Flexible Dynamic Linking of Native Code, Karl Crary, Michael Hicks, and Stephanie C. Weirich

PDF

Mutual Information as a Stereo Correspondence Measure, Geoffrey Egnal

PDF

Image Registration Using Mutual Information, Geoffrey Egnal and Kostas Daniilidis

PDF

Agents in Network Management, Osman Ertugay, Michael Hicks, Jonathan M. Smith, and Jessica Kornblum

PDF

A Study of Cache-based IP Flow Switching, Osman Ertugay and Jonathan M. Smith

PDF

TinkerType: A Language for Playing with Formal Systems, Michael Y. Levin and Benjamin C. Pierce

PDF

Shape Priors in Medical Image Analysis: Extensions of the Level Set Method, Albert A. Montillo

PDF

Practical Programmable Packets, Jonathan T. Moore, Michael Hicks, and Scott Nettles

PDF

View-independent Scene Acquisition for Tele-Presence, Jane Mulligan and Kostas Daniilidis

PDF

The Shrink-Wrapped VPN Node, Vassilis Prevelakis and Angelos Keromytis

PDF

Kweelt, the Making-of: Mistakes Made and Lessons Learned, Arnaud Sahuguet

Papers from 1999

PDF

The Price of Safety in an Active Network, D. Scott Alexander, Kostas G. Anagnostakis, William A Arbaugh, Angelos D. Keromytis, and Jonathan M. Smith

PDF

The Reflectance Spectrum of Human Skin, Elli Angelopoulou

PDF

Spectral Gradient: A Surface Reflectance Measurement Invariant to Geometry and Incident Illumination, Elli Angelopoulou, Sang W. Lee, and Ruzena Bajcsy

PDF

Laser Scanner Technology, Elli Angelopoulou and John R. Wright Jr.

PDF

Three-dimensional Motion Reconstruction and Analysis of the Right Ventricle Using Tagged MRI, Leon Axel, Dimitris N. Metaxas, and Idith Haber

PDF

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

PDF

Extraction of Web Information Using W4F Wrapper Factory and XML-QL Query Language, Deepali Bhandari

PDF

A Formal Framework for Linguistic Annotation, Steven Bird and Mark Liberman

PDF

Union Types for Semistructured Data, Peter Buneman and Benjamin C. Pierce

PDF

Policy and Mechanism in Adaptive Protocols, Ilija Hadžić, William S. Marcus, and Jonathan M. Smith

PDF

FPGA Viruses, Ilija Hadžić, Sanjay Udani, and Jonathan M. Smith

PDF

Inference Rules for Nested Functional Dependencies, Carmem S. Hara and Susan B. Davidson

PDF

A Secure Plan, Michael Hicks and Angelos D. Keromytis

PDF

How Good is Local Type Inference?, Haruo Hosoya and Benjamin C. Pierce

PDF

On Inner Classes, Atsushi Igarashi and Benjamin C. Pierce

PDF

Safe and Efficient Active Packets, Jonathan T. Moore

PDF

Chunks in PLAN: Language Support for Programs as Packets, Jonathan T. Moore, Michael Hicks, and Scott Nettles

PDF

Steering For A Class Of Dynamic Nonholonomic Systems, James P. Ostrowski

PDF

Behavioral Equivalence in the Polymorphic Pi-Calculus, Benjamin C. Pierce and Davide Sangiorgi

PDF

A Chase Too Far, Lucian Popa, Alin Deutsch, Arnaud Sahuguet, and Val Tannen

PDF

VENUS: A Virtual Environment Network Using Satellites, Sanjay Udani, Jord Sonneveld, Jonathan M. Smith, and David Farber

Papers from 1998

PDF

Ordered Choice Diagrams for Symbolic Analysis, Rajeev Alur

PDF

Timed Automata, Rajeev Alur

PDF

Alternating-time Temporal Logic, Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman

PDF

Symbolic Exploration of Transition Hierarchies, Rajeev Alur, Thomas A. Henzinger, and Sriram K. Rajamani

PDF

Membership Questions for Timed and Hybrid Automata, Rajeev Alur, R. P. Kurshan, and M. Viswanathan

PDF

Deciding Global Partial-Order Properties, Rajeev Alur, Ken McMillan, and Doron Peled

PDF

Generating Effective Instructions: Knowing When to Stop, Juliet C. Bourne

PDF

Equality, Type and Word Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein

PDF

Interaction between Path and Type Constraints, Peter Buneman, Wenfei Fan, and Scott Weinstein

PDF

Path Constraints on Deterministic Graphs, Peter Buneman, Wenfei Fan, and Scott Weinstein

PDF

Generation, Estimation and Tracking of Faces, Douglas M. DeCarlo

PDF

Policy-Directed Certificate Retrieval, Carl A. Gunter and Trevor Jim

PDF

Signalling Protocol for P4 (SPP4), version 1.0, Ilija Hadžić

PDF

On-the-fly Programmable Hardware for Networks, Ilija Hadžić and Jonathan M. Smith

PDF

Exploratory Aspects of Sensor Based Planning, Andrew Hicks and David Pettey

PDF

Robust Invariants from Functionally Constrained Motion, Andrew R. Hicks, Kostas Daniilidis, Ruzena Bajcsy, and David Pettey

PDF

PLAN Security System, Michael Hicks

PDF

Types and Intermediate Representations, Michael Hicks

PDF

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

PDF

Updating Complex Value Databeses, H. Liefke and Susan B. Davidson

PDF

A New Metric for Object Pose Estimation, Jeffrey Mendelsohn

PDF

Mobile Code Security Techniques, Jonathan T. Moore

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