Technical Reports

The ICICS/CS Reading Room


All UBC CS Technical Report Titles

TR-73-01 (Abstract not available on-line)
A Comparison of Some Numerical Methods for Two-point Boundary Value Problems
Jim M. Varah

TR-73-02 (Abstract not available on-line)
On the Efficiency of Clique Detection in Graphs
A. H. Dixon

TR-74-01 (Abstract not available on-line)
A Comparison of Global Methods for Linear Two-point Boundary Value Problems
R. D. Russel and Jim. M. Varah

TR-74-02 (Abstract not available on-line)
On the Condition of Piecewise Polynomial Finite Element Bases
Jim. M. Varah

TR-74-03 (Abstract not available on-line)
Alternate Row and Column Elimination for Certain Linear Systems
Jim. M. Varah

TR-75-01 (Abstract not available on-line)
Stiffly Stable Linear Multistep Methods of Extended Order
Jim. M. Varah

TR-75-02 (Abstract not available on-line)
Code Compaction for Minicomputers with INTCODE and MINICODE
J.E.L. Peck, V. S. Manis and W. E. Webb

TR-75-03 (Abstract not available on-line)
Consistency in Networks of Relations
Alan K. Mackworth

TR-75-04 (Abstract not available on-line)
How To See A Simple World
Alan K. Mackworth

TR-75-05 (Abstract not available on-line)
A Case Driven Parser For Natural Language
E.H. Taylor and R. S. Rosenberg

TR-77-01
On the Invariance of the Interpolation Points of the Discrete l1-approximation
Uri Ascher

TR-77-02
On Reading Sketch Maps
A. K. Mackworth

TR-77-03
Computers and the Mechanication of Judgement
A. Mowshowitz

TR-77-04
A New Notation for Derivations
J. L Baker

TR-77-05
Lexic Scanners
R. A. Fraley

TR-77-06
Unlanguage Grammars and Their Uses
R. A. Fraley

TR-77-07
Simulation in a Theory of Programmable Machines
J. L. Baker

TR-77-08
Coroutines in a Theory of Programmable Machines
J. L. Baker

TR-77-09
FUNL Semantics Work Towards UNCOL
R. A. Fraley

TR-77-10
A Simulation Study of Adaptive Scheduling Policies in Interactive Computer Systems
Samuel T. Chanson and C. Bishop

TR-77-11
Duals of Intuitionistic Tableaus
G. Criscuolo and R. Tortora

TR-77-12
Assaulting the Tower of Babel: Experiences with a Translator Writing System
Harvey Abramson, W. F. Appelbe and M. S. Johnson

TR-77-13 (Abstract not available on-line)
A Collocation Solver for Mixed Order Systems of BVP's
Uri Ascher, J. Christiansen and R. D. Russell

TR-77-14
Evaluation of B-splines for Solving Systems of Boundary Value Problems
Uri Ascher and R. D. Russell

TR-77-15 (Abstract not available on-line)
Deductive Question-Answering on Relational Databases
R. Reiter

TR-77-16
On Closed World Data Bases
R. Reiter

TR-77-18
Some Connections Between the Minimal Polynomial and the Automorphism
A. Mowshowitz, G. Criscuolo, R. Tortora, Chung Kwok and Mo

TR-77-19
Topics in Discourse Analysis
J. E. Davidson

TR-77-20
On the Separation of Two Matrices
Jim M. Varah

TR-78-01
Exploiting Spectral, Spatial and Semantic Constraints in the Segmentation of Landsat Images
Dale Starr and Alan K. Mackworth

TR-78-02
Forests and Pyramids: Using Image Hierarchies to Understand Landsat Images
Ezio Catanzariti and Alan K. Mackworth

TR-78-03
A Procedural Model of Recognition for Machine Perception
William S. Heavens

TR-78-04
An Approach to the Organization of Knowledge for the Modelling of Converstion
Gordon I. McCalla

TR-78-05
On the Efficent Implementation of Implicit Runge-Kutta Methods
James M. Varah

TR-78-06
The Design and Implementation of a Run-Time Analysis and Interactive Debugging Environment
Mark Scott Johnson

TR-78-07
Optimization of Memory Hierarchies in Multi-programmed Computer Systems with Fixed Cost Constraint
Samuel T. Chanson and Prem Swarup Sinha

TR-78-08
Solving Boundary Value Problems with a Spline-Collocation Code
Uri Ascher

TR-78-09
Stability Restrictions on Second Order, Three Level Finite Difference Schemes for Parabolic Equations
James M. Varah

TR-79-01
In Search of an Optimal Machine Architecture for BCPL
R. Agarwal and Samuel T. Chanson

TR-79-02
Anaphoria in natural Language Understanding: A Survey
Graeme Hirst

TR-79-03 (Abstract not available on-line)
Equality and Domain Closure in First Order Data Bases
Raymond Reiter

TR-79-04 (Abstract not available on-line)
Programming Skill Acquisition --- Progress Report
V. Manis

TR-79-05
Multi-process Structuring and the THOTH Operating System
David R. Cheriton

TR-79-06 (Abstract not available on-line)
Message-Passing, Spaces and Agents
David R. Cheriton

TR-79-07
Saturation Estimation in Interactive Computer Systems
Samuel T. Chanson

TR-79-08
A Logic for Default Reasoning
Raymond Reiter

TR-79-09 (Abstract not available on-line)
Designing an Operating System to be Verifiable
David R. Cheriton

TR-79-10
Process Identification in THOTH
David R. Cheriton

TR-79-11
Three BCPL Machines
Harvey Abramson

TR-79-12
The Pica-B Computer
Harvey Abramson, Mark Fox, J. Peck, V. Manis and M. Gorlick

TR-79-13 (Abstract not available on-line)
Approaching Discourse Computationally: A Review
Richard S. Rosenberg

TR-79-14
Representation Spatial Experience \& Solving Spatial Problems in a Simulated Robot Environment
Peter Forbes Rowat

TR-79-15 (Abstract not available on-line)
The Design of a Verifiable Operating System Kernel
T. Lockhart

TR-80-01
Stiff Stability Considerations for Implicit Runge-Kutta Methods
James M. Varah

TR-80-02
Reformulation of Boundary Value Problems in ``Standard'' Form
Uri Ascher and Robert D. Russell

TR-80-03
Automating Physical Reorganizational Requirements at the Access Path Level of a Relational Database System
Grant Edwin Weddell

TR-80-04
On the Covering Relaxation Approach for the 0-1 Positive Polynomial Programming Problem
Willem Vaessen

TR-80-05 (Abstract not available on-line)
Optimal Load Control in Combined Batch-Interactive Computer Systems
Samuel T. Chanson and Prem Swarup Sinha

TR-80-06
On the Integrity of Typed First Order Data Bases
Raymond Reiter

TR-80-07
Some Representational Issues in Default Reasoning
Raymond Reiter and Giovanni Criscuolo

TR-80-08
A Spline Least Squares Method for Numerical Estimation in Differential Equations
James M. Varah

TR-80-09
Why Is a Goto Like a Dynamic Vector in the BCPL-Slim Computing System
Harvey Abramson

TR-80-10
Automatic Rectification of Landsat Durages Using Features Derived from Digital Terrain Models
James Joseph Little

TR-81-01
Distributed I/O Using an Object-Based Protocol
David R. Cheriton

TR-81-02
Collocation for Singular Perturbation Problems I: First Order Systems with Constant Coefficients
Uri Ascher and R. Weiss

TR-81-03
On Pseudo-Similar Vertices in Trees
David G. Kirkpatrick, Maria M. Klawe and D. G. Corneil

TR-81-04
On Spline Basis Selection for Solving Differential Equations
Uri Ascher, S. Pruess and Robert D. Russell

TR-81-05
The Application of Optimal Stochastic Control Theory in Computer System Load Regulation
Samuel T. Chanson and Raymond Lo

TR-81-06
The Computer and the State
Richard S. Rosenberg

TR-81-07
On the Complexity of General Graph Factor Problems
David G. Kirkpatrick and P. Hell

TR-81-08
Solvable Cases of the Travelling Salesman Problem
Paul C. Gilmore

TR-81-09
Strategy-Independent Program Restructuring Based on Bounded Locality Intervals
Samuel T. Chanson and Bernard Law

TR-81-10
Pitfalls in the Numerical Solution of Linear Ill-Posed Problems
James M. Varah

TR-81-11
Optimal Macro-Scheduling
Samuel T. Chanson and Prem Swarup Sinha

TR-81-12
Upper Bounds for Sorting Integers on Random Access Machines
David G. Kirkpatrick and Stefan Reisch

TR-81-13
Optimal Search in Planar Subdivisions
David G. Kirkpatrick

TR-81-14
A Convex Hull Algorithm Optimal for Point Sets in Even Dimensions
Raimund Seidel

TR-81-15
On the Shape of a Set of Points in the Plane
H. Edelsbrunner, David G. Kirkpatrick and Raimund Seidel

TR-81-16
Optimization Techniques in Computer System Design \& Load Control
Prem Swarup Sinha

TR-82-01
Representing Techniques in Computer System Design \& Load Control
Robert Ernest Mercer and Raymond Reiter

TR-82-02
On Fitting Exponentials by Nonlinear Least Squares
James M. Varah

TR-82-03
The Complexity of Regular Expressions with Goto and Boolean Variables
Karl Abrahamson

