Technical Reports
1984
On The Adequacy of Predicate Circumscription For Closed-World Reasoning
David W. Etherington, Robert E. Mercer and Raymond Reiter
A Unified Approach to the Geometric Rectification of remotely Sensed Imagery
Frank Hay-Chee Wong
RF-Maple: A Logic Programming Language with Functions, Types & Concurrency
Paul J. Voda and Benjamin Yu
Definite Clause Translation Grammars & the Logical Specification of Data Types as Unambiguous Context Free Grammars
Harvey Abramson
Photometric Method for Radiometric Correction of Multispectral Scanner Data
R. J. Woodham and T. K. Lee
Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes
Farzin Mokhtarian and Alan K. Mackworth
Nyström's Method versus Fourier Type Methods for the Numerical Solution of Integral Equations
Manfred R. Trummer
An Efficient Implementation of a Conformal Mapping Method Using the Szegö Kernel
Manfred R. Trummer