Technical Reports

1982

TR-82-01
The Representation of Presuppositions Using Defaults
Robert Ernest Mercer and Raymond Reiter
TR-82-02
On Fitting Exponentials by Nonlinear Least Squares
James M. Varah
TR-82-03
The Complexity of Regular Expressions with Goto and Boolean Variables
Karl Abrahamson
TR-82-04
Collocation for Singular Perturbation Problems II: Linear First Order Systems Without Turning Points
Uri Ascher and R. Weiss
TR-82-05
A Regression Model of a Swapping System
Samuel T. Chanson
TR-82-06
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems
Alan K. Mackworth and E. C. Freuder
TR-82-07
Unification Based Conditional Binding Constructs
Harvey Abramson
TR-82-08
Performance of Some Local Area Network Technologies
Samuel T. Chanson, A. Kumar and A. Nadkarni
TR-82-09
Collocation for Singular Perturbation Problems III: Nonlinear Problems without Turning Points
Uri Ascher and R. Weiss
TR-82-10
Standard Image Files
William S. Havens
TR-82-11
Multi Process Structuring of X.25 Software
Stephen Edward Deering
TR-82-12
Knowledge-Based Visual Interpretation Using Declarative Schemata
Roger A. Browse
TR-82-13
A Cooperative Scheme for Image Understanding Using Multiple Sources of Information
Jay Glicksman

<< Back to year index