TR-82-04
Collocation for Singular Perturbation Problems II
Uri Ascher and Weiss R.

TR-82-05
A Regression Model of a Swapping System
Samuel T. Chanson

TR-82-06
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems
Alan K. Mackworth and E. C. Freuder

TR-82-07
Unification Based Conditional Binding Constructs
Harvey Abramson

TR-82-08
Performance of Some Local Area Network Technologies
Samuel T. Chanson, A. Kumar and A. Nadkarni

TR-82-09
Collocation for Singular Perturbation Problems III: Nonlinear Problems without Turning Points
Uri Ascher and R. Weiss

TR-82-10 (Abstract not available on-line)
Standard Image Files
William S. Havens

TR-82-11
Multi Process Structuring of X.25 Software
Stephen Edward Deering

TR-82-12
Knowledge-Based Visual Interpretation Using Declarative Schemata
Roger A. Browse

TR-82-13
A Cooperative Scheme for Image Understanding Using Multiple Sources of Information
Jay Glicksman

TR-83-01
Formalizing Non-Monotonic Reasoning Systems
David W. Etherington

TR-83-02
Data Types as Term Algebras
Akira Kanda and Karl Abrahamson

TR-83-03
Numeration Models of $\lambda$-Calculus
Akira Kanda

TR-83-04
On the Complexity of Achieving K-Consistency
Raimund Seidel

TR-83-05
A Linear Algorithm for Determining the Separation of Convex Polyhedra
David P. Dobkin and David G. Kirkpatrick

TR-83-06 (Abstract not available on-line)
(g,f) - Factors \& Packings, When g P. Hell and David G. Kirkpatrick

TR-83-07
Marriage Before Conquest: A Variation on the Divide \& Conquer Paradigm
David G. Kirkpatrick and Raimund Seidel

TR-83-08
A Prological Definition of HASL, a Purely Functional Language with Unification Based Expressions
Harvey Abramson

TR-83-09 (Abstract not available on-line)
R-Maple: A Concurrent Programming Language Based on Predicate Logic, Part I: Syntax \& Computation
Paul J. Voda

TR-83-10
A Fast Data Compression Method
Samuel T. Chanson and Jee Fung Pang

TR-83-11
A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values
Raymond Reiter

TR-83-12
Acceptable Numerations of Function Spaces
Akira Kanda

TR-84-01
Scale-Based Descriptions of Planar Curves
Alan K. Mackworth and Farzin Mokhtarian

TR-84-02
On Gapping Grammars
Harvey Abramson and Veronica Dahl

TR-84-03
Definite Clause Translation Grammars
Harvey Abramson

TR-84-04
Classes of Numeration Models of $\lambda$-Calculus
Akira Kanda

TR-84-05
On The Adequacy of Predicate Circumscription For Closed-World Reasoning
David W. Etherington, Robert E. Mercer and Raymond Reiter

TR-84-06
A Unified Approach to the Geometric Rectification of remotely Sensed Imagery
Frank Hay Wong and Chee

TR-84-07
Numeration models of $\lambda$B-Calculus
Akira Kanda

TR-84-08
RF-Maple: A Logic Programming Language with Functions, Types \& Concurrency
Paul J. Voda and Benjamin Yu

TR-84-09
A View of Programming Languages as Symbiosis of Meaning \& Control
Paul J. Voda

TR-84-10
Photometric Method for Determining Shape from Shading
R. J. Woodham

TR-84-11
Definite Clause Translation Grammars \& the Logical Specification of Data Types as Unambiguous Context Free Grammars
Harvey Abramson

TR-84-12
A Generalization of the Frank Matrix
James M. Varah

TR-84-13
Stability of Collocation at Gaussian Points
Uri Ascher and G. Bader

TR-84-14
Photometric Method for Radiometric Dorrection of Multispectral Scanner Data
R. J. Woodham and T. K. Lee

TR-84-15
Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes
Farzin Mokhtarian and Alan K. Mackworth

TR-84-16
A Theory of Schema Labelling
William S. Havens

TR-84-17
Collocation for Two-Point Boundary Value Problems Revisited
Uri Ascher

TR-84-18
The Design of a Distributed Interpreter for Concurrent Prolog
Chun Man Tam

TR-84-19
Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes
Paul C. Gilmore

TR-84-20
An Alternative Characterization of Precomplete Numerations
Akira Kanda

TR-84-21
The File System of a Logic Operating System
Anthony J. Kusalik

TR-84-22
Recursion Theorems and Effective Domains
Akira Kanda

TR-84-23
Nystroms Method vs. Founier Tupe Methods for the Numerical Solution of Integral Equations
Mandred R. Trummer

TR-84-24
An Efficient Implementation of a Conformal Mapping Method Using the Szego Kernel
Manfred R. Trummer

TR-84-25
Theory of Pairs, Part I: Provably Recursive Functions
Paul J. Voda

TR-85-01
Recognizing VLSI Circuits from Mask Artwork
Amir Alon and William S. Havens

TR-85-02
Recovering Shape \& Determining Attitude from Extended Gaussian Images
James Joseph Little

TR-85-03
A Fast Divide \& Conquer Protocol for Contention Resolution on Broadcast Channels
Karl Abrahamson

TR-85-04
LNTP --- An Efficient Transport Protocol for Local Area Networks
Samuel T. Chanson, K. Ravindran and Stella Atkins

TR-85-05
On Process Aliases in Distributed Kernel Design
K. Ravindran and Samuel T. Chanson

TR-85-06
Performance Evaluation of the ARPANET Transmission Control Protocol in a Local Area Network Environment
Samuel T. Chanson, K. Ravindran and Stella Atkins

TR-85-07
State Inconsistency Issues in Local Area Network-Based Distributed Kernels
Samuel T. Chanson and K. Ravindran

TR-85-07A
Hierarchical Arc Consistency: Exploiting Structured Domains in Constraint Satisfaction Problems
Alan K. Mackworth, Jan A. Mulder and William S. Havens

TR-85-08 (Abstract not available on-line)
Computation of Full Logic Programs Using One-Variable Environments
Paul J. Voda

TR-85-09
A Generic and Portable Image Processing Environment for Computer Vision
William S. Havens

TR-85-10
Specification \& Initialization of a Logic Computer System
Anthony J. Kusalik

TR-85-11
A New Basis Implementation for a Mixed Order Boundary Value ODE Solver
Uri Ascher and G. Bader

TR-85-12 (Abstract not available on-line)
A Functional Programming Language with Context Free Grammars as Data Types
Violet R. Syrotiuk

TR-85-13
``Coaxial Stereo \& Scale Based Matching''
Itzhak Katz

TR-85-14
Using Discrimination Graphs to Represent Visual Knowledge
Jan A. Mulder

TR-85-15 (Abstract not available on-line)
Constraint Satisfaction
Alan K. Mackworth

TR-85-16
Remote Interprocess Communication \& Its Performance in Team Shoshin
Don Acton

TR-85-17
Typed Recursion Theorems --- out of print
Akira Kanda

TR-86-01
Retracts of Numerations --- out of print
Akira Kanda

TR-86-02 (Abstract not available on-line)
Choices in, \& Limitations of, Logic Programming
Paul J. Voda

TR-86-03
The Bit Complexity of Randomized Leader Election on a Ring
Karl Abrahamson, Andrew Adler, Rachel Gelbart, Lisa Higham and David G. Kirkpatrick

TR-86-04
A Distributed Kernel for Reliable Group Communication
Samuel T. Chanson and K. Ravindran

TR-86-05
Host Identification in Reliable Distributed Kernels
Samuel T. Chanson and K. Ravindran

TR-86-06
Semi-Automatic Implementation of Network Protocols
Daniel A. Ford

TR-86-07
Implementation of Microcomputers in Elementary Schools: A Survey and Evaluation --- don't reprint
Christine Chan

TR-86-08
Implementation of Team Shoshin: An Exercise in Porting and Multiprocess Structuring of the Kernel
Huay Wang and Yong

TR-86-09
Precomplete Negation \& Universal Quantification
Paul J. Voda

TR-86-11
Model \& Solution Strategy for Placement of Rectangular Blocks in the Euclidean Plane
Amir Alon and Uri Ascher

TR-86-12 (Abstract not available on-line)
Shape Analysis
Robert J. Woodham

TR-86-13 (Abstract not available on-line)
Structuring Reliable Interactions in Distributed Server Architectures
K. Ravindran and Samuel T. Chanson

TR-86-14 (Abstract not available on-line)
Reasoning with Incomplete Information Investigations of Non-Monotonic Reasoning
David W. Etherington

TR-86-15 (Abstract not available on-line)
Productive Sets and Constructively Nonpartial-Recursive Functions
Akira Kanda

TR-86-16
On the Visual Discrimination of Self-Similar Random Textures
R. Rensink

TR-86-17
Additional Requirements for Matrix \& Transposed Matrix Products
M. Kaminski, David G. Kirkpatrick and N. H. Bshouty

TR-86-18
Conditioning of the Steady State Semiconductor Service Problem
Uri Ascher, P. A. Markowich, C. Schmeiser, H. Steinruck and R. Weiss

TR-86-19
On Collocation Implementation for Singularly Perturbed Two-Point Problems
Uri Ascher and Simon Jacobs

TR-86-20
A Semi-Automatic Approach to Protocol Implementation --- The ISO Class 2 Transport Protocol as an Example
Allen C. Lau

