Technical Reports

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