Technical Reports

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