TR-86-21 (Abstract not available on-line)
Handling Call Idempotency Issues in Replicated Distributed Programs
K. Ravindran and Samuel T. Chanson

TR-86-22 (Abstract not available on-line)
Factors and Flows
P. Hell and David G. Kirkpatrick

TR-86-23
An Environment Theory with Precomplete Negation over Pairs
James H. Andrews

TR-86-24
Compiling Functional Programming Constructs to a Logic Engine
Harvey Abramson and Peter Ludemann

TR-86-25
Efficiently Implementing Pure Prolog or: Not ``YAWAM''
Peter Ludemann

TR-86-26
Probabilistic Solitude Detection on Rings of Known Size
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick

TR-87-01
Analytic Method for Radiometric Correction of Satellite Multispectral Scanner Data
R. J. Woodham and M. H. Gray

TR-87-02
A Schema \& Constraint-Based Representation to Understanding Natural Language
Eliza Wing Kuttner and Mun

TR-87-03
Failure Transparency in Remote Procedure Calls
K. Ravindran and Samuel T. Chanson

TR-87-03A
Application-Driven Failure Semantics of Interprocess Communication in Distributed Programs
K. Ravindran, Samuel T. Chanson and Ramakrishnam

TR-87-04 (Abstract not available on-line)
Adequacy Criteria for Visual Knowledge Representation
Alan K. Mackworth

TR-87-05 (Abstract not available on-line)
Stable Representation of Shape
R. J. Woodham

TR-87-06
Semi-Automatic Implementation of Protocols Using an Estelle-C Compiler
Son T. Vuong, Allen Chakming Lau, Robin Isaac Man Chan and Hang

TR-87-07
The Set Conceptual Model and the Domain Graph Method of Table Design
Paul C. Gilmore

TR-87-08
Probabilistic Solitude Detection I: Ring Size Known Approximately
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick

TR-87-09
Justification and Applications of the Set Conceptual Model
Paul C. Gilmore

TR-87-10 (Abstract not available on-line)
A Foundation for the Entity Relationship Model: Why \& How
Paul C. Gilmore

TR-87-11
Probabilistic Solitude Detection II: Ring Size Known Exactly
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick

TR-87-12
Establishing Order in Planar Subdivisions
David G. Kirkpatrick

TR-87-13
Parallel Construction of Subdivision Hierarchies
Norm Dadoun and David G. Kirkpatrick

TR-87-14
A Simple Optimal Parallel List Ranking Algorithm
Karl Abrahamson, Norm Dadoun, David G. Kirkpatrick and Teresa Maria Przytycka

TR-87-15
A Parallel Algorithm for Finding Maximal Independent Sets in Planar Graphs
Norm Dadoun and David G. Kirkpatrick

TR-87-19
Time-Space Tradeoffs for Branching Programs Contrasted With Those for Straight-Line Programs
Karl Abrahamson

TR-87-20
Randomized Function Evaluation on a Ring
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick

TR-87-21
Knowledge Structuring \& Constraint Satisfaction: the Mapsee Approach
Jan A. Mulder, Alan K. Mackworth and William S. Havens

TR-87-24
The Logic of Depiction
Raymond Reiter and Alan K. Mackworth

TR-87-25
On the Modality of Convex Polygons
Karl Abrahamson

TR-87-26
Formalizing Attribution by Default
Paul C. Gilmore

TR-87-27
On Numerical Differential Algebraic Problems with Application to Semiconductor Device Simulation
Uri Ascher

TR-87-28
General Framework, Stability and Error Analysis for Numerical Stiff Boundary Value Methods
Uri Ascher and R. M. Mattheij

TR-87-29 (Abstract not available on-line)
Update on Computational Vision: Shape Representation, Object Recognition \& Constraint Satisfaction --- replaced, see 89-12
Alan K. Mackworth

TR-87-30
A Parallel Tree Contraction Algorithm
Karl Abrahamson, Norm Dadoun, David G. Kirkpatrick and Teresa Maria Przytycka

TR-87-31
Concepts \& Methods for Database Design
Paul C. Gilmore

TR-87-32
Generalized LL(K) grammars for Concurrent Logic Programming Languages
Harvey Abramson

TR-87-33 (Abstract not available on-line)
Towards an Expert System for Compiler Development
Harvey Abramson

TR-87-34
The Design \& Control of Visual Routines for the Computation of Simple Geometric Properties \& Relations
Marc H. J. Romanycia

TR-87-35 (Abstract not available on-line)
A Default Logic Approach to the Derivation of Natural Language Presuppositions
Robert E. Mercer

TR-87-36
An Estelle-C Compiler for Automatic Protocol Implementation
Robin Isaac Man Chan and Hang

TR-87-37
The Renormalized Curvature Scale Space and the Evolution Properties of Planar Curves
Alan K. Mackworth and Farzin Mokhtarian

TR-87-38
Multi-Scale Description of Space Curves and Three-Dimensional Objects
Farzin Mokhtarian

TR-87-39 (Abstract not available on-line)
Advanced Topics in Automated Deduction
Wolfgang Bibel

TR-87-40
Constraint Satisfaction from a Deductive Viewpoint
Wolfgang Bibel

TR-88-01
Parallel Recognition of Complement Reducible Graphs and Cotree Construction
David G. Kirkpatrick and Teresa Maria Przytycka

TR-88-02
On Lower Bound for Short Noncontractible Cycles in Embedded Graphs
Teresa Maria Przytycka and J. H. Przytycki

TR-88-03
Protocol Specification and Verification using the Significant Event Temporal Logic
George K. Tsiknis and Son T. Vuong

TR-88-04
The Inconsistency of Belief Revision System
George K. Tsiknis

TR-88-05
The Connection Method for Non-Monotonic \& Autoepistemic Logic
George K. Tsiknis

TR-88-06
On the Comparative Complexity of Resolution and the Connection Method
Wolfgang Bibel

TR-88-07
The Technological Change of Reality Opportunities and Dangers
Wolfgang Bibel

TR-88-08
Evolution Properties of Space Curves
Farzin Mokhtarian

TR-88-09
Fingerprint Theorems for Curvature and Torsion Zero-Crossings
Farzin Mokhtarian

TR-88-10
Solving Diagnostic Problems using Extended Truth Maintenance Systems
Gregory M. Provan

TR-88-11
The Computational Complexity of Truth Maintenance Systems
Gregory M. Provan

TR-88-12
On Symmetric Schemes and Differential-Algebraic Equations.
Uri Ascher

TR-88-13
Using Multigrid for Semiconductor Device Simulation in 1-D
Uri Ascher and Stephen E. Adams

TR-88-14
Spatial and Spectral Description of Stationary Gaussian Fractals
R. Rensink

TR-88-15
Probabilistic Evaluation of Common Functions On Rings of Known Size
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick

TR-88-16
An Incremental Method for Generating Prime Implicants/Implicates
Alex Kean and George K. Tsiknis

TR-88-17
A Logical Framework for Depiction and Image Interpretation
Raymond Reiter and Alan K. Mackworth

TR-88-18
A Principle-Based System for Natural Language Analysis and Translation
Matthew Walter Crocker

TR-88-19 (Abstract not available on-line)
Valira/Valisyn-Protocol Validator/Synthesizer User's Manual (Version 1.2)
Son T. Vuong and T. Lau

TR-88-20
The Impact of Artificial Intelligence on Society
Richard S. Rosenberg

TR-88-21
Clause Management System
George K. Tsiknis and Alex Kean

TR-88-22
Invariants of Chromatic Graphs
Teresa Maria Przytycka and J. H. Przytycki

TR-88-23
Resampled Curvature and Torsion Scale Space Representation of Planar and Space Curves
Farzin Mokhtarian

TR-88-24
Design and Implementation of a Ferry-based Protocol Test System
Samuel T. Chanson, B. P. Lee and N. J. Parakh

TR-89-01
Organization of Smooth Image Curves at Multiple Scales
David G. Lowe

TR-89-02
Using Deficiency Measure For Tiebreaking the Minimum Degree Algorithm
Ian A. Cavers

TR-89-03
A New Approach To Test Sequence Derivation Based on External Behavior Expression (EBE)
Jianping Wu and Samuel T. Chanson

TR-89-04
Explanation and Prediction: An Architecture for Default and Abductive Reasoning
David Poole

TR-89-05
Randomized Distributed Computing on Rings
Lisa Higham

TR-89-06 (Abstract not available on-line)
A Completeness Theorem for NaD Set
Paul C. Gilmore

TR-89-07
How Many Real Numbers Are There?
Paul C. Gilmore

TR-89-08
A Logic-Based Analysis of Dempster Shafer Theory
Gregory M. Provan

TR-89-10
Cooperative Systems for Perceptual Tasks in a Remote Sensing Environment
Alan K. Mackworth

TR-89-11
Tool Box-Based Routines for Macintosh Timing and Display
R. Rensink

TR-89-12 (Abstract not available on-line)
Computer-Vision Update
R. M. Haralick, Alan K. Mackworth and S. L. Tanimoto

TR-89-13
A Model-Based Vision System for Manipulator Position Sensing
I. Jane Mulligan, Alan K. Mackworth and Lawrence

TR-89-14
A Theory of Multi-Scale Curvature-Based Shape Representation for Planar Curves
Farzin Mokhtarian and Alan K. Mackworth

