ICICS/CS Reading Room: CS Technical Reports

The following UBC Computer Science technical reports are available in print at the ICICS/CS Reading Room. If you are off-campus, contact us at rdngroom@cs.ubc.ca for access.

TR-71-01
An Algol 86 Companion
J.E.L. Peck

TR-71-02
On the Numerical Solution of ILL-Conditioned Linear Systems with Applications to ILL-Posed Problems"
J.M. Varah

TR-71-03
The Characteristic Polynomials of a Graph
Abbe Mowshowitz

TR-71-04
Graphs, Groups and Matrices
Abbe Mowshowitz

TR-72-01
A Note On Linear Resolution Strategies in Consequence-Finding
Eliana Minicozzi and Raymond Reiter

TR-72-02
On the Solution of Block Tridiagonal Systems Arising from Certain Finite-Difference Equations
J.M. Varah

TR-72-03
Robot Simulation Studies: Description and Plans
Peter F. Rowat and Richard S. Rosenberg

TR-72-04
Self Modifying Programs
Raymond Reiter

TR-72-05
Prediction, Complexity and Randomness
Giuseppe Trautteur

TR-72-06
Look-ahead and one-person games
Richard S. Rosenberg

TR-72-07
The Spanning Tree Structure of Stationary Markov Chains
D.A.R. Seeley

TR-72-08
On a Characterization of the Best l2 Scaling of a Matrix
G.H. Golub and J.M. Varah

TR-72-09
The Use of Models in Automatic Theorem-Proving
Raymond Reiter

TR-73-01
A Comparison of Some Numerical Methods for Two-point Boundary Value Problems
Jim M. Varah

TR-73-02
On the Efficiency of Clique Detection in Graphs
A. H. Dixon

TR-74-01
A Comparison of Global Methods for Linear Two-point Boundary Value Problems
R. D. Russel and Jim. M. Varah

TR-74-02
On the Condition of Piecewise Polynomial Finite Element Bases
Jim. M. Varah

TR-74-03
Alternate Row and Column Elimination for Certain Linear Systems
Jim. M. Varah

TR-75-01
Stiffly Stable Linear Multistep Methods of Extended Order
Jim. M. Varah

TR-75-02
Code Compaction for Minicomputers with INTCODE and MINICODE
J.E.L. Peck, V. S. Manis and W. E. Webb

TR-75-03
Consistency in Networks of Relations

TR-75-04
How To See A Simple World
Alan K. Mackworth

TR-75-05
A Case Driven Parser For Natural Language
E.H. Taylor and R. S. Rosenberg
Alan K. Mackworth

TR-75-08  
Texture User's Manual
The Texture Support Group

TR-76-01  
Texture: A Document Processor
Michael Gorlick, Vince Manis, Tom Rushworth, Peter Van Den Bosch, Ted Venema

TR-76-02  
Model-Driven Interpretation in Intelligent Vision Systems
Alan K. Mackworth

TR-76-03  
Interpretation-Directed Segmentation of Erts Images
Dale W. Starr and Alan K. Mackworth

TR-76-04  
On the Stability of Boundary Conditions for Separable Difference Approximations to Parabolic Equations
J.M. Varah

TR-76-05  
A Tree Oriented STring Interpreter for the Design and Implementation of Semantics
Harvey Abramson, Tom Rushworth and Ted Venema

TR-76-06  
Two Canonical Forms for Programs
J.L. Baker

TR-76-07  
ANTICS - A System for Animating LISP Programs
Mark S. Dionne and Alan K. Mackworth

TR-76-08  
A Practical Examination of Some Numerical Methods for Linear Discrete I11-Posed Problems
J.M. Varah

TR-76-09  
WHISPER: A Computer Implementation Using Analogues in Reasoning
Brian V. Funt

TR-76-10  
The Design of a High-Level, Language-Independent Symbolic Debugging System
Mark Scott Johnson

TR-76-11  
The Logical Semantics of Program Schemas and Program Verification
Akira Kanda

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
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
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-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-14
Representation Spatial Experience \& Solving Spatial Problems in a Simulated Robot Environment
Peter Forbes Rowat

TR-80-05
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-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-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
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-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
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
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
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-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
Shape Analysis
Robert J. Woodham

TR-86-15
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-22
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
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
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 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
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
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
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
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-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
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-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-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-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
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
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
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-07
On the Role of Computable Error Estimates in the Analysis of Numerical Approximation Algorithms
Feng Gao

TR-91-08
Parallel Algorithms for Routing in Non-blocking Networks
Geng Lin, Nicholas Pippenger

TR-91-09
Projected Collocation for Higher-Order Higher-Indes Differential-Algebraic Equations
Uri M. Ascher and Linda R. Petzold

TR-91-10
A Two-Level Formal Verification Methodology using HOL and COSMOS
Carl-Johan Seger and Jeffrey J. Joyce

TR-91-11
Existence and Explict Constructions of q+1 Regular Ramanujan Graphs for Every Prime Power q
Moshe Morgenstern

TR-91-12
Fault Tolerant Planar Communication Networks
Geng Lin

TR-91-13
Fast Hashing on a PRAM - Designing by Expectation
Joseph Gil and Yossi Matias

TR-91-14
Fast Load Balancing on a PRAM
Joseph Gil

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

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

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-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-08
Symmetry in Self-Correcting Cellular Automata
Nicholas Pippenger

TR-92-09
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-12
A Correct Optimized Algorithm for Incrementally Generating Prime Implicates
Alex Kean and George Tsiknis

TR-92-14
Rearrangeable Circuit-Switching Networks
Nicholas Pippenger

TR-92-16
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-22
3D Motion and Structure from Planar Passive Navigation
Enrico De Micheli and Alessandro Verri

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-29
A Proposed Framework for Characterization of Robotic Systems
Jane Mulligan

TR-92-32
The Support Function, Curvature Functions and 3-D Attitude
Ying Li and Robert J. Woodham

TR-92-33
Bringing Mathematical Research To Life in the Schools
Maria M. Klawe

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
Automatic Synthesis of Sequential Synchronizations
Zheng Zhu and Steven D. Johnson

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-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-20
Numerical Integration of the Generatized Euler Equations
Sebastian Reich

TR-93-21
Performance Measures for Robot Manipulators: A Unified Approach
Kees van den Doel and Dinesh Pai

TR-93-25
Testgen+: An Environment for Protocol Test Suite Generation Selection and Validation
Son T. Vuong and Sangho Leon

TR-93-26
Computational Methods for the Shape from Shading Problem
Paul M. Carter

TR-93-37
Ranking and Unranking of Trees Using Regular Reductions
Pierre Kelsen

TR-93-38
Detection and Estimation of Multiple Disparities by Multi-evidential correlation
B, Esf ari, iar and James J. Little

TR-94-02
Generalized Ternary Simulation of Sequential Circuits
C. J. Seger Seger and J. A. Brzozowski

TR-94-07
A Novel Constraint-Based Data Fusion System for Limited-Angle Computed Tomography
Jeffrey E. Boyd

TR-94-08
A Computational Theory of Decision Networking
Nevin L. Zhang

TR-94-12
Topology Building and Random Polygon Generation
Chong Zhu

TR-94-23
Informal, Semi-Formal, and Formal Approaches to the Specification of Software Requirements.
Helene Marie Wong

TR-94-24
Defeasible Preferences and Goal Derivations
Craig Boutilier

TR-94-25
RASP - Robotics and Animation Simulation Platform
Gene S. Lee

TR-94-27
DECISION GRAPHS: Algorithms and Applications to Influence Diagram Evaluation and High-Level Path Planning Under Uncertainty
Runping Qi