The ICICS/CS Reading Room
1987 UBC CS Technical Report Titles
- 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
If you have any questions or comments regarding this page please send mail to
help.ubc.ca.