TR-89-15
The Asymptotic Optimality of Spider-Web Networks
Nicholas Pippenger

TR-89-16
A Simple Linear Time Algorithm for Concave One-Dimensional Dynamic Programming
Maria M. Klawe

TR-89-17
Exactly Solvable Telephone Switching Problems
Nicholas Pippenger

TR-89-18
The Expected Capacity of Concentrators
Nicholas Pippenger

TR-89-19
On Parallel Methods for Boundary Value Odes
Uri Ascher and S. Y. Pat Chan

TR-89-20
A Methodology for Using a Default and Abductive Reasoning System
David Poole

TR-89-21
Optimal Parallel Algorithms for Convex Polygon Separation
Norm Dadoun and David G. Kirkpatrick

TR-89-22
A New Proof of the NP Completeness of Visual Match
R. Rensink

TR-89-23
A Data Management Strategy for Transportable Natural Language Interfaces
J. Johnson

TR-89-24
Bar-Representable Visibility Graphs and a Related Network Flow Problem
Stephen Kenneth Wismath

TR-89-25
Efficient Construction of Binary Trees with Almost Optimal Weighted Path Length
David G. Kirkpatrick and Teresa Maria Przytycka

TR-89-26
Fitting Parameterized 3-D Models to Images
David G. Lowe

TR-89-27
Towards Structured Parallel Computing --- Part 1 --- A Theory of Algorithm Design and Analysis for Distributed-Memory Architectures
Feng Gao

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

TR-91-01
Revision in ACMS
Alex Kean

TR-91-02
A Multigrid Method for Shape from Shading
Uri M. Ascher and Paul M. Carter

TR-91-03
Stability of computational methods for constrained dynamics systems
Uri M. Aschre and Linda R. Petzold

TR-91-04
Starshaded Sets, Their Distance Functions and Star Hulls
Ying Li

TR-91-05
FDT Tools For Protocol Development
A. A. F. Loureiro, Samuel T. Chanson and Song T. Vuong

TR-91-06
Parallel and Distributed Algorithms for Constraint Networks"
Ying Zhang and Alan K. Mackworth

TR-91-15
Formulations of an Extended NaDSet
Paul C. Gilmore and George K. Tsiknis

TR-91-16
A Simple Primal Algorithm for Intersecting 3-Polyhedra in Linear Time
Andrew K. Martin

TR-91-17
On the CONSISTENCY and COMPLETENESS of an EXTENDED NaDSet
Paul C. Gilmore

TR-91-18
Photometric Stereo: Lambertian Reflectance and Light Sources with Unknown Direction and Strength
R. J. Woodham, Y. Iwahori and Rob A. Barman

TR-91-20
Backward Error Estimates for Toeplitz and Vandermonde Systems
Jim M. Varah

TR-91-21
Leaders Election Without a Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs
Joseph Gil and Yossi Matias

TR-91-22
Model-Guided Grouping for 3-D Motion Tracking
Xun Li and David G. Lowe

TR-91-23
The Tree Model for Hashing: Lower and Upper Bounds
Joseph Gil, Friedhelm auf Der Heide Meyer and Avi Wigderson

TR-91-24
Surface Reconstruction by Coupled Dept/Slope Model with Natural Boundary
Ying Li

TR-91-25
Computational Architectures for Responsive Vision: the Vision Engine
James J. Little, Rod Barman, Stewart Kingdon and Jiping Lu

TR-91-26
The Logic of Constraint Satisfaction
Alan K. Mackworth

TR-91-27
Performance Prediction Modelling of Multicomputers
H. V. Sreekantaswamy, Samuel T. Chanson and Alan Wagner

TR-91-28
On Detecting Regularity of Functions: A Probabilistic Analysis
F. Gao and G.W. Wasilkowski

TR-91-29
The EAN X.500 Directory Service
Barry Brachman, Murray Goldberg Gerald Neufeld and Duncan Stickings

TR-91-30
Implementing a Normative Theory of Communication in a Framework for Default Reasoning
Andrew Csinger

TR-91-31
Solving Domain Equations in NaDSet
Paul C. Gilmore and George K. Tsiknis

TR-91-32
Character Animation using Hierarchical B-Splines
David R. Forsey

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

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

TR-94-01
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

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

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

TR-94-05
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

TR-94-06
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

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

TR-94-10
Probabilistic Conflicts in a Search Algorithm for Estimating Posterior Probabilities in Bayesian Networks
David Poole

TR-94-11
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

TR-94-13
Efficient and Effective Clustering Methods for Spatial Data Mining
Raymond T. Ng and Jiawei Han

TR-94-14
Topological Aspects of Regular Languages
Nicholas Pippenger

TR-94-15
Computing Common Tangents Without a Separating Line
David Kirkpatrick and Jack Snoeyink

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

TR-94-17
Link Strength in Bayesian Networks
Brent Boerlage

TR-94-18
Prescriptions: A Language for Describing Software Configurations
Jim Thornton

TR-94-19
Vision Servers and Their Clients
James J. Little

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

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

TR-94-22
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

TR-94-26
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

TR-94-28
Computing the largest inscribed isothetic rectangle
Helmut Alt, David Hsu and Jack Snoeyink

TR-94-29
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

TR-94-32
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

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

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

TR-94-36
Chebyshev Polynomials for Boxing and Intersections of Parametric Curves and
Alain Fournier and John Buchanan

TR-94-37
A Kinematic Model for Collision Response
Jason Harrison and David Forsey

TR-94-38
Making Shaders More Physically Plausible
Robert R. Lewis

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

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

TR-95-01
Buffer Sharing Schemes for Continuous-Media Systems
Dwight J. Makaroff and Raymond T. Ng

TR-95-02
Geometric and Computational Aspects of Manufacturing Processes
Prosenjit K. Bose

TR-95-03
No Quadrangulation is Extremely Odd
Prosenjit Bose and Godfried Toussaint

TR-95-04
Performance Measures for Constrained Systems
Kees van den Doel and Dinesh K. Pai

TR-95-05
Rigidity Checking of 3D Point Correspondences Under Perspective Projection
Daniel P. McReynolds and David G. Lowe

TR-95-06
The UBC Distributed Continuous Media File System: Internal Design of Server
Dwight J., Hutchinson, Norman C. Makaroff and Gerald W. Neufeld

TR-95-07
Real Time Threads Interface
David Finkelstein, Norman C. Hutchinson and Dwight J. Makaroff

TR-95-09
Reflectance and Shape from a Rotating Object
Jiping Lu and Jim Little

TR-95-11
Numerical Simulations of Semiconductor Devices by Streamline-Diffusion Methods
Xunlei Jiang

TR-95-12
Forward Dynamics, Elimination Methods, and Formulation Stiffness in Robot Simulation
Dinesh Pai Uri Ascher and Benoit Cloutier

TR-95-13
A Simple Proof Checker for Real-Time Systems
Catherine Leung

TR-95-14
Sequential Regularization Methods for Nonlinear Higher Index DAE's
Uri M. Ascher and Ping Lin

TR-95-15
The Creation, Presentation and Implications of Selected Auditory Illusions
Scott Flinn and Kellogg S. Booth

TR-95-16
Coordinating Heterogeneous Time-Based Media Between Independent Applications
Scott Flinn

TR-95-17
XTP Application Programming Interface
Rol Mechler, and Gerald W. Neufeld

TR-95-18
Model Checking Partially Ordered State Spaces
Scott Hazelhurst and Carl J. H. Seger

TR-95-19
A Shared 4-D Workspace
Mir Ko, a and Peter Cahoon

TR-95-20
On the Maximum Tolerable Noise for Reliable Computation by Formulas
William Evans and Nicholas Pippenger

TR-95-21
Verification of Benchmarks 17 and 22 of the IFIP WG10.5 Benchmark Circuit Suite
Scott Hazelhurst and Carl J. H. Seger

TR-95-22
Optimal Algorithms to Embed Trees in a Point Set
Prosenjit Bose, Michael McAllister and Jack Snoeyink

TR-95-23
Pure versus Impure Lisp
Nicholas Pippernger

TR-95-24
Three-Dimensional Analysis of Scoliosis Surgery Using Stereo Photogrammetry
Kellogg S. Booth, Stanley B. Jang, Chris W. Reily and Bonita J. Sawatzky

TR-95-25
Separating Reflection Functions for Linear Radiosity
Alain Fournier

TR-95-26
From Local to Global Illumination and Back
Alain Fournier

TR-95-27
Vide Hoc: A Visualization for Homogenous Coordination
Robert R. Lewis

TR-95-28
Light-Driven Global Illumination with a Wavelet Representation of Light Transport
Robert R. Lewis and Alain Fournier

TR-95-29
Union of Spheres Model for Volumetric Data
Vishwa Ranjan and Alain Fournier

TR-95-30
Shape Transformations Using Union of Spheres
Vishwa Ranjan and Alain Fournier

TR-95-31
Multiresolution Surface Approximation
David R. Forsey and David Wong

TR-95-32
Pasting Spline Surfaces
C. Banghiel, Richard H. Bartels and David R. Forsey

TR-95-33
Surface Fitting with Hierarchical Splines
David R. Forsey and Richard H. Bartels

TR-95-34
Regularization Methods for Differential Equations and Their Numerical Solution
Ping Lin

