Technical Reports
1992
Approximating Polygons and Subdivisions with Minimum-Link Paths
Leonidas J. Guibas, John E. Hershberger, Joseph S. B. Mitchell and Jack Scott Snoeyink
Speeding Up the Douglas-Peucker Line-Simplification Algorithm
John Hershberger and Jack Snoeyink
Constraint Nets: A Semantic Model for Real-Time Embedded Systems
Ying Zhang and Alan K. Mackworth
Robust Model-based Motion Tracking Through the Integration of Search and Estimation
David G. Lowe
A Correct Optimized Algorithm for Incrementally Generating Prime Implicates
Alex Kean and George Tsiknis
Stabilization of DAEs and invariant manifolds
Uri M. Ascher, Hongsheng Qin and Sebastian Reich
Collocation Software for Boundary Value Differential - Algebraic Equations
Uri M. Ascher and Raymond J. Spiteri
The Numerical Solution of Delay-Differential-Algebraic Equations of Retarded and Neutral Type
Uri M. Ascher and Linda R. Petzold
Starshaped Sets, The Radial Function and 3-D Attitude Determination
Ying Li and Robert J. Woodham
Parallel and Distributed Finite Constraint Satisfaction: Complexity, Algorithms and Experiments
Ying Zhang and Alan K. Mackworth
The Support Function, Curvature Functions and 3-D Attitude Determination
Ying Li and Robert J. Woodham
A Mathematically Precise Two-Level Formal Hardware Verification Methodology*
Carl-Johan H. Seger and Jeffrey J. Joyce
A Ray Tracing Accelerator Based on a Hierarchy of 1D Sorted Lists
Alain Fournier and Pierre Poulin
Common Illumination between Real and Computer Generated Scenes
Alain Fournier, Atjeng S. Gunawan and Chris Romanzin
Harnessing Preattentive Processes for Multivariate Data Visualization
Christopher G. Healey, Kellogg S. Booth and James T. Enns
Investigating the Effectiveness of Direct Manipulation of 3D B-Spline Curves Using the Shape-Matching Paradigm
Stanley B. Jang, Kellogg S. Booth, David R. Forsey and Peter Graf