Technical Reports
1990
A Theory of Multi-Scale, Curvature- and Torsion-Based Shape Representation for Space Curves
Farzin Mokhtarian
Optimal Algorithms for Probabilistic Solitude Detection On Anonymous Rings
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick
Tight Lower Bounds for Probabilistic Solitude Verification on Anomynous Rings
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick
A Measure of Semantic Relatedness for Resolving Ambiguities in Natural Language Database Requests
Julia A. Johnson and Richard S. Rosenberg
On a Lower Bound for the Redundancy of Reliable Networks with Noisy Gates
Nicholas Pippenger, George D. Stamoulis and John N. Tsitsiklis
Convergence Properties of Curvature and Torsion Scale Space Representations
Farzin Mokhtarian
An Analysis of Exact and Approximation Algorithms for Dempster Shafer Theory
Gregory M. Provan
Polygon Triangulation in 0(N log log N) Time with Simple Data Structures
David G. Kirkpatrick, Maria M. Klawe and Robert E. Tarjan
The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning
David Poole
Projected Implicit Runge-Kutta Methods for Differential-Algebraic Equations
Uri Ascher and Linda R. Petzold
A Tight Lower Bound on the Size of Planar Permutation Networks
Maria M. Klawe and Tom Leighton
A Theory of Multi-Scale, Curvature and Torsion Based Shape Representation for Planar and Space Curves
Farzin Mokhtarian
On the Power of a Posteriori Error Estimation for Numerical Integration and Function Approximation
Feng Gao
More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware
Jeffrey J. Joyce
From Formal Verification to Silicon Compilation
J. Joyce, E. Liu, J. Rushby, N. Shankar, R. Suaya, F. von Henke
The UBC OSI Distributed Application Programming Environment User Manual
G. Neufeld, M. Goldberg and B. Brachman
Finding Extrema With Unary Predicates
Feng Gao, Leonidas J. Guibas, David G. Kirkpatrick, William T. Laaser and James Saxe
Markov Random Fields in Visual Reconstruction: a Transputer-Based Multicomputer Implementation
Ola Siksik