Technical Reports
1987
Analytic Method for Radiometric Correction of Satellite Multispectral Scanner Data
R. J. Woodham and M. H. Gray
A Schema & Constraint-Based Representation to Understanding Natural Language
Eliza Wing-Mun Kuttner
Application-Driven Failure Semantics of Interprocess Communication in Distributed Programs
K. Ravindran, Samuel T. Chanson and K.K. Ramakrishnam
Semi-Automatic Implementation of Protocols Using an Estelle-C Compiler
Son T. Vuong, Allen Chakming Lau, Robin Isaac Chan
Probabilistic Solitude Detection I: Ring Size Known Approximately
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick
Probabilistic Solitude Detection II: Ring Size Known Exactly
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick
A Simple Optimal Randomized Parallel List Ranking Algorithm
Karl Abrahamson, Norm Dadoun, David G. Kirkpatrick and Teresa Maria Przytycka
A Parallel Algorithm for Finding Maximal Independent Sets in Planar Graphs
Norm Dadoun and David G. Kirkpatrick
Time-Space Tradeoffs for Branching Programs Contrasted With Those for Straight-Line Programs
Karl Abrahamson
Randomized Function Evaluation on a Ring
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick
Knowledge Structuring & Constraint Satisfaction: the Mapsee Approach
Jan A. Mulder, Alan K. Mackworth and William S. Havens
On Numerical Differential Algebraic Problems with Application to Semiconductor Device Simulation
Uri Ascher
General Framework, Stability and Error Analysis for Numerical Stiff Boundary Value Methods
Uri Ascher and R. M. Mattheij
Update on Computational Vision: Shape Representation, Object Recognition & Constraint Satisfaction --- replaced, see 89-12
Alan K. Mackworth
A Simple Parallel Tree Contraction Algorithm
Karl Abrahamson, Norm Dadoun, David G. Kirkpatrick and Teresa Maria Przytycka
The Design & Control of Visual Routines for the Computation of Simple Geometric Properties and Relations
Marc H. J. Romanycia
A Default Logic Approach to the Derivation of Natural Language Presuppositions
Robert E. Mercer
The Renormalized Curvature Scale Space and the Evolution Properties of Planar Curves
Alan K. Mackworth and Farzin Mokhtarian