Technical Reports
1989
Organization of Smooth Image Curves at Multiple Scales
Using Deficiency Measure For Tiebreaking the Minimum Degree Algorithm
A New Approach To Test Sequence Derivation Based on External Behavior Expression (EBE)
Explanation and Prediction: An Architecture for Default and Abductive Reasoning
Randomized Distributed Computing on Rings
A Completeness Theorem for NaD Set
How Many Real Numbers Are There?
A Logic-Based Analysis of Dempster Shafer Theory
Cooperative Systems for Perceptual Tasks in a Remote Sensing Environment
Toolbox-Based Routines for Macintosh Timing and Display
Computer Vision Update
A Model-Based Vision System for Manipulator Position Sensing
A Theory of Multi-Scale Curvature-Based Shape Representation for Planar Curves
The Asymptotic Optimality of Spider-Web Networks
A Simple Linear Time Algorithm for Concave One-Dimensional Dynamic Programming
Exactly Solvable Telephone Switching Problems
The Expected Capacity of Concentrators
On Parallel Methods for Boundary Value Odes
A Methodology for Using a Default and Abductive Reasoning System
Optimal Parallel Algorithms for Convex Polygon Separation
A New Proof of the NP-Completeness of Visual Match
A Data Management Strategy for Transportable Natural Language Interfaces
Bar-Representable Visibility Graphs and a Related Network Flow Problem
Parallel Construction of Binary Trees with Almost Optimal Weighted Path Length
Fitting Parameterized 3-D Models to Images
Towards Structured Parallel Computing --- Part 1 --- A Theory of Algorithm Design and Analysis for Distributed-Memory Architectures