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