Technical Reports
1991
Revision in ACMS
A Multigrid Method for Shape from Shading
Stability of computational methods for constrained dynamics systems
Starshaped Sets, Distance Functions, and Star Hulls
FDT Tools For Protocol Development
Parallel and Distributed Algorithms for Constraint Networks
On the Role of Computable Error Estimates in the Analysis of Numerical Approximation Algorithms -- In Honor of Steve Smale on His Sixtieth Birthday
Parallel Algorithms for Routing in Non-blocking Networks
Projected Collocation for Higher-Order Higher-Index Differential-Algebraic Equations
A Two-Level Formal Verification Methodology using HOL and COSMOS
Existence and Explict Constructions of q+1 Regular Ramanujan Graphs for Every Prime Power q
Fault Tolerant Planar Communication Networks
Fast Hashing on a PRAM - Designing by Expectation
Fast Load Balancing on a PRAM
Formulations of an Extended NaDSet
A Simple Primal Algorithm for Intersecting 3-Polyhedra in Linear Time
On the CONSISTENCY and COMPLETENESS of an EXTENDED NaDSet
Photometric Stereo: Lambertian Reflectance and Light Sources with Unknown Direction and Strength
Backward Error Estimates for Toeplitz and Vandermonde Systems
Leaders Election Without a Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs
Model-Guided Grouping for 3-D Motion Tracking
The Tree Model for Hashing: Lower and Upper Bounds
Surface Reconstruction by Coupled Depth/Slope Model with Natural Boundary Conditions
Computational Architectures for Responsive Vision: the Vision Engine
The Logic of Constraint Satisfaction
Performance Prediction Modelling of Multicomputers
On Detecting Regularity of Functions: A Probabilistic Analysis
The EAN X.500 Directory Service
Implementing a Normative Theory of Communication in a Framework for Default Reasoning
Solving Domain Equations in NaDSet
Character Animation using Hierarchical B-Splines