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