Technical Reports

The ICICS/CS Reading Room


1992 UBC CS Technical Report Titles

TR-92-01
Conditional Logics for Default Reasoning and Belief Revision
Craig Boutilier

TR-92-02
Probabilistic Horn abduction and Bayesian networks
David Poole

TR-92-03
Shallow Grates
Maria M. Klawe

TR-92-04
Two Algorithms for Decision Tree Search
Runping Qi and David Poole

TR-92-05
Approximating Polygons and Subdivisions with Minimum-Link Paths
Leonidas J. Guibas, John E. Hershberger, Joseph S. B. Mitchell and Jack Scott Snoeyink

TR-92-06
Cepstral Analysis of Optical Flow
B, Esf ari, iar and James J. Little

TR-92-07
Speeding Up the Douglas-Peucker Line-Simplification Algorithm
John Hershberger and Jack Snoeyink

TR-92-08
Symmetry in Self-Correcting Cellular Automata
Nicholas Pippenger

TR-92-09 (Abstract not available on-line)
An Elementary Approach to Some Analytic Asymptotics
Nicholas Pippenger

TR-92-10
Constraint Nets: A Semantic Model for Real-Time Embedded Systems
Ying Zhang and Alan K. Mackworth

TR-92-11
Robust Model-based Motion Tracking Through the Integration of Search and Estimation
David G. Lowe

TR-92-12
A Correct Optimized Algorithm for Incrementally Generating Prime Implicates
Alex Kean and George Tsiknis

TR-92-13
An Introduction to Formal Hardware Verification
Carl-Johan Seger

TR-92-14
Rearrangeable Circuit-Switching Networks
Nicholas Pippenger

TR-92-15
The Raven System
Donald Acton, Terry Coatta and Gerald Neufeld

TR-92-16 (Abstract not available on-line)
The Parallel Protocol Framework
Murray W. Goldberg, Gerald W. Neufeld and Mabo R. Ito

TR-92-17
Stabilization of DAEs and invariant manifolds
Uri M. Ascher, Hongsheng Qin and Sebastian Reich

TR-92-18
Collocation Software for Boundary Value Differential - Algebraic Equations
Uri M. Ascher and Raymond J. Spiteri

TR-92-19
The Numerical Solution of Delay-Differential-Algebraic Equations of Retarded and Neutral Type
Uri M. Ascher and Linda R. Petzold

TR-92-20
Probabilistic Horn abduction and Bayesian networks
David Poole

TR-92-23
Sequences of Revisions: On the Semantics of Nested Conditionals
Craig Boutilier

TR-92-24
Search for computing posterior probabilities in Bayesian networks
David Poole

TR-92-25
The Rapid Recovery of three-Dimensional Orientation from Line Drawings
R. A. Rensink

TR-92-26
The Complexity of Constraint Satisfaction Revisited
Alan K. Mackworth and Eugene C. Freuder

TR-92-27
Starshaped Sets, The Radial Function and 3-D Attitude Determination
Ying Li and Robert J. Woodham

TR-92-28
The Psychology of Visualization
Andrew Csinger

TR-92-29
A Proposed Framework for Characterization of Robotic Systems
Jane Mulligan

TR-92-30
Parallel and Distributed Finite Constraint Satisfaction: Complexity, Algorithms and Experiments
Ying Zhang and Alan K. Mackworth

TR-92-31
Will the Robot Do the Right Thing?
Ying Zhang and Alan K. Mackworth

TR-92-32
The Support Function, Curvature Functions and 3-D Attitude
Ying Li and Robert J. Woodham

TR-92-34
A Mathematically Precise Two-Level Formal Hardware Verification Methodology*
Carl-Johan H. Seger and Jeffrey J. Joyce

TR-92-33 (Abstract not available on-line)
Bringing Mathematical Research to Life in the Schools
Maria M. Klawe

TR-92-35
Solving the Classic Radiosity Equation Using Multigrid Techniques
Robert R. Lewis

TR-92-36
Multi-Resolution Surface Approximation for Animation
David Forsey and LiFeng Wang

TR-92-37
A Ray Tracing Accelerator Based on a Hierarchy of 1D Sorted Lists
Alain Fournier and Pierre Poulin

TR-92-38
Common Illumination between Real and Computer Generated Scenes
Alain Fournier, Atjeng S. Gunawan and Chris Romanzin

TR-92-39
Harnessing Preattentive Processes for Multivariate Data Visualization
Christopher G. Healey, Kellogg S. Booth and James T. Enns

TR-92-40
Investigating the Effectiveness of Direction Manipulation of 3D B-Spline Curves Using
Stanley Jang, Kellogg S. Booth, David R. Forsey and Peter Graf

TR-92-41
Filtering Normal Maps and Creating Multiple Surfaces
Alain Fournier

TR-92-48
Spline Overlay Surfaces
Richard H. Bartels and David R. Forsey


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.