Technical Reports

Demonstrating Numerical Convergence to the Analytic Solution of some Backwards Reachable Sets with Sharp Features

Decision Theoretic Learning of Human Facial Displays and Gestures

Logarithmic Complexity for a class of XML Queries

Constraint-Based Approach to Hybrid Dynamical Systems with Uncertainty

Topology Sensitive Replica Selection

A New Approach to Upward-Closed Set Backward Reachability Analysis

A Toolbox of Level Set Methods (version 1.0) (Replaced by TR-2007-11)

Rendering Color Information Using Haptic Feedback

Index-Trees for Descendant Tree Queries in the Comparison Model

An Analysis of the Hotspot Diffusion Paradox

SQPATH-A Combined SQL-XPATH Query System for RNAML Data

Haptic Support for Urgency-Based Turn-Taking

Learning and Identifying Haptic Icons under Workload

GLStereo: Stereo Vision Implemented in Graphics Hardware