Technical Reports
1985
Recognizing VLSI Circuits from Mask Artwork
Recovering Shape & Determining Attitude from Extended Gaussian Images
A Fast Divide & Conquer Protocol for Contention Resolution on Broadcast Channels
LNTP --- An Efficient Transport Protocol for Local Area Networks
On Process Aliases in Distributed Kernel Design
Performance Evaluation of the ARPANET Transmission Control Protocol in a Local Area Network Environment
State Inconsistency Issues in Local Area Network-Based Distributed Kernels
Hierarchical Arc Consistency: Exploiting Structured Domains in Constraint Satisfaction Problems
Computation of Full Logic Programs Using One-Variable Environments
A Portable Image Processing System for Computer Vision
Specification & Initialization of a Logic Computer System
A New Basis Implementation for a Mixed Order Boundary Value ODE Solver
A Functional Programming Language with Context Free Grammars as Data Types
Coaxial Stereo & Scale-Based Matching
Using Discrimination Graphs to Represent Visual Knowledge
Constraint Satisfaction
Remote Interprocess Communication & Its Performance in Team Shoshin
Typed Recursion Theorems