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