TR-95-35
Illumination Problems in Computer Augmented Reality
Alain Fournier

TR-96-01
Diamonds are not a Minimum Weight Triangulation's Best Friend
Prosenjit Bose, Luc Devroye and William Evans

TR-96-02
Compositional Model Checking of Partially Ordered State Spaces
Scott Hazelhurst

TR-96-03
The Sounds of Physical Shapes
Kees van den Doel and Dinesh K. Pai

TR-96-04
Heterogeneous Process Migration: The Tui System
Peter Smith and Norman C. Hutchinson

TR-96-05
Simplifying Terrain Models and Measuring Terrain Model Accuracy
David Scott Andrews

TR-96-06
Importance Ordering for Real-Time Depth of Field
Paul Fearing

TR-96-07
Wavelet Radiative Transfer and Surface Interaction
Robert R. Lewis

TR-96-09
A Perceptual Colour Segmentation Algorithm
Christopher G. Healey and James T. Enns

TR-96-10
Choosing Effective Colours for Data Visualization
Christopher G. Healey

TR-96-11
Experimental Design: Input Device Protocols and Collaborative Learning
Joanna McGrenere, Kori Inkpen, Kellogg Booth and Maria Klawe

TR-96-12
Design: Educational Multi-Player Games A Literature Review
Joanna McGrenere

TR-96-13
Shared 3D Workspaces
Joanne McGrenere and Kellogg S. Booth

TR-96-15
Algorithmic Aspects of Constrained Unit Disk Graphs
Heinz Breu

TR-96-16
Civil Law and the Development of Software Engineering
Martina Shapiro

TR-96-19
Lower Bounds for Noisy Boolean Decision Trees
William Evans and Nicholas Pippernger

TR-96-18
Temporally coherent stereos improving performance through knowledge of motion
Vladimir Tucakov and David G. Lowe

TR-96-20
Drag-and-Drop vs. Point-and-Click Mouse Interaction for Children
Kori Inkpen, Kellogg S. Booth and Maria Klawe

TR-97-01
Soundness and Cut-Elimination in NaDSyL
Paul C. Gilmore

TR-97-02
On Digital Money and Card Technologies
Edwin M. Knorr

TR-97-03
Video and Audio Streams Over an IP/ATM Wide Area Network
Mark McCutcheon, Mabo R. Ito and Gerald W. Neufeld

TR-97-04
Random Interval Graphs
Nicholas Pippenger

TR-97-05
Surface Reflectance and Shape from Images Using Collinear Light Source
Jiping Lu and Jim Little

TR-97-06
An Object-Oriented Graphics Kernel
Gene Lee

TR-97-10
Surface and Shading Models from Real Images fro Computer Graphics
Jiping Lu and Jim Little

TR-97-11
A Fast Heuristic For Finding The Minimum Weight Triangulation
Ronald Beirouti

TR-97-12
Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specification and Analysis Results
Nancy A. Day, Jeffrey J. Joyce and Gerry Pelletier

TR-97-13
Average-Case Bounds on the Complexity of Path-Search
Nicholas Pippenger

TR-97-14
Conceptual Module Querying for Software Reengineering
Elisa Baniassad and Gail C. Murphy

TR-97-15
Extending and Managing Software Reflexion Models
Gail C. Murphy, David Notkin and Kevin Sullivan

TR-97-16
The Measured Access Characteristics of World-Wide-Web Client Proxy Caches
Bradley M. Duska, David Marwood and Michael J. Feeley

TR-97-17 (Abstract not available on-line)
A Logic For Default Reasoning
Raymond Reiter

TR-97-19
Supporting Learners in a Remote Computer-Supported Collaborative Learning Environment: The Importance of Task and Communication
David Graves

TR-97-21
A Network-Enhanced Volume Renderer
Jeff LaPorte

TR-98-01
Singularity-Robust Trajectory Generation for Robotic Manipulators
John E. Lloyd

TR-98-02
Entropy and Enumeration
Nicholas Pippenger

TR-98-03
Assessing Aspect-Oriented Programming and Design: Preliminary Results
Robert J. Walker, Elisa L. A. Baniassad and Gail C. Murphy

TR-98-04
Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
M.R. Donat

TR-98-05
Automatically Generated Test Frames from a Q Specification of ICAO Flight Plan Form Instructions
M.R. Donat

TR-98-06
Ensuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System
Ken Wong, Jeff Joyce, Jim Ronback and

TR-98-07
The Computational Complexity of Knot and Link Problems
Joel Hass, Jeffrey C. Lagarias and Nicholas Pippenger

TR-98-08
Galois Theory for Minors of Finite Functions
Nicholas Pippenger

TR-98-09
Extending Applications to the Network
David Marwood and David Marwood

TR-98-10
Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-oriented Programming
Gail C. Murphy, Robert J. Walker and Elisa L.A. Baniassad

TR-98-11
Trajectory Generation Implemented as a Non-linear Filter
John E. Lloyd

TR-98-12
An Initial Assessment of Aspect-Oriented Programming
Robert J. Walker, Elisa L. A. Baniassad and Gail C. Murphy

TR-98-13
Using MMX Technology in Digital Image Processing
Vladimir Kravtchenko

TR-98-14
Verifying a Self-Timed Divider
Tarik Ono-Tesfaye, Christoph Kern and Mark Greenstreet

TR-98-15
Trajectory Generation Implemented as a Non-linear
John E. Lloyd

TR-99-01
A Light-Weight Framework for Hardware Verification
Christoph Kern, Tarik Ono-Tesfaye and Mark R. Greenstreet

TR-99-02
Analyzing Exception Flow in Java Programs
Martin R. Robillard and Gail C. Murphy

TR-99-03 Revised
Characterizations of 1-Way Quantum Finite Automata
Alex Brodsky and Nicholas Pippenger

TR-99-04
Atlas: A Case Study in Building a Web-Based Learning Environment Using Aspect-oriented Programming
Mik A. Kersten and Gail C. Murphy

TR-99-06
Systematic vs. Local Search for SAT
Holger H. Hoos

TR-99-07
Using Embedded Network Processors to Implement Global Memory Management in a Workstation Cluster
Yvonne Coady, Joon Suan Ong and Michael J. Feeley

TR-99-08
Spirale Reversi: Reverse decoding of the Edgebreaker encoding
Martin Isenburg and Jack Snoeyink

TR-99-09
Computing Contour Trees in All Dimensions
Hamish Carr, Jack Snoeyink and Ulrike Axen

TR-99-10
Mesh Collapse Compression
Martin Isenburg and Jack Snoeyink

TR-99-11
Deciding When to Forget in the Elephant File System
Douglas S. Santry, Michael J. Feeley, Norman Hutchinson, Alistair C. Veitch, Ross W. Carton and Jacob Ofir

TR-99-12
Practical Point-in-Polygon Tests Using CSG Representations of Polygons
Robert J. Walker and Jack Snoeyink

TR-99-13
Using Implicit Context to Ease Software Evolution and Reuse
Robert J. Walker and Gail C. Murphy

TR-99-14
Regaining Control of Exception Handling
Martin P. Robillard and Gail C. Murphy

TR-99-15
The Virtual Hand Laboratory Architecture
Valerie A. Summers

TR-99-16
Heavy-Tailed Behaviour in Randomised Systematic Search Algorithms for SAT?
Holger H. Hoos

TR-2000-01
Stochastic Local Search Methods for Dynamic SAT - an Initial Investigation
Holger H. Hoos and Kevin O'Neill

TR-2000-02
R-Simp to PR-Simp: Parallelizing A Model Simplification Algorithm
Dmitry Brodsky

TR-2000-04
Enumeration of Equicolourable Trees
Nicholas Pippenger

TR-2000-05
Optimal and Approximate Stochastic Planning using Decision Diagrams
Jesse Hoey, Robert St.Aubin, Alan Hu and Craig Boutilier

TR-2000-06
Using Idle Workstations to Implement Predictive Prefetching
Jasmine Y.Q. Wang, Joon Suan Ong, Yvonne Coady and Michael J. Feeley

TR-2000-07
Eliminating Cycles in Composed Class Hierarchies
Robert J. Walker

TR-2000-08
Determination of Intensity Thresholds via Shape Gradients
Roger Tam and Alain Fournier

TR-2000-09
Efficient Mapping of Software System Traces to Architectural Views
Robert J. Walker, Gail C. Murphy, Jeffrey Steinbok and Martin P. Robillard

TR-2000-10
The Rectilinear Crossing Number of K_10 is 62
Alex Brodsky, Stephane Durocher and Ellen Gethner

TR-2000-11
Toward the Rectilinear Crossing Number of K_n: New Drawings, Upper Bounds, and Asymptotics
Alex Brodsky, Stephane Durocher and Ellen Gethner

TR-2001-01
Quantum Signal Propagation in Depolarizing Channels
Nicholas Pippenger

TR-2001-02
Analysis of Carry Propagation in Addition: An Elementary Approach
Nicholas Pippenger

TR-2001-03
Proving Sequential Consistency by Model Checking
Tim Braun, Anne Condon, Alan J. Hu, Kai S. Juse, Marius Laza, Michael Leslie and Rita Sharma

TR-2001-05
Separating Crosscutting Concerns Across the Lifecycle:
Siobhan Clarke and Robert J. Walker

