Technical Reports

1976

TEXTURE: A Document Processor
Michael Gorlick, Vince Manis, Tom Rushworth, Peter van den Bosch, Ted Venema
MODEL-DRIVEN INTERPRETATION IN INTELLIGENT VISION SYSTEMS
Alan K. Mackworth
INTERPRETATION-DIRECTED SEGMENTATION OF ERTS IMAGES
Dale W. Starr and Alan K. Mackworth
On the Stability of Boundary Conditions for Separable Difference Approximations to Parabolic Equations
J. M. Varah
TOSI: A Tree Oriented String Interpreter for the Design and Implementation of Semantics
Harvey Abramson, Tom Rushworth, Ted Venema
Two Canonical Forms for Programs
J. L. Baker
ANTICS - A System for Animating LISP Programs
Mark S. Dionne and Alan K. Mackworth
A Practical Examination -of Some Numerical Methods for Linear Discrete Ill-Posed Problems
J. M. Varah
WHISPER: A Computer Implementation Using Analogues in Reasoning
Brian V. Funt
The Design of a High-level, Language-Independent Symbolic Debugging System
Mark Scott Johnson
The Logical Semantics of Program Schemas and Program Verification
Akira Kanda