Technical Reports

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@cs.ubc.ca.