TR-2001-06
Aspect-Oriented Incremental Customization of Middleware Services
Alex Brodsky, Dima Brodsky, Ida Chan, Yvonne Coady, Jody Pomkoski and Gregor Kiczales

TR-2001-07 (Abstract not available on-line)
Using Versioning to Simplify the Implementation of a Highly-Available File System
Dima Brodsky, Jody Pomkoski, Mike Feely, Norm Hutchinson and Alex Brodsky

TR-2001-08
Image-Based Measurement of Light Sources With Correct Filtering
Wolfgang Heidrich and Michael Goesele

TR-2001-09
Constraint-Based Agents: A Formal Model for Agent Design
Alan K. Mackworth and Ying Zhang

TR-2001-10
The Shortest Disjunctive Normal Form of a Random Boolean Function
Nicholas Pippenger

TR-2001-11
Characterizations of Random Set-Walks
Joseph H. T. Wong

TR-2001-12
Enumeration of Matchings in the Incidence Graphs of Complete and Complete Bipartite Graphs
Nicholas Pippenger

TR-2001-13
Concern Graphs: Finding and Describing Concerns Using Structural Program Dependencies
Martin P. Robillard and Gail C. Murphy

TR-2001-14
Loosely Coupled Optimistic Replication for Highly Available, Scalable Storage
Dima Brodsky, Jody Pomkoski, Michael J. Feeley, Norman Hutchinson and Alex Brodsky

TR-2001-15
Bayesian Latent Semantic Analysis of Multimedia Databases
Nando de Freitas and Kobus Barnard

TR-2001-17
Clustering Facial Displays in Context
Jesse Hoey

TR-2001-18
The Optimized Segment Support Map for the Mining of Frequent Patterns
Carson Kai-Sang Leung, Raymond T. Ng and Heikki Mannila

TR-2001-19
Animation of Fish Swimming
William F. Gates

TR-2001-20
Free-Surface Conditions in the Realistic Animation of Liquids
William F. Gates

TR-2001-22
Controlling Fluid Flow Simulation
William F. Gates and Alain Fournier

TR-2002-01
Understanding Design Patterns with Design Rationale Graphs
Elisa L. A. Baniassad, Gail C. Murphy and Christa Schwanninger

TR-2002-02
Proceedings of the First AOSD Workshop on Aspects, Components, and Patterns for Intrastructure Software
Yvonne Coady (Ed.)

TR-2002-03
Motion Perturbation Based on Simple Neuromotor Control Models
Michael B. Clien, KangKang Yin and Dinesh K. Pai

TR-2002-04
The Inequalities of Quantum Information Theory
Nicholas Pippenger

TR-2002-05
Scaling an Object-Oriented System Execution Visualizer Through Sampling
Andrew Chan, Reid Holmes, Gail C. Murphy and Annie T.T. Ying

TR-2002-06
Entropy and Expected Acceptance Counts for Finite Automata
Nicholas Pippenger

TR-2002-07
Extended Canonical Recoding
Nicholas Pippenger

TR-2002-08
Choosing the Right Neighbourhood: a Way to Improve a Stochastic Local Search Algorithm
D. C. Tulpan and H. Hoos

TR-2002-11
Back to the Future: A Retroactive Study of Aspect Evolution in Operating System Code
Yvonne Coady and Gregor Kiczales

TR-2003-01
Giving a Compass to a Robot - Probabilistic Techniques for Simultaneous Localisation and Map Building (SLAM) in Mobile Robotics
R. W. v. L. Wenzel

TR-2003-02
The Boolean Functions Computed by Random Boolean Formulas OR
Alex Brodsky and Nicholas Pippenger

TR-2003-03
On the Complexity of Buffer Allocation in Message Passing Systems
Alex Brodsky, Jan B. Pedersen and Alan Wagner

TR-2003-04
Flexible and Local Isosurfaces - Using Topology for Exploratory Visualization
Hamish Carr and Jack Snoeyink

TR-2003-05
Bayesian Models for Massive Multimedia Databases: A New Frontier
Nando de Freitas, Eric Brochu, Kobus Barnard, Pinar Duygulu and David Forsyth

TR-2003-06
A Study of Program Evolution Involving Scattered Concerns
Martin P Robillard and Gail C. Murphy

TR-2003-09
Motion Doodles: : A Sketching Interface for Character Animation
Matthew Thorne, David Burke and Michiel van de Panne

TR-2003-10
MayaJala: A Framework for Multiparty Communication
Chamath Keppitiyagama and Norman C. Hutchinson

TR-2003-11
Mammoth: A Peer-to-Peer File System
Dmitry Brodsky, Shihao Gong, Alex Brodsky, Michael J. Feeley and Norman C. Hutchinson

TR-2003-12
RAPPID SYNCHRONIZATION
Satyajit Chakrabarti and Sukanta Pramanik

TR-2003-13
Multiparty Communication Types for Distributed Applications
Chamath Keppitiyagama and Norman C. Hutchinson

TR-2003-14
Implementing a Connected Dominating Set Algorithm for Clustering Mobile Ad Hoc Networks
Kan Cai, Suprio Ray, Michael J. Feeley and Norman C. Hutchinson

TR-2003-15
Policy Driven Replication
Dmitry Brodsky, Alex Brodsky, Michael J. Feeley and Norman C. Hutchinson

TR-2003-16
Apostle: A Simple Incremental Weaver for a Dynamic Aspect Language
Brian de Alwis and Gregor Kiczales

TR-2003-17
Energy Efficient Peer-to-Peer Storage
Geoffrey Lefebvre and Michael J. Feeley

TR-2003-18
A Bayesian Network Model of a Collaborative Interactive Tabletop Display
Mark S. Hancock

TR-2003-20
Aspect Weaving with C# and .NET
Michael A. Blackstock

TR-2004-01
Demonstrating Numerical Convergence to the Analytic Solution of some Backwards Reachable Sets with Sharp Features
Ian M. Mitchell

TR-2004-02
Decision Theoretic Learning of Human Facial Displays and Gestures
Jesse Hoey and James J. Little

TR-2004-04
Logarithmic Complexity for a class of XML Queries
Jeremy Barbay

TR-2004-05
Constraint-Based Approach to Hybrid Dynamical Systems with Uncertainty
Robert St-Aubin and Alan K. Mackworth

TR-2004-06
Topology Sensitive Replica Selection
Dmitry Brodsky, Michael J. Feeley and Norman C. Hutchinson

TR-2004-07
A New Approach to Upward-Closed Set Backward Reachability Analysis
Jesse Bingham

TR-2004-09
A Toolbox of Level Set Methods (version 1.0) (Replaced by TR-2007-11)
Ian M Mitchell

TR-2004-10
Rendering Color Information Using Haptic Feedback
S, Chakrabarti, S. Pramanik, D. Du and R. Paul

TR-2004-11
Index-Trees for Descendant Tree Queries in the Comparison Model
Jeremy Barbay

TR-2004-12
An Analysis of the Hotspot Diffusion Paradox
Jeremy Barbay

TR-2004-13
SQPATH-A Combined SQL-XPATH Query System for RNAML Data
Chita C, Patel R and Yang J

TR-2004-14
Haptic Support for Urgency-Based Turn-Taking
Andrew Chan, Joanna McGrenere and Karon MacLean

TR-2004-15
Learning and Identifying Haptic Icons under Workload
Andrew Chan, Karon MacLean and Joanna McGrenere

TR-2004-16
GLStereo: Stereo Vision Implemented in Graphics Hardware
Dustin Lang and James J. Little

TR-2005-01
Fast Implementation of Lemke's Algorithm for Rigid Body Contact Simulation
John E. Lloyd

TR-2005-02
Probability and Equality: A Probabilistic Model of Identity Uncertainty
R "Sharma and David " Poole

TR-2005-03
Empirical Testing of Fast Kernel Density Estimation Algorithms
Dustin Lang, Mike Klaas and Nando de Freitas

TR-2005-04
Toward indicative discussion fora summarization
Mike Klaas

TR-2005-06
Fostering Student Learning and Motivation: an Interactive Educational Tool for AI
Saleema Amershi, Nicole Arksey, Giuseppe Carenini, Cristina Conati, Alan Mackworth, Heather Maclaren and David Poole

TR-2005-07
Empirically Efficient Verification for a Class of Infinite-State Systems
Jesse Bingham and Alan J. Hu

TR-2005-08
Nonparametric BLOG
Peter Carbonetto, Jacek Kisynski, Nando de Freitas and David Poole

TR-2005-09
The Twiddler: A Haptic Teaching Tool: Low-Cost Communication and Mechanical Design
Michael Shaver and Karon E. MacLean

TR-2005-10
Generalized Constraint-Based Inference
Le Chang and Alan K. Mackworth

TR-2005-11
A Framework for Multiparty Communication Types
Chamath Keppitiyagama and Norman C. Hutchinson

TR-2005-12
Role-Based Policies to Control Shared Application Views
L. Berry, L. Bartram and K.S. Booth

TR-2005-13
Perceiving Ordinal Data Haptically Under Workload
Anthony Tang, Peter McLachlan, Karen Lowe, Chalapati Rao Saka and Karon MacLean

TR-2005-14
A Generalization of Generalized Arc Consistency: From Constraint Satisfaction to Constraint-Based Inference
Le Chang and Alan K. Mackworth

TR-2005-16
A Trust-based Model for Collaborative Intrusion Response
Kapil Singh and Norman C. Hutchinson

