Technical Reports

The ICICS/CS Reading Room


1988 UBC CS Technical Report Titles

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


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.