Technical Reports

The ICICS/CS Reading Room


1993 UBC CS Technical Report Titles

TR-93-01
Multi-evidential Correlation \& Visual Echo Analysis
B, Esf ari, iar and James J. Little

TR-93-02
Free Speech, Pornography, Sexual Harassment, and Electronic Networks
Richard Rosenberg

TR-93-03 (Abstract not available on-line)
Automatic Synthesis of Sequential Synchronizations
Zheng Zhu and Steven D. Johnson

TR-93-04
Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study
Yang Zhang and Alan K. Mackworth

TR-93-05
On Seeing Robots
Alan K. Mackworth

TR-93-06
A Computational Theory of Decision Networks
Nevin Lianwen Zhang, Runping Qi and David Poole

TR-93-07
On Finite Covering of Infinite Spaces for Protocol Test Selection
Masaaki Mori and Son T. Vuong

TR-93-08
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
Carl Johan H. Seger, R Bryant and al E.

TR-93-09
Decision Graph Search
Runping Qi and David Poole

TR-93-10
A New Method for Influence Diagram Evaluation
Runping Qi and David Poole

TR-93-11
A Framework for Interoperability Testing of Network Protocols
Jadranka Alilovic-Curgus and Son T. Vuong

TR-93-12
Orientation-Based Representations of Shape and Attitude Determination
Ying Li

TR-93-13
Symplectic Integration of Constrained Hamiltonian Systems by Runge-Kutta Methods
Sebastian Reich

TR-93-14
The use of conflicts in Searching Bayesian networks
David Poole

TR-93-15
Implicit-Explicit Methods for Time-Dependent PDE's
Uri M. Ascher, Steven J. Ruuth and Brian Wetton

TR-93-16
A Real-Time 3D Motion Tracking System
Johnny Wai Yee Kam

TR-93-17
Multiresolution Geometric Algorithms Using Wavelets I: Representation for Parametric Curves and Surfaces
L. M. Reissell

TR-93-18
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving
Jeffrey J. Joyce and Carl-Johan H. Seger

TR-93-19
Fault Coverage Evaluation of Protocol Test Sequences
Jinsong Zhu and Samuel T. Chanson

TR-93-20 (Abstract not available on-line)
Numerical Integration of the Generatized Euler Equations
Sebastian Reich

TR-93-21 (Abstract not available on-line)
Performance Measures for Robot Manipulators: A Unified Approach
Kees van den Doel and Dinesh Pai

TR-93-22 (Abstract not available on-line)
How Fast can ASN.1 Encoding Rules Go?
Mike Sample

TR-93-23 (Abstract not available on-line)
Abduction As Belief Revision
Craig Boutilier and Veronica Becher

TR-93-24
Sequential Regularization Methods for higher index DAES with constraint singularities: I Linear Index-2 Case
Uri Ascher and Ping Lin

TR-93-25 (Abstract not available on-line)
Testgen+: An Environment for Protocol Test Suite Generation Selection and Validation
Son T. Vuong and Sangho Leon

TR-93-26 (Abstract not available on-line)
Computational Methods for the Shape from Shading Problem
Paul M. Carter

TR-93-27
Unit Disk Graph Recognition is NP-Hard*
Heinz Breu and David Kirkpatrick

TR-93-28
Generating Random Monotone Polygrams
Jack Snoeyink and Chong Zhu

TR-93-29
A Compact Piecewise-Linear Voronoi Diagram for Convex sites in the Plane
Mike McAllister, D. Kirkpatrick and J. Snoeyink

TR-93-30
Tentative Prune- and- Search Fixed-Points with Applications to Geometric Computation
D. Kirkpatrick and J. Snoeyink

TR-93-31
Objects that cannot be taken apart with two hands
Jack Snoeyink and J. Stolfe

TR-93-32
Counting and Reporting Red/Blue Segment Intersections
Larry Palazzi

TR-93-33
Analysis of a Recurrence Arising from a construction for Non-Blocking Networks
Nicholas Pippenger

TR-93-34
Self-Routing Superconcentrators
Nicholas Pippenger

TR-93-35
A Model Checker for Statecharts
Nancy Day

TR-93-36
The Raven Kernel: a Microkernel for shared memory multiprocessors
Stuart Ritchie

TR-93-37 (Abstract not available on-line)
Ranking and Unranking of Trees Using Regular Reductions
Pierre Kelsen

TR-93-38 (Abstract not available on-line)
Detection and Estimation of Multiple Disparities by Multi-evidential correlation
B, Esf ari, iar and James J. Little

TR-93-39
Tridiagonalization Costs of the Bandwidth contraction and Rutistauser-Schwarz Algorithms
Ian Cavers

TR-93-40
Automatic Verification of Asynchronous Circuits
Trevor W. S. Lee, Mark R. Greenstreet and Carl-Johan H. Seger

TR-93-41
A Simple Theorem Prover Based on symbolic Trajectory Evaluation and OBDD's
Scott Hazelhurst and Carl-Johan H. Seger

TR-93-42
Juggling Networks
Nicholas Pippenger

TR-93-43
Similarity Metric Learning for a Variable-Kernel Classifier
David G. Lowe

TR-93-44
Discrete Conservative Approximation of Hybrid Systems
Carl-Johan H. Seger and Andrew Martin

TR-93-45
VOSS - A Formal Hardware Verification System User's Guide
Carl-Johan Seger

TR-93-47
We Have Never-Forgetful Flowers In Our Garden: Girls' Responses to Electronic Games
Kori Inkpen, Rena Upitis, Maria Klawe, Joan Lawry, Ann Anderson, Mutindi Ndunda, Kamran Sedighian, Steve Lerous and David Hsu

TR-93-49
Simulated Annealing for Profile and Fill Reduction of Sparse Matrices
Robert R. Lewis

TR-93-50
Volume Models for Volumetric Data
Vishwa Ranjan and Alain Fournier

TR-93-51
High-Speed Visual Estimation Using Preattentive Processing
Christopher G. Healey, Kellogg S. Booth and James T. Enns

TR-93-52
From the Look of Things
Alain Fournier

TR-93-53
A Model for Coordinating Interacting Agents
Paul Lalonde, Robert Walker, Jason Harrison and David Forsey


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