Technical Reports
1992
Conditional Logics for Default Reasoning and Belief Revision
Probabilistic Horn abduction and Bayesian networks
Shallow Grates
Two Algorithms for Decision Tree Search
Approximating Polygons and Subdivisions with Minimum-Link Paths
Cepstral Analysis of Optical Flow
Speeding Up the Douglas-Peucker Line-Simplification Algorithm
Symmetry in Self-Correcting Cellular Automata
An Elementary Approach to Some Analytic Asymptotics
Constraint Nets: A Semantic Model for Real-Time Embedded Systems
Robust Model-based Motion Tracking Through the Integration of Search and Estimation
A Correct Optimized Algorithm for Incrementally Generating Prime Implicates
An Introduction to Formal Hardware Verification
Rearrangeable Circuit-Switching Networks
The Raven System
The Parallel Protocol Framework
Stabilization of DAEs and invariant manifolds
Collocation Software for Boundary Value Differential - Algebraic Equations
The Numerical Solution of Delay-Differential-Algebraic Equations of Retarded and Neutral Type
Probabilistic Horn abduction and Bayesian networks
3D Motion and Structure from Planar Passive Navigation
Sequences of Revisions: On the Semantics of Nested Conditionals
Search for computing posterior probabilities in Bayesian networks
The Rapid Recovery of three-Dimensional Orientation from Line Drawings
The Complexity of Constraint Satisfaction Revisited
Starshaped Sets, The Radial Function and 3-D Attitude Determination
The Psychology of Visualization
A Proposed Framework for Characterization of Robotic Systems
Parallel and Distributed Finite Constraint Satisfaction: Complexity, Algorithms and Experiments
Will the Robot Do the Right Thing?
The Support Function, Curvature Functions and 3-D Attitude Determination
Bringing Mathematical Research to Life in the Schools
A Mathematically Precise Two-Level Formal Hardware Verification Methodology*
Solving the Classic Radiosity Equation Using Multigrid Techniques
Multi-Resolution Surface Approximation for Animation
A Ray Tracing Accelerator Based on a Hierarchy of 1D Sorted Lists
Common Illumination between Real and Computer Generated Scenes
Harnessing Preattentive Processes for Multivariate Data Visualization
Investigating the Effectiveness of Direct Manipulation of 3D B-Spline Curves Using the Shape-Matching Paradigm
Filtering Normal Maps and Creating Multiple Surfaces
Spline Overlay Surfaces