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.