Technical Reports
1993
Multi-evidential Correlation & Visual Echo Analysis
Free Speech, Pornography, Sexual Harassment, and Electronic Networks
Automatic Synthesis of Sequential Synchronizations
Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study
On Seeing Robots
A Computational Theory of Decision Networks
On Finite Covering of Infinite Spaces for Protocol Test Selection
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
Decision Graph Search
A New Method for Influence Diagram Evaluation
A Framework for Interoperability Testing of Network Protocols
Orientation-Based Representations of Shape and Attitude Determination
Symplectic Integration of Constrained Hamiltonian Systems by Runge-Kutta Methods
The use of conflicts in searching Bayesian networks
Implicit-Explicit Methods for Time-Dependent PDE's
A Real-Time 3D Motion Tracking System
Wavelet multiresolution representation of curves and surfaces
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving
Fault Coverage Evaluation of Protocol Test Sequences
Numerical Integration of the Generalized Euler Equations
Performance Measures for Robot Manipulators: A Unified Approach
How Fast can ASN.1 Encoding Rules Go?
Abduction As Belief Revision
Sequential Regularization Methods for higher index DAEs with constraint singularities: I. Linear Index-2 Case
TESTGEN+: An Environment for Protocol Test Suite Generation, Selection and Validation
Computational Methods for the Shape from Shading Problem
Unit Disk Graph Recognition is NP-Hard*
Generating Random Monotone Polygons
A Compact Piecewise-Linear Voronoi Diagram for Convex sites in the Plane
Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation
Objects that cannot be taken apart with two hands
Counting and Reporting Red/Blue Segment Intersections
Analysis of a Recurrence Arising from a construction for Non-Blocking Networks
Self-Routing Superconcentrators
A Model Checker for Statecharts
The Raven Kernel: a Microkernel for shared memory multiprocessors
Ranking and Unranking Trees Using Regular Reductions
Detection and Estimation of Multiple Disparities by Multi-evidential correlation
Tridiagonalization Costs of the Bandwidth contraction and Rutishauser-Schwarz Algorithms
Automatic Verification of Asynchronous Circuits
A Simple Theorem Prover Based on symbolic Trajectory Evaluation and OBDDs
Juggling Networks
Similarity Metric Learning for a Variable-Kernel Classifier
Discrete Conservative Approximations of Hybrid Systems
VOSS - A Formal Hardware Verification System User's Guide
We Have Never-Forgetful Flowers In Our Garden: Girls' Responses to Electronic Games
Simulated Annealing for Profile and Fill Reduction of Sparse Matrices
Volume Models for Volumetric Data
High-Speed Visual Estimation Using Preattentive Processing
The Natural Look
A Model for Coordinating Interacting Agents