Technical Reports
1990
A Theory of Multi-Scale, Curvature- and Torsion-Based Shape Representation for Space Curves
Logical Foundations for Category Theory
Optimal Algorithms for Probabilistic Solitude Detection On Anonymous Rings
Tight Lower Bounds for Probabilistic Solitude Verification on Anomynous Rings
Direct Evidence for Occlusion in Stereo and Motion
A Measure of Semantic Relatedness for Resolving Ambiguities in Natural Language Database Requests
Automatic Generation of Interactive Applications
Characterizing Diagnoses and Systems
Assumption Based Reasoning and Clause Management Systems
Parallel Algorithms for Routing in Non-Blocking Networks
Multiple Light Source Optical Flow
Selection Networks
On a Lower Bound for the Redundancy of Reliable Networks with Noisy Gates
Convergence Properties of Curvature and Torsion Scale Space Representations
Mathematical Foundation for Orientation Based Representations of Shape
An Analysis of Exact and Approximation Algorithms for Dempster Shafer Theory
Polygon Triangulation in 0(N log log N) Time with Simple Data Structures
The Blocking Probability of Spider-Web Networks
The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning
Projected Implicit Runge-Kutta Methods for Differential-Algebraic Equations
Automating the Generation of Interactive Applications
Logical Foundations for Programming Semantics
A Formalization of Category Theory in NaDSet
Errors and Perturbations in Vandermonde Systems
A Tight Lower Bound on the Size of Planar Permutation Networks
Superlinear Bounds for Matrix Searching Problems
Generic Specification of Digital Hardware
Parallel Techniques for Construction of Trees and Related Problems
Surface Curvature from Photometric Stereo
A Theory of Multi-Scale, Curvature and Torsion Based Shape Representation for Planar and Space Curves
The Approximation of Implicates and Explanations
Performance Monitoring in Multi-transputer Networks
On the Power of a Posteriori Error Estimation for Numerical Integration and Function Approximation
Embedding All Binary Trees in the Hypercube
More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware
From Formal Verification to Silicon Compilation
The UBC OSI Distributed Application Programming Environment User Manual
The Generation of Phrase-Structure Representation from Principles
Finding Extrema With Unary Predicates
Markov Random Fields in Visual Reconstruction: a Transputer-Based Multicomputer Implementation