Technical Reports
1987
Analytic Method for Radiometric Correction of Satellite Multispectral Scanner Data
A Schema & Constraint-Based Representation to Understanding Natural Language
Failure Transparency in Remote Procedure Calls
Application-Driven Failure Semantics of Interprocess Communication in Distributed Programs
Adequacy Criteria for Visual Knowledge Representation
Stable Representation of Shape
Semi-Automatic Implementation of Protocols Using an Estelle-C Compiler
The Set Conceptual Model and the Domain Graph Method of Table Design
Probabilistic Solitude Detection I: Ring Size Known Approximately
Justifications and Applications of the Set Conceptual Model
A Foundation for the Entity Relationship Model: Why & How
Probabilistic Solitude Detection II: Ring Size Known Exactly
Establishing Order in Planar Subdivisions
Parallel Construction of Subdivision Hierarchies
A Simple Optimal Randomized Parallel List Ranking Algorithm
A Parallel Algorithm for Finding Maximal Independent Sets in Planar Graphs
Time-Space Tradeoffs for Branching Programs Contrasted With Those for Straight-Line Programs
Randomized Function Evaluation on a Ring
Knowledge Structuring & Constraint Satisfaction: the Mapsee Approach
The Logic of Depiction
On the Modality of Convex Polygons
Formalizing Attribution by Default
On Numerical Differential Algebraic Problems with Application to Semiconductor Device Simulation
General Framework, Stability and Error Analysis for Numerical Stiff Boundary Value Methods
Update on Computational Vision: Shape Representation, Object Recognition & Constraint Satisfaction --- replaced, see 89-12
A Simple Parallel Tree Contraction Algorithm
Concepts & Methods for Database Design
Generalized LL(K) grammars for Concurrent Logic Programming Languages
Towards an Expert System for Compiler Development
The Design & Control of Visual Routines for the Computation of Simple Geometric Properties and Relations
A Default Logic Approach to the Derivation of Natural Language Presuppositions
An Estelle-C Compiler for Automatic Protocol Implementation
The Renormalized Curvature Scale Space and the Evolution Properties of Planar Curves
Multi-Scale Description of Space Curves and Three-Dimensional Objects
Advanced Topics in Automated Deduction
Constraint Satisfaction from a Deductive Viewpoint