Technical Reports

1976

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

<< Back to year index