The ICICS/CS Reading Room
1990 UBC CS Technical Report Titles
- TR-90-01
-
A Theory of Multi-Scale, Curvature- and Torsion-Based Shape Representation for Space Curve
Farzin Mokhtarian
- TR-90-02
-
Logical Foundations for Category Theory
Paul C. Gilmore and George K. Tsiknis
- TR-90-03
-
Optimal Algorithms for Probalistic Solitude Detection On Anomymous Rings
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick
- TR-90-04
-
Tight Lower Bounds for Probabilistic Solitude Verification on Anomynous Rings
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick
- TR-90-05
-
Direct Evidence of Occlusion in Stereo and in Motion
James Joseph Little and Walter E. Gillett
- TR-90-06
-
A Measure of Semantic Relatedness for Resolving Ambiguities in Natural Language Database Requests
Julia A. Johnson and Richard S. Rosenberg
- TR-90-07
-
Automatic Generation of Interactive Applications
Emanuel G. Noik
- TR-90-08
-
A Characterizing Diagonases and Systems
Johan de Kleer, Alan K. Mackworth and Raymond Reiter
- TR-90-09
-
Assumption Based Reasoning and Clause Management Systems
Alex Kean and George K. Tsiknis
- TR-90-10 (Abstract not available on-line)
-
Parallel Algorithms for Routing in Non-Blocking Networks
Lin and Nicholas Pippenger
- TR-90-11 (Abstract not available on-line)
-
Multiple Light Source Optical Flow
Robert J. Woodham
- TR-90-12
-
Selection Networks
Nicholas Pippenger
- TR-90-13
-
On a Lower Bound for the Redundancy of Reliable Networks with Noisy Gates
Nicholas Pippenger, George D. Stamoulis and John N. Tsitsiklis
- TR-90-14
-
Convergence Properties of Curvature and Torsion
Farzin Mokhtarian
- TR-90-15
-
Mathematical Foundation for Orientation Based Representations of Shape
Ying Li
- TR-90-16
-
An Analysis of Exact and Approximation Algorithms for Dempster Shafer Theory
Gregory M. Provan
- TR-90-17
-
Polygon Triangulation in $0(N \log \log N)$ Time with Simple Data Structures
David G. Kirkpatrick, Maria M. Klawe and Robert E. Tarjan
- TR-90-18
-
The Blocking Probability of Spider-Web Networks
Nicholas Pippenger
- TR-90-19
-
The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning
David Poole
- TR-90-20
-
Projected Implicit Runge-Kutta Methods for Differential-Algebraic Equations
Uri Ascher and Linda R. Petzold
- TR-90-21
-
Automating the Generation of Interactive Applications
Emanuel G. Noik
- TR-90-22
-
Logical Foundations for Programming Semantics
Paul C. Gilmore and George K. Tsiknis
- TR-90-23
-
A Formalization of Category Theory in NaDSet
Paul C. Gilmore and George K. Tsiknis
- TR-90-24
-
Errors and Perturbations in Vandermonde Systems
James M. Varah
- TR-90-25 (Abstract not available on-line)
-
A Tight Lower Bound on the Size of Planar Permutation Networks
Maria M. Klawe and Tom Leighton
- TR-90-26
-
Superlinear Bounds for Matrix Searching Problems
Maria M. Klawe
- TR-90-27
-
Generic Specification of Digital Hardware
Jeffrey J. Joyce
- TR-90-28
-
Parallel Techniques for Construction of Trees and Related Problems
Teresa Maria Przytycka
- TR-90-29
-
Surface Curvature from Photometric Stereo
R. J. Woodham
- TR-90-30
-
A Theory of Multi-Scale, Curvature and Torsion Based Shape Representation for Planar and Space Curves
Farzin Mokhtarian
- TR-90-31
-
The Approximation of Implicates and Explanations
Alex Kean
- TR-90-32
-
Performance Monitoring in Multi-transputer Networks
Jie Cheng Jiang
- TR-90-33
-
On the Power of a Posteriori Error Estimation for Numerical Integration and Function Approximation
Feng Gao
- TR-90-34
-
Embedding All Binary Trees in the Hypercube
Alan S. Wagner
- TR-90-35 (Abstract not available on-line)
-
More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware
Jeffrey J. Joyce
- TR-90-36
-
From Formal Verification to Silicon Compilation
Jeffrey J. Joyce, Liu, Rushby, Shankar, Suaya and von Henke
- TR-90-37 (Abstract not available on-line)
-
The UBC OSI Distributed Application Programming Environment
G. Neufeld, M. Goldberg and B. Brachman
- TR-90-38
-
The Generation of Phrase-Structure Representation from Principles
David C. LeBlanc
- TR-90-39
-
Finding Extrema With Unary Predicates
Feng Gao, Leonidas J. Guibas, David G. Kirkpatrick, William T. Laaser and James Saxe
- TR-90-40
-
Markov Random Fields in Visual Reconstruction
Ola Siksik
If you have any questions or comments regarding this page please send mail to
help.ubc.ca.