Technical Reports

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@cs.ubc.ca.