Technical Reports
1982
The Representation of Presuppositions Using Defaults
On Fitting Exponentials by Nonlinear Least Squares
The Complexity of Regular Expressions with Goto and Boolean Variables
Collocation for Singular Perturbation Problems II: Linear First Order Systems Without Turning Points
A Regression Model of a Swapping System
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems
Unification Based Conditional Binding Constructs
Performance of Some Local Area Network Technologies
Collocation for Singular Perturbation Problems III: Nonlinear Problems without Turning Points
Standard Image Files
Multi Process Structuring of X.25 Software
Knowledge-Based Visual Interpretation Using Declarative Schemata
A Cooperative Scheme for Image Understanding Using Multiple Sources of Information