Technical Reports

The ICICS/CS Reading Room

1994 UBC CS Technical Report Titles

Exploring Common Conceptions About Boys and Electronic Games
Joan Lawry, Rena Upitis, Maria Klawe, Kori Inken, Ann Anderson, Kori Inkpen, M. Ndunda, David Hsu, Stephen Leroux and Kamran Sedighian

TR-94-02 (Abstract not available on-line)
Generalized Ternary Simulation of Sequential Circuits
C. J. Seger Seger and J. A. Brzozowski

A Multigrid Solver for the Steady State Navier-Stokes Equations Using The Pressure-Poisson Formulation
David Sidilkover and Uri M. Ascher

Model-Based Object Recognition - A Survey of Recent Research
Arthur R. Pope

Cooperative Learning in the Classroom: The Importance of a Collaborative Environment for Computer-Based Education
Kori Inkpen, Kellogg S. Booth, Maria Klawe and Rena Upitis

Constant Time Parallel Indexing of Points in a Triangle
Simon Kahan and Pierre Kelsen

TR-94-07 (Abstract not available on-line)
A Novel Constraint-Based Data Fusion System for Limited-Angle Computed Tomography
Jeffrey E. Boyd

TR-94-08 (Abstract not available on-line)
A Computational Theory of Decision Networking
Nevin L. Zhang

Abduction to Plausible Causes: An Event-Based Model of Belief Update
Craig Boutilier

Probabilistic Conflicts in a Search Algorithm for Estimating Posterior Probabilities in Bayesian Networks
David Poole

Semantics, Consistency and Query Processing of Empirical Deductive Databases
Raymond T. Ng

TR-94-12 (Abstract not available on-line)
Topology Building and Random Polygon Generation
Chong Zhu

Efficient and Effective Clustering Methods for Spatial Data Mining
Raymond T. Ng and Jiawei Han

Topological Aspects of Regular Languages
Nicholas Pippenger

Computing Common Tangents Without a Separating Line
David Kirkpatrick and Jack Snoeyink

Transformations in High Level Synthesis: Axiomatic Specification and Efficient Mechanical Verification
P. Sreeranga Rajan

Link Strength in Bayesian Networks
Brent Boerlage

Prescriptions: A Language for Describing Software Configurations
Jim Thornton

Vision Servers and Their Clients
James J. Little

An Analysis of Buffer Sharing and Prefetching Techniques for Multimedia Systems
Raymond T. Ng and Jinhai Yang

Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation
Raymond T. Ng and Xiaomei Tian

How Fast Will The Flip Flop?
Mark R. Greenstreet and Peter Cahoon

TR-94-23 (Abstract not available on-line)
Informal, Semi-Formal, and Formal Approaches to the Specification of Software Requirements.
Helene Marie Wong

TR-94-24 (Abstract not available on-line)
Defeasible Preferences and Goal Derivations
Craig Boutilier

TR-94-25 (Abstract not available on-line)
RASP - Robotics and Animation Simulation Platform
Gene S. Lee

A Foundation for the Design and Analysis of Robotic Systems and Behaviors
Zhang Ying

TR-94-27 (Abstract not available on-line)
DECISION GRAPHS: Algorithms and Applications to Influence Diagram Evaluation and High-Level Path Planning Under Uncertainty
Runping Qi

Computing the largest inscribed isothetic rectangle
Helmut Alt, David Hsu and Jack Snoeyink

Conservative Approximations of Hybrid Systems
Andrew K. Martin and Carl-Johan Seger

TR-94-30 (Abstract not available on-line)
Weird-a-gons and Other Folded Objects: The Influence of Computer Animation, Paper Models and Cooperative Mediation on Spatial Understanding
Rena Upitis, Ricard Dearden, Kori Inkpen, Joan Lawry, Maria Klawe, Kelly Davidson, Stephen Leroux, David Hsu, Nic Thorne, Kamran Sedighian, Robert Scharein and Ann Anderson

TR-94-31 (Abstract not available on-line)
Exploiting Structure in Policy Construction
Craig Boutilier, Richard Dearden and M. Goldszmidt

Modeling Positional Uncertainty in Object Recognition
Arthur R. Pope and David G. Lowe

TR-94-33 (Abstract not available on-line)
Multiresolution Rough Terrain Motion Planning
Dinesh K. Pai and L. M. Reissell

Langwidere: A New Facial Animation System
David R. Forsey and Carol L.-Y. Wang

A Multilevel Approach to Surface Response in Dynamically Deformable Models
Larry Palazzi and David R. Forsey

Chebyshev Polynomials for Boxing and Intersections of Parametric Curves and
Alain Fournier and John Buchanan

A Kinematic Model for Collision Response
Jason Harrison and David Forsey

Making Shaders More Physically Plausible
Robert R. Lewis

Real-Time Multivariate Data Visualization Using Preattentive Processing
Christopher G. Healey, Kellogg S. Booth and James T. Enns

Three-Dimensional Analysis of Scoliosis Surgery Using Stereophotogrammetry
Stanley B. Jang, Kellogg S. Booth, Chris W. Reily, Bonita J. Sawatzky and Stephen J. Tredwell

If you have any questions or comments regarding this page please send mail to