TR-2005-17
Improving Backbone Routing for Transient Communication in Mobile Ad Hoc Networks
Kan Cai, Michael J. Feeley and Norman C. Hutchinson

TR-2005-18
Hot Coupling: A Particle Approach to Inference and Normalization on Pairwise Undirected Graphs of Arbitrary Topology
Firas Hamze and de Freitas. Nando

TR-2005-19
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
Jesse Bingham and Zvonimir Rakamaric

TR-2005-20
Coping With an Open Bug Repository
Anvik John, Hiew Lyndon and Murphy Gail C.

TR-2005-21
Theory, Software, and Psychophysical Studies for the Tactile Handheld Miniature Bimodal Device
Shannon H. Little

TR-2005-22
Go with the Flow: How Users Monitor Incoming Email
Anthony Tang, Nelson Siu, Lee Iverson and Sidney Fels

TR-2005-23
Remaining Oriented During Software Development Tasks: An Exploratory Field Study
Brian S. de Alwis and Gail C. Murphy

TR-2005-24
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Robert St-Aubin and Alan K. Mackworth

TR-2005-25
Visual Mining of Power Sets with Large Alphabets
Tamara Munzner, Qiang Kong, Raymond T. Ng, Jordan Lee, Janek Klawe, Dragana Radulovic and Carson K. Leung

TR-2005-26
Material Aware Mesh Deformations
Tiberiu Popa, Dan Julius and Alla Sheffer

TR-2005-27
The Role of Prototyping Tools for Haptic Behavior Design
Colin Swindells, Evgeny Maksakov, Karon E. MacLean and Victor Chung

TR-2005-28
Co-locating Haptic and Graphic Feedback in Manual Controls
Colin Swindells, Mario J. Enriquez, Karon E. MacLean and Kellogg S. Booth

TR-2005-29
Building a Haptic Language: Communication Through Touch
K. Maclean, J. Pasquero and J. Smith

TR-2005-30
TopoLayout: Graph Layout by Topological Features
D. Archambault, T. Munzner and D. Auber

TR-2005-31
Exact regularization of linear programs
Michael P. Friedlander

TR-2006-01
Preconditioners for the discretized time-harmonic Maxwell equations in mixed form
Chen Greif and Dominik Sch\"otzau

TR-2006-02
A Better Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
Zvonimir Rakamaric, Jesse Bingham and Alan J. Hu

TR-2006-03
Finding a Hamiltonian cycle in the dual graph of Right-Triangulations
Viann W. "Chan and William S." Evans

TR-2006-04
Presenter-on-Paper: the Camera Phone as an In-Class Educational Technology Tool
W. Tian Lim and Steven A. Wolfman

TR-2006-05
“What I Want, Where I Want:” Reference Material Use in Tabletop Work
A. Tang and S. Fels

TR-2006-06
Finding local RNA motifs using covariance models
Sohrab P. Shah and Anne E. Condon

TR-2006-08
Local Consistency in Junction Graphs for Constraint-Based Inference
L. Chang and A. K. Mackworth

TR-2006-09
Shuffler: Modeling with Interchangeable Parts
Kraevoy V, Julius D and Sheffer A

TR-2006-10
ArtiSynth: A Biomechanical Simulation Platform for the Vocal Tract and Upper Airway
Sidney Fels, Florian Vogt, Kees van den Doel, John E. Lloyd, Ian Stavness and Eric Vatikiotis-Bateson

TR-2006-11
Omnidirectional Humanoid Balance Control:Multiple Strategies for Reacting to a Push
KangKang Yin and Michiel van de Panne

TR-2006-14
Captured Dynamics Data of 5 Mechanical Knobs
Colin Swindells and Karon E. MacLean

TR-2006-15
Integrating Gaussian Processes with Word-Sequence Kernels for Bayesian Text Categorization
Maryam Mahdaviani, Sara Forghanizadeh and Giuseppe Carenini

TR-2006-16
A Preconditioner For Linear Systems Arising From Interior-Point Optimization Methods
Tim Rees and Chen Greif

TR-2006-18
Gradient Projection for General Quadratic Programs (Replaced by TR-2007-16)
Michael P. Friedlander and Sven Leyffer

TR-2006-19
Routing Transient Traffic in Mobile Ad Hoc Networks
Kan Cai, Michael J. Feeley and Norman C. Hutchinson

TR-2006-20
Understanding 802.11 Performance for Two Competing Flows (Replaced by TR-2007-09)
Kan Cai, Michael J. Feeley and George Sharath J.

TR-2006-21
Computing nonnegative tensor factorizations
Michael P, Friedlander and Kathrin Hatz

TR-2006-23
Comparing Forward and Backward Reachability as Tools for Safety Analysis
Ian M. Mitchell

TR-2006-26
Exact regularization of convex programs
Michael P. Friedlander and Paul Tseng

TR-2006-27
FAST MARCHING METHODS FOR A CLASS OF ANISOTROPIC STATIONARY HAMILTON-JACOBI EQUATIONS
Ken Alton and Ian M. Mitchell

TR-2006-28
Highly Efficient Flooding in Mobile Ad Hoc Networks
Majid Khabbazian and Vijay K. Bhargava

TR-2006-29
Cognitive Principles for Information Management: The Principles of Mnemonic Associative Knowledge
Holger Hoos, Michael Huggett and Ron Rensink

TR-2007-02 (Abstract not available on-line)
Discussion of "The Dantzig Selector" by Candes and Tao
Michael P. Friedlander and Michael A. Saunders

TR-2007-03
Relationships Between Human and Automated System Identification of Physical Controls
Colin Swindells, Karon E. MacLean and Kellogg S. Booth

TR-2007-04
On Solving General State-Space Sequential Decision Problems using Inference Algorithms
M. Hoffman, A. Doucet, N. de Freitas and A. Jasra

TR-2007-06
Imaging and 3D Tomographic Reconstruction of Time-varying, Inhomogeneous Refractive Index Fields
B. Atcheson, I. Ihrke, D. Bradley, W. Heidrich, M. Magnor and HP. Seidel

TR-2007-07
Interplay of Tactile and Visual Guidance Cues under Multimodal Workload
M. J. Enriquez, K. E. MacLean and H. Neilson

TR-2007-08
Localized Broadcasting with Guaranteed Delivery and Bounded
Hosna Jabbari, Majid Khabbazian and Vijay K. Bhargava

TR-2007-09
Understanding Performance for Two 802.11b Competing Flows
Kan Cai, Michael J. Feeley and Sharath J. George

TR-2007-10
BRDF Acquisition with Basis Illumination
Abhijeet Ghosh, Shruthi Achutha, Wolfgang Heidrich and Matthew O'Toole

TR-2007-11
A Toolbox of Level Set Methods (version 1.1)
Ian M Mitchell

TR-2007-12
Information Mobility Between Virtual and Physical Domains
Garth Shoemaker

TR-2007-13
Contour-based Modeling Using Deformable 3D Templates
Vladislav Kraevoy, Alla Sheffer, Michiel van de Panne and

TR-2007-14
Interfaces for Web Service Intermediaries
S. Forghanizadeh, I. Minevskiy and E. Wohlstadter

TR-2007-15
Glimmer: Multilevel MDS on the GPU
Stephen Ingram, Tamara Munzner and Marc Olano

TR-2007-16
Global and finite termination of a two-phase augmented Lagrangian filter method for general quadratic programs
Michael P. Friedlander and Sven Leyffer

TR-2007-17
Efficient Optimal Multi-Location Robot Rendezvous
Ken Alton and Ian M. Mitchell

TR-2007-18
Optimizing Acquaintance Selection in a PDMS
Rachel Pottinger Jian Xu

TR-2007-21
A Study-Based Guide to Multiple Visual Information Resolution Interface Designs
H. Lam and T Munzner

TR-2007-22
MAGIC Broker: A Middleware Toolkit for Interactive Public Displays
Aiman Erbad, Michael Blackstock, Adrian Friday, Rodger Lea and Jalal Al-Muhtadi

TR-2007-23
GLUG: GPU Layout of Undirected Graphs
Stephen Ingram, Tamara Munzner and Marc Olano

TR-2007-25
A Tutorial on the Proof of the Existence of Nash Equilibria
Albert Xin Jiang and Kevin Leyton-Brown

TR-2007-27
An Inner/Outer Stationary Iteration for Computing PageRank
Andrew P. Gray, Chen Greif and Tracy Lau

TR-2008-01
Probing the Pareto frontier for basis pursuit solutions
Ewout van den Berg and Michael P. Friedlander

TR-2008-02
Fast Marching Methods for Stationary Hamilton-Jacobi Equations with Axis-Aligned Anisotropy
Ken Alton and Ian M. Mitchell

TR-2008-03
Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds
Bradley D. Bingham and Mark R. Greenstreet

TR-2008-04
Supporting Transitions in Work: Informing Groupware Design by Understanding Whiteboard Use
Anthony Tang, Joel Lanir, Saul Greenberg and S. Sidney Fels

TR-2008-05
Coupled CRFs for estimating the underlying ground surface from airborne LiDAR data
Wei-Lwun Lu, Kevin P. Murphy, James J. Little, Alla Sheffer and Hongbo Fu

TR-2008-06
An Exploratory Study on How Can Diagramming Tools Help Support Programming Activities?
Seonah Lee, Gail C. Murphy, Thomas Fritz and Meghan Allen

TR-2008-08
Uncovering Activity and Patterns in Video using Slit-Tear Visualizations
Anthony Tang, Joel Lanir, Saul Greenberg and S. Sidney Fels

TR-2008-09
Group sparsity via linear-time projection
Ewout van den Berg, Mark Schmidt, Michael P. Friedlander and Kevin Murphy

TR-2008-10
Collison in Unrepeated, First-Price Auctions with an Uncertain Number of Participants
Kevin Leyton-Brown, Moshe Tennenholtz, Navin A. R. Bhat and Yoav Shoham

TR-2008-11
Efficient Dynamic Programming for Optimal Multi-Location Robot Rendezvous with Proofs
Ken Alton and Ian M. Mitchell

TR-2008-13
Action-Graph Games
Albert Xin Jiang, Kevin Leyton-Brown and Bhat Navin A.R.

TR-2008-14
Reducing Code Navigation Effort with Differential Code Coverage
Kaitlin Duck Sherwood and Gail C Murphy

TR-2008-15
Non-von Neumann-Morgenstern expected utility maximization models of choice from behavioural game theory
James Wright

TR-2008-17
Guaranteed Voronoi Diagrams of Uncertain Sites
William Evans and Jeff Sember

TR-2009-02
Towards an experimental model for exploring the role of touch
Joseph P. Hall, Jeswin Jeyasurya, Aurora Phillips, Chirag Vesuvala, Steve Yohanan and K.E. MacLean

TR-2009-03
Numerically Robust Continuous Collision Detection for Dynamic Explicit Surfaces
Tyson Brochu and Robert Bridson

TR-2009-04
Efficient Snap Rounding in Square and Hexagonal Grids using Integer Arithmetic
Boaz Ben-Moshe, Binay K. Bhattacharya and Jeff Sember

TR-2009-06
An Analysis of Spatial- and Fourier-Multiplexed Imaging
Gordon Wetzstein, Ivo Ihrke and Wolfgang Heidrich

TR-2009-07
Joint-sparse recovery from multiple measurements
Ewout van den Berg and Michael P. Friedlander

TR-2009-08
Learning a contingently acyclic, probabilistic relational model of a social network
Peter Carbonetto, Jacek Kisynski, Michael Chiang and David Poole

TR-2009-09
Revenue Monotonicity in Deterministic, Dominant-Strategy Combinatorial Auctions
Baharak Rastegari, Anne Condon and Kevin Leyton-Brown

TR-2009-10
Promoting Collaborative Learning in Lecture Halls using Multiple Projected Screens with Persistent and Dynamic Content
Joel Lanir, Kellogg S. Booth and Steven Wolfman

TR-2009-11
On the Power of Local Broadcast Algorithms
Hosna Jabbari, Majid Khabbazian, Ian Blake and Vijay Bhargava

TR-2009-12
Body-Centric Interactions With Very Large Wall Displays
Garth Shoemaker, Takayuki Tsukitani, Yoshifumi Kitamura and Kellogg S. Booth

TR-2009-13
Degree-of-Knowledge: Investigating an Indicator for Source Code Authority
Thomas Fritz, Jingwen Ou and Gail C. Murphy

TR-2009-15
An Automatically Configured Modular Algorithm for Post Enrollment Course Timetabling
Chris Fawcett, Holger H. Hoos and Marco Chiarandini

TR-2009-18
On Improving Key Pre-distribution Schemes for Sensor Networks
Majid "Khabbazian, Ian Blake, Vijay Bhargava and Hosna" Jabbari

TR-2009-19
Optimization Methods for L1-Regularization
Mark Schmidt, Glenn Fung and Romer Rosales

TR-2009-20
On Efficient Replacement Policies for Cache Objects with Non-uniform Sizes and Costs
Ying Su and Laks Lakshmanan

TR-2009-21
Tradeoffs in the Empirical Evaluation of Competing Algorithm Designs
Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown

TR-2009-22
A Box Shaped Cyclically Reduced Operator
Chen Greif and L. Robert Hocking

TR-2009-23
A Tutorial on Bayesian Optimization of Expensive Cost Functions, with Application to Active User Modeling and Hierarchical Reinforcement Learning
Eric Brochu, Mike Cora and Nando de Freitas

TR-2009-24
Reflections on QuestVis: A Visualization System for an Environmental Sustainability Model
Tamara Munzner, Aaron Barsky and Matt Williams

TR-2009-25
Visualizing Interactions on Distributed Tabletops
Anthony Tang, Michel Pahud and Bill Buxton

TR-2010-01
Interpreter Implementation of Advice Weaving
Immad Naseer, Ryan M. Golbeck, Peter Selby and Gregor Kiczales

TR-2010-03
Evaluating Two Window Manipulation Techniques on a Large Screen Display
Russell Mackenzie, Kirstie Hawkey, Presley Perswain and Kellogg S. Booth

TR-2010-04
Sparsity priors and boosting for learning localized distributed feature representations
K. Swersky, B. Marlin, and N. de Freitas B. Chen

TR-2010-05
PReach: A Distributed Explicit State Model Checker
Flavio M. de Paula, Brad Bingham, Jesse Bingham, John Erickson, Mark Reitblatt and Gaurav Singh

TR-2010-06 (Abstract not available on-line)
Where do priors and causal models come from? An experimental design perspective
and N. de Freitas H. Kueck

TR-2010-07
A Mixed Finite Element Method with Exactly Divergence-free Velocities for Incompressible Magnetohydrodynamics
Chen Greif, Dan Li, Dominik Schoetzau and Xiaoxi Wei

TR-2010-08
Preconditioning Iterative Methods for the Optimal Control of the Stokes Equations
Tyrone Rees and Andrew J. Wathen

TR-2010-10
Sequential Model-Based Optimization for General Algorithm Configuration (extended version)
Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown

TR-2010-11
A Guide to Visual Multi-Level Interface Design From Synthesis of Empirical Study Evidence
Heidi Lam and Tamara Munzner

TR-2010-12
Determining Relevancy: How Software Developers Determine Relevant Information in Feeds
Thomas Fritz and Gail C. Murphy

TR-2010-13
Exploring older adults' needs and preferences in learning to use mobile computer devices
Rock Leung, Joanna McGrenere, Peter Graf and Vilia Ingriany

TR-2011-01
Hydra-MIP: Automated Algorithm Configuration and Selection for Mixed Integer Programming
Lin Xu, Frank Hutter, Holger Hoos and Kevin Leyton-Brown

TR-2011-02
Displacement Interpolation Using Lagrangian Mass Transport
Nicolas Bonneel, Michiel van de Panne, Sylvain Paris and Wolfgang Heidrich

TR-2011-03
SinfoniaEx : Fault-Tolerant Distributed Transactional Memory
Mahdi Tayarani Najaran and Charles Krasic

TR-2011-04
Applying Interruption Techniques from the HCI Literature to Portable Music
Amirhossein Mehrabian and Joanna McGrenere

TR-2011-05
Closed-Form Multigrid Smoothing Factors for Lexicographic Gauss-Seidel
L. Robert Hocking and Chen Greif

TR-2011-06
Audio Stream Bookmarking with a Wristband Controller: Exploring the Role of Explicit Commands in an Implicit Control Loop
Jih-Shiang Chang, Joanna McGrenere and Karon E. MacLean

TR-2011-08
Semi-supervised Learning for Identifying Players from Broadcast Sport Videos with Play-by-Play Information
Wei-Lwun Lu, Jo-Anne Ting, James J. Little and Kevin P. Murphy

TR-2011-09
SinExTree : Scalable Multi-Attribute Queries through Distributed Spatial Partitioning
Mahdi Tayarani Najaran, Charles Krasic and Norman C. Hutchinson

TR-2011-10
Ephemeral Paths: Gradual Fade-In as a Visual Cue for Subgraph Highlighting
Jessica Dawson, Joanna McGrenere, Tamara Munzner, Karyn Moffatt Moffatt and Leah Findlater

TR-2011-11
Local Naive Bayes Nearest Neighbor for Image Classification
Sancho McCann and David G. Lowe

TR-2011-12
Multi-preconditioned GMRES
Chen Greif, Tyrone Rees and Daniel Szyld

TR-2012-01
Hierarchical Clustering and Tagging of Mostly Disconnected Data
Stephen Ingram, Tamara Munzner and Jonathan Stray

TR-2012-02
Ensuring Safety of Nonlinear Sampled Data Systems through Reachability (extended version)
Ian M. Mitchell, Mo Chen and Meeko Oishi

TR-2012-03
Dimensionality Reduction in the Wild: Gaps and Guidance
Michael Sedlmair, Matthew Brehmer, Stephen Ingram and Tamara Munzner

TR-2012-04
Efficient Extraction of Ontologies from Domain Specific Text Corpora
Tianyu Li, Pirooz Chubak, Laks V.S. Lakshmanan and Rachel Pottinger

TR-2012-06
Learning Reduced-Order Feedback Policies for Motion Skills
Kai Ding, Libin Liu, Michiel van de Panne and KangKang Yin

TR-2012-06
Learning Reduced-Order Feedback Policies for Motion Skills
Kai Ding, Libin Liu, Michiel van de Panne and KangKang Yin

TR-2013-02
The Beta Mesh: a New Approach for Temporally Coherent Particle Skinning
Hagit Schechter and Robert Bridson


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