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: Reﬂections 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.