leff@smu.UUCP (Laurence Leff) (01/16/89)
TR 82- 1 12/31/82
Modelling Neural Mechanisms Of Visuomotor Coordination in Frog And Toad
M. Arbib
TR 82- 2 12/31/82
Describing And Analyzing Distributed System Designs
G. Avrunin and J. Wileden
TR 82- 3 12/31/82
Two-Dimensional Model Of Retinal-Tectal-Pretectal Interaction For The
Control Of Prey-Predator Recognition And Size Preference In Amphibia
R. Lara, F. Cervantes and M. Arbib
TR 82- 4 12/31/82
An Office Procedure Formalism Used For An Intelligent Interface
W. B. Croft and L. Lefkowitz
TR 82- 5 12/31/82
Careful Claire: A Model Of Language Acquisiton At The Two-Word Level
J. Hill
TR 82- 6 12/31/82
Knowledge-Base Command Understanding: An Example For The Software
Development Environment
K. Huff and V. Lesser
TR 82- 7 12/31/82
Language Production: The Source Of The Dictionary
D. McDonald
TR 82- 8 12/31/82
The Extended Branch-Arrow Model Of The Formation Of Retino-Tectal
Connections
J. Overton and M. Arbib
TR 82- 10 05/31/82
Strategies For Knowledge-Based Image Interpretation
C. McCormick
TR 82- 11 12/31/82
Natural Problem Solving Strategies And Programming Language Constructs
Jeffrey Bonar
TR 82- 12 12/31/82
Feature Generation and Selection by a Layered Network of Reinforcement
Learning Elements: Some Initial Experiments
C. Anderson
TR 82- 13 12/31/82
Reliable Test Data Selection Strategies -- An Integrated Approach
L. Clarke and D. Richardson
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 82- 14 12/31/82
Constrained Example Generation Version 2.2 User's Manual
E. Rissland, R. Wall, and S. Waisbrot
TR 82- 15 12/31/82
Generalized Type Specification For Database Systems
D. Stemple
TR 82- 16 12/31/82
Proceedings Of The Workshop On Visuomotor Coordination In Frog And Toad:
Models And Experiments
M. Arbib
TR 82- 17 12/31/82
On Being Human In The Computer Age
M. Arbib
TR 82- 18 12/31/82
Proof Techniques For Resource Controllers
K. Ramamritham
TR 82- 19 12/31/82
POISE: An Intelligent Assistant For Professional Based Systems
W. B. Croft and L. Lefkowitz
TR 82- 20 12/31/82
A Computational Neurolinguistic Approach To Processing Models Of Sentence
Comprehension
H. Gigley
TR 82- 20 12/31/82
Adaptive Neuron-Like Elements That Can Solve Learning Problems
A. Barto, R. Sutton and C. Anderson
TR 82- 21 12/31/82
Experiments With Representation In A Document Retrieval System
W. B. Croft
TR 82- 22 10/31/82
Processing Translational Motion Sequences
D. Lawton
TR 82- 23 12/31/82
Protecting Objects Through The Use of Ports
S. Vinter, D. Stemple and K. Ramamritham
TR 82- 24 12/31/82
Preliminary Design Of A Port-Oriented Operating System
D. Stemple, S. Vinter and K. Ramamritham
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 82- 25 12/31/82
Experiments In Distributed Problem Solving With Iterative Refinement
R. Brooks, (Ph.D. Thesis).
TR 82- 26 09/30/82
Dependency-Graph Models Of Evidential Support
J. Lowrance, (Ph.D. Thesis).
TR 82- 27 10/31/82
Motion Analysis Via Local Translational Processings
D. Lawton
TR 82- 28 12/31/82
A Rigorous Approach To Error-Sensitive Testing
L. Clarke and D. Richardson
TR 82- 29 12/31/82
The Use Of An Evidential-Based Model for Representing Knowledge And
Reasoning About Images In The VISIONS System
L. Wesley and A. Hanson
TR 82- 30 12/31/82
Multi-level Relaxation In Low Level Computer Vision
F. Glazer
TR 82- 31 12/31/82
The Theory And Use Of Scenarios
Rajendra Wall
TR 82- 32 12/31/82
Introduction To A Unified Treatment Of Interface Control And Program
Structure
L. Clarke, J.Wileden and A. Wolf
TR 82- 33 12/31/82
A Framework for Organizational Self-Design in Distributed Problem Solving
Networks
D. Corkill, (Ph.D. Thesis).
TR 82- 34 12/31/82
A Debugging Tool For Disbributed Systems
P. Bates, J. Wileden and V. Lesser
TR 82- 35 12/31/82
An Approach To High-Level Debugging Of Distributed Systems
P. Bates and J. Wileden
TR 82- 36 12/31/82
The Application Of Error-Sensitive Testing Strategies To Debugging
L. Clarke and D. Richardson
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 83- 1 01/31/83
Determining the Instantaneous Axis of Translation from Optic Flow
Generated by Arbitrary Sensor Motion
J.H. Rieger and D.T. Lawton
TR 83- 2 12/31/83
Constrained Scenario Generation System Documentation: User's Manual and
Programmer's Guide
R.S. Wall
TR 83- 3 12/31/83
Neural Problem Solving
A. Barto and R. Sutton
TR 83- 4 12/31/83
An Associative Search Network for Knowledge Representation: a VLSI Design
Study
A.S. Cromarty, K. Rudahl, L. Ruggles and R. Sutton (Sponsor: A. Barto)
TR 83- 5 12/31/83
TESS: An Effective Text Storage and Search System
W. Bruce Croft
TR 83- 6 12/31/83
A Network Organization Used for Document Retrieval
W. Bruce Croft, R. Wolf, and R. Thompson
TR 83- 7 06/06/82
An Algorithm for a Simple Image Convolution on the Titanic Content
Addressable Parallel Array Processor
C. Weems
TR 83- 8 12/31/83
A Computational Model of Language Acquisitions in the Two Year Old
J. Hill
TR 83- 10 12/31/83
Computer Interfaces and Operating Instructions for a Prototype Cartesian
Machine
J. Franklin
TR 83- 11 05/31/83
Recovering 2-D Motion Parameters in Scenes Containing Multiple Moving
Objects
G. Adiv
TR 83- 12 12/31/83
Letterform Design Systems
L. Ruggles
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 83- 13 12/31/83
Data Driven Indelible Planning of Discourse Using Salience
J. Conklin
TR 83- 14 12/31/83
An Empirical Investigation of Visual Salience and its Role in Text
Generation
J. Conklin
TR 83- 15 12/31/83
The Ubiquitous Dialectic
E. Rissland
TR 83- 16 12/31/83
Examples and Learning Systems
E. Rissland
TR 83- 17 12/31/83
Improvements on Habermann's Algorithm for Deadlock Avoidance
Z. Wei
TR 83- 18 12/31/83
The Bridge Between Non-Programmers and Programmers
J. Bonar, E. Soloway
TR 83- 19 12/31/83
Proceedings of the Second Workshop on Visuomotor Coordination in Frog and
Toad: Models and Experiments
M. Arbib
TR 83- 20 12/31/83
Search Control in Semantic Query Optimization
G. Ding Xu
TR 83- 20 12/31/83
Salience and Natural Language Generation
D. McDonald, J. Conklin
TR 83- 21 12/31/83
Mental Representations of Programming and Problem Solving
J. Bonar
TR 83- 22 12/31/83
Robot Programming Languages: A Study and a Design
T. Noyes
TR 83- 23 12/31/83
Perturbation Testing for Computation Errors
S. Zeil
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 83- 24 12/31/83
Perceptual Systems for Robots
M. Arbib, K. Overton, and D. Lawton
TR 83- 25 12/31/83
Coordinated Control Programs for Movements of the Hand
M.A. Arbib, T. Iberall and D. Lyons.
TR 83- 26 12/31/83
Precise Interface Control System Structure: Language Constructs and
Support Environments
L. Clarke, J. Wileden, A. Wolf
TR 83- 27 12/31/83
Human-Computer Discourse in the Design of a PASCAL Tutor
B. Woolf, D. McDonald.
TR 83- 28 12/31/83
Describing and Analyzing Distributed Software System Design
G. Avrunin and J. Wileden
TR 83- 29 12/31/83
High-Level Debugging of Distributed Systems: The Behavioral Abstract
Approach
P. Bates and J. Wileden
TR 83- 30 09/30/83
Determining Motion Parameters Using a Perturbation Approach
G. B. Shaw
TR 83- 31 09/30/83
Some Remarks on the Use of Color in Machine Vision
G. B. Shaw
TR 83- 32 09/15/83
Titanic: A Content Addressable Parallel Array Processor
C. Foster, C. Weems and S. Levitan
TR 83- 33 12/31/83
Decision Support Using Office Procedures
W. Bruce Croft and L. Lefkowitz
TR 83- 34 12/31/83
A Formalism for Describing and Evaluation Visibility Control Mechanisms
A. Wolf, L. Clarke and J. Wileden
TR 83- 35 10/31/83
A Summary of Image Understanding Research at the University of
Massachusetts
E. M. Riseman and A. R. Hanson
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 83- 36 12/31/83
Focusing and Constraint Management in Intelligent Interface Design
D. McCue and V. Lesser
TR 83- 37 12/31/83
Verifiable Abstract Database Types
D. Stemple
TR 83- 38 12/31/83
Perturbation Testing for Domain Errors
S. Zeil
TR 83- 39 12/31/83
Plot Unit Recognition for Narratives
W. Lehnert and C. Loiselle
TR 83- 40 12/31/83
A.I. and the Learning of Mathematics
E. Rissland
TR 83- 41 12/31/83
Symbolic Evaluation -- An Aid to Testing and Verification
L. Clarke and D. Richardson
TR 84- 1 12/31/84
Sensori-Motor Transformations in the Brain
M. Arbib and Schun-Ichi Aman
TR 84- 2 12/31/84
Temporal Aspects of Credit-Assignment in Reinforcement Learning
Richard S. Sutton
TR 84- 3 12/31/84
Design of a Knowledge Based Fault Detection and Diagnosis System
E. Hudlicka and V. Lesser
TR 84- 4 03/31/84
Integrating Non-Semantic Knowledge into Image Segementation Processors
R. Bunker
TR 84- 5 02/28/84
Processing Dynamic Image Sequences from a Moving Sensor
Daryl Lawton
TR 84- 6 12/31/84
Feedback-Directed Development of Complex Software System
J. Wileden, L. Clarke
TR 84- 7 04/30/84
Determining 3-D Motion and Structure from Optical Flow Generated by
Several Moving Objects
G. Adiv
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 84- 8 12/31/84
The Acquisition, Processing and Rise of Tactile Sensor Data in
Robot Control
Kenneth Overton
TR 84- 10 12/31/84
Environments for Decision Support
S. Gutfreund
TR 84- 11 12/31/84
Parallel Algorithms and Architectures: A Programmer's Perspective
Steven P. Levitan
TR 84- 12 12/31/84
Testing Techniques Based on Symbolic Evaluation
L. Clarke, D. Richardson
TR 84- 13 12/31/84
An Introduction to Plot Units
W. Lehnert, C. Loiselle
TR 84- 14 08/31/84
Image Processing on a Content Addressable Array Parallel Processor
Charles C. Weems
TR 84- 15 12/31/84
Progress Report on the Theory of Endorsements: A Heuristic Approach to
Reasoning about Uncertainty
P. Cohen
TR 84- 16 12/31/84
Neural Models of Depth Perception in Frogs and Toads
D. House
TR 84- 17 12/31/84
Towards Perceptual Robotics
T. Iberall, D. Lyons
TR 84- 18 12/31/84
Analysis of Distributed Systems Using Constrained Expressions
Laura K. Dillon
TR 84- 19 12/31/84
A Parallel Simulation of a Distributed Problem Solving Network
E. Durfee
TR 84- 20 12/31/84
An Ada Environment for Programming-in-the-Large
A. Wolf, L. Clarke, J. Wileden
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 84- 20 12/31/84
Applications of Symbolic Evaluation
L. Clarke, D. Richardson
TR 84- 21 12/31/84
Context Dependent Planning in a Machine Tutor
B. Woolf
TR 84- 22 12/31/84
The Speakeasy Communication Prosthesis System
T. Gruber
TR 84- 23 12/31/84
Focusing in Plan Recognitions
N. Carver, V. Lesser, D. McCue
TR 84- 24 12/31/84
Task Support in an Office System
B. Croft, L. Lefkowitz
TR 84- 25 12/31/84
Support for Programming-in-the-Large with Ada
A. Wolf, L. Clarke, J. Wielden
TR 84- 26 12/31/84
An Optical Tactile-Array Sensor
S. Begej
TR 84- 27 12/31/84
Extraction of Tactile Features by Passive and Active Sensing
R. Ellis
TR 84- 28 12/31/84
Processing Differential Image Motion
J. Rieger, D. Lawton
TR 84- 29 12/31/84
Extracting Straight Lines
J. Burns, A. Hanson, E. Riseman
TR 84- 30 12/31/84
Pattern Recognizing Stochastic Learning Automata
A. Barto, P. Anandan
TR 84- 31 12/31/84
A Computational Theory of Metaphor Comprehension and Analogical Reasoning
B. Indurkhya
TR 84- 32 09/30/85
Computing Dense Displacement Fields with Confidence Measures in Scenes
Containing Occlusion
P. Anandan
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 84- 33 12/31/84
An Endorsement-Based Plan Recognition Program
M. Sullivan, P. Cohen
TR 84- 34 12/31/84
Privilege Transfer and Revocation in a Port-Based System
K. Ramamritham, D. Stemple, D. Briggs, S. Vinter
TR 84- 35 12/31/84
Dynamic Control of Module Interconnections
D. Stemple, S. Vinter, K. Ramamritham
TR 84- 36 12/31/84
Interprocess Communication Without Process Identifiers
D. Stemple, S. Vinter, K. Ramamritham
TR 85- 1 12/31/85
Sum Ordered Partial Semirings
M. Streenstrup
TR 85- 2 12/31/85
Interface Control and Incremental Development in the PIC Environment
A. L. Wolf, L. A. Clarke, J. C. Wileden
TR 85- 3 12/31/85
An Approach to Learning Control Surfaces by Connectionist Systems
A. G. Barto
TR 85- 4 12/31/85
Testing for Equivalent Algebraic Terms - EQUATE
S. J. Zeil
TR 85- 5 12/31/85
An Expert Assistant for Document Retrieval
W. B. Croft, R. Thompson
TR 85- 6 12/31/85
A Tactile Sensing System and Optical Tactile-Sensor Array for Robotic
Applications
S. Begej
TR 85- 7 12/31/85
Integrating Scanning Software: Training and Vocational Uses for the Non -
Vocal
S. Kulikowski
TR 85- 8 12/31/85
Incorporating Theory into Database System Development
D. W. Stemple, T. Sheard, R. Bunker
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 85- 9 12/31/85
A Comparison of a Network Structure and a Database System Used for
Document Retrieval
W. B. Croft, T. Parenty
TR 85- 10 12/31/85
Partition Analysis: A Method Combining Testing and Verification
D. J. Richardson, L. A. Clarke
TR 85- 11 12/31/85
Learning by Statistical Cooperation of Self-Interested Neuron-Like
Computing Elements
A. G. Barto
TR 85- 12 12/31/85
Understanding the Bugs of Novice Programmers
J. Bonar
TR 85- 13 12/31/85
Constrained Expressions: Adding Analysis Capabilities to Design Methods
for Concurrent Software Systems
G. Avrunin, L. Dillon, J. C. Wileden and W. Riddle (REVISED)
TR 85- 14 04/30/85
Increasing Coherence in a Distributed Problem Solving Network
E. Durfee, V. R. Lesser, D. D. Corkill
TR 85- 15 04/30/85
Coherent Cooperation Among Communicating Problem Solvers
E. Durfee, V. R. Lesser, D. D. Corkill
TR 85- 16 12/31/85
A Formal Evaluation of Data Flow Path Selection Criteria
L. A. Clarke, A. Podgurski, D. J. Richardson, S. J. Zeil
TR 85- 17 12/31/85
Constrained Expressions: A General Technique for Describing Behavior of
Concurrent Systems
J. C. Wileden
TR 85- 18 12/31/85
A Multiple-Scale Measure of Static Tactile Texture
R. Ellis
TR 85- 19 12/31/85
Opposition Space as a Structuring Concept for the Analysis of Skilled
Hand Movements
A. Iberall, G. Bingham, M. A. Arbib
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 85- 20 12/31/85
An Approach to the Integration of Vision and Touch for Robot Control
R. Ellis
TR 85- 22 12/31/85
Understanding Discourse Conventions in Tutoring
B. Woolf, D. McDonald
TR 85- 23 12/31/85
Language and Tool Support for Precise Interface Control
Alexander L. Wolf
TR 85- 24 12/31/85
Reasoning About Uncertainty
A Knowledge Representation Perscpective, P. R. Cohen, T. Gruber
TR 85- 25 12/31/85
Numeric and Symbolic Reasoning About Uncertainty in Expert Systems
P. R. Cohen, et al.
TR 85- 26 12/31/85
Representativeness and Uncertainty in Classification Systems
P. R. Cohen, et al.
TR 85- 27 12/31/85
Modelling and Analysis of Neural Networks in the Visuomotor System of
Anuran Amphibian
Francisco Cervantes-Perez
TR 85- 28 12/31/85
Depth and Detours: An Essay on Visually Guided Behavior
M. A. Arbib, D. House
TR 85- 29 12/31/85
Modularity and Interaction of Brain Regions Underlying Visumotor
Coordination
M. A. Arbib
TR 85- 30 12/31/85
A Task-Level Model of Distributed Computation for Sensory-Based Control
of Complex Robot Systems
D. Lyons, M. A. Arbib
TR 85- 31 12/31/85
Dominic: A Domain-Independent Program for Mechanical Engineering Design
A. Howe, J. Dixon, P. R. Cohen, M. Simmons
TR 85- 32 12/31/85
Ada-Based Support for Programming-in-the-Large
A. Wolf, L. A. Clarke, J. C. Wileden
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 85- 33 12/31/85
A Graphics Environment for the Modeling and Simulation of MultiAccess
Networks: Modeling Language Considerations and Simulator Design
C. Shen and J. F. Kurose
TR 85- 34 12/31/85
Genesis: A Graphical Environment for the Modeling and Simulation of
MultiAccess Networks: Modeling Language Considerations and Simulator Design
J. F. Kurose, C. Shen
TR 85- 35 12/31/85
Interpreting Optical Flow
Ph.D. Thesis
Gilad Adiv
TR 85- 36 12/31/85
Levels of Modelling of Neural Interactions Underlying Visuomotor
Coordination
M. A. Arbib
TR 85- 37 12/31/85
A Simple Set of Grasps for a Dextrous Hand
D. Lyons
TR 85- 38 12/31/85
Introducing a Smoothness Constraint in a Matching Approach for the
Computation of Displacement Fields
P. Anandan and R. Weiss
TR 85- 39 12/31/85
The Information Fusion Problem and Rule-Based Hypotheses Applied to
Complex Aggregations of Image Events
R. Belknap, E. M. Riseman, and A. R. Hanson
TR 85- 42 12/31/85
A Distributed Algorithm for Optimum Static Load Balancing in Distributed
Computer Systems
J. F. Kurose, S. Singh
TR 85- 43 12/31/85
A Microeconomic Approach to Optimal File Allocation
J. F. Kurose and R. Simha
TR 85- 44 12/31/85
Graphite: A Meta-tool for Ada Environment Development
L. A. Clarke, J. C. Wileden, and A. L. Wolf
TR 85- 45 11/30/85
Instantiating Descriptions of Organizational Structures
H. E. Pattison, D. D. Corkill, and V. R. Lesser
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 85- 46 12/31/85
Converting Feature Valves to Evidence
G. Reynolds, D. Strahman, and N. Lehrer
TR 85- 47 12/31/85
Analysis of an Algorithm for Detection of Translational Motion
I. Pavlin, E. M. Riseman, and A. R. Hanson
TR 85- 48 12/31/85
Summary of Progress in Image Understanding at the University of
Massachusetts
E. M. Riseman, A. R. Hanson.
TR 85- 49 12/31/85
Student Support in an Introductory Programming Course
B. Woolf, E. Levine
TR 85- 50 12/31/85
"Do I Press Return?"
B. Woolf, E. Levine
TR 85- 52 12/31/85
A Review of Motion and Stereopsis Research
P. Anandan
TR 85- 53 12/31/85
An Architecture for Application of Artificial Intelligence to Design
J.R. Dixon, M.K. Simmons, P.R. Cohen
TR 86- 1 12/31/86
Intelligent Task Management Using Preconditions and Goals
Steven H. Schwartz
TR 86- 2 12/31/86
Use of Transaction Structure for Improving Concurrency
Wei Zhao, K. Ramamritham
TR 86- 3 12/31/86
Diagnosing Problem-Solving System Behavior
Ph.D. Thesis
Eva Hudlicka, (Ph.D. Thesis, February, 1986)
TR 86- 4 12/31/86
Modeling and Reasoning About Problem-Solving System Behavior
Eva Hudlicka, Victor Lesser
TR 86- 5 12/31/86
Debugging Programs in a Distributed System Environment
Ph.D. Thesis
Peter C. Bates (Ph.D. February, 1986)
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 86- 6 12/31/86
The Gutenberg Operating System Kernel
P. K. Chrysanthis, K. Ramamritham, D. Stemple, S. Vinter
TR 86- 7 12/31/86
Publications Bibliography
T. Iberall
TR 86- 8 12/31/86
Synchronizing Atomic Action
K. Ramamritham
TR 86- 9 03/31/86
An Approach to Cooperation: Planning and Communication in a Distributed
Problem Solving Network
E. Durfee
TR 86- 10 12/31/86
Kinematics of a Flexible Link Manipulator
R. E. Ellis
TR 86- 11 04/30/86
Plausible Reasoning and the Theory of Evidence
G. Reynolds, D. Strahman, N. Lehrer, L. Kitchen
TR 86- 12 12/31/86
Management of Uncertainty in Medicine
P. Cohen, D. Day, J. Delisio, M. Greenburg, R. Kjeldsen, D. Suthers
TR 86- 13 12/31/86
Classification by Semantic Matching
P.R. Cohen, P. Stanhope, R. Kjeldsen
TR 86- 14 12/31/86
A Typology for Constructing Decisions
A. Howe, P.R. Cohen
TR 86- 15 12/31/86
Constrained Expressions: Toward Broad Applicability of Analysis Methods
for Distributed Software Systems
L.K. Dillon
TR 86- 16 12/31/86
Computing Optical Flow From Two Frames of an Image Sequence
P. Anandan
TR 86- 17 12/31/86
Performance Analysis of a Probability Model for Scheduling Hard Real-Time
Tasks
Wei Zhao
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 86- 18 12/31/86
Semantics-based Concurrency Control: Beyond Commutativity
B.R. Badrinath, K. Ramamritham
TR 86- 19 05/31/86
A Coarse-to-Fine Control Strategy for Stereo and Motion on a
Mesh-Connected Computer
L.R. Williams, P. Anandan
TR 86- 20 12/31/86
Abstraction in Concurrency Control and Recovery Management
J.E.B. Moss, N.D. Griffeth, M.H. Graham
TR 86- 21 12/31/86
Design for Acquisition: Designing Knowledge Systems to Facilitate
Knowledge Acquisition
T. Gruber, P.R. Cohen
TR 86- 22 12/31/86
Complexity of the EQUATE Testing Strategy
S.J. Zeil
TR 86- 23 12/31/86
The Use of Shape Grammars in Processor Embeddings
D.A. Bailey, J.E. Cuny
TR 86- 24 12/31/86
Using Object Descriptions In a Schema Network For Machine Vision
Ph.D. Thesis
Terry E. Weymouth
TR 86- 25 12/31/86
The Control of Reasoning Under Undercertainty
P. Cohen
TR 86- 26 12/31/86
Optimal Cell Size For Efficient Retrieval of Sparse Data By Approximate 2D
Position Using a Coarse Spatial Array
L. Kitchen, M. Callahan
TR 86- 27 07/31/86
A Methodology for the Development of General Knowledge-Based Vision Systems
E.M. Riseman and A.R. Hanson
TR 86- 28 07/31/86
The Accuracy of 3D Parameters in Correspondence-based Techniques
M.A. Snyder
TR 86- 29 12/31/86
Graphite User Manual
A. Wolf, M. Burdick
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 86- 31 12/31/86
A Task-level Robot Planner for Assembly Operations
R. Vijaykumar, M.A. Arbib
TR 86- 32 12/31/86
A Tactile Recognition Strategy for Planar Objects
R.E. Ellis
TR 86- 33 07/31/86
Piecewise Circular Disc of Image Curves
J. Dillon, G. Reynolds
TR 86- 34 12/31/86
Transition Networks for Discourse Management
D. McDonald, J. Brooks, B. Woolf, P. Werner
TR 86- 35 12/31/86
The Hierachial Control of Skilled Hand Movements
G.A. Dakin, M.A. Arbib
TR 86- 36 12/31/86
A Robot Planner In the Assembly Domain
Y. Liu, M.A. Arbib
TR 86- 37 12/31/86
Knowledge Representation In a Physics Tutor
T. Murray, B. Woolf
TR 86- 38 12/31/86
Domain Testing & Linear Fault Detection
S. Zeil
TR 86- 39 12/31/86
A Neural Network Model of Frog Retina: A Discrete Time-Saving Approach
Yillbyung Lee
TR 86- 40 12/31/86
Concurrency Features for the Trellis/Owl Language
J. Eliot B. Moss, Walter H. Kohler
TR 86- 41 12/31/86
An Introduction to Nested Transactions
J.Eliot B. Moss
TR 86- 42 12/31/86
Finer Grained Concurrency for the Database Cache
J.Eliot B. Moss, Bruce Leban, Panos K. Chrysanthis
TR 86- 43 12/31/86
RS: A Formal Model of Distributed Computation for Sensory-Based Robot
Control
Damian Lyons
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 86- 44 12/31/86
A Model of Visibility Control
A. Wolf, L. Clarke, J. Wileden
TR 86- 45 12/31/86
Learning Efficient Recognizers for Analytically Derived Concepts
Paul E. Utgoff, Andrew G. Barto
TR 86- 46 10/31/86
From Evolutionary Protype to Product: Evolutionary Development within
the Blackboard Paradigm
Daniel D. Corkill, Kevin Q. Gallagher, and Philip M. Johnson
TR 86- 47 10/31/86
Path Planning and Execution for a Mobile Robot: A Review of Representation
and Control Strategies
Ronald C. Arkin
TR 86- 48 10/31/86
Path Planning for a Vision-Based Autonomous Robot
Ronald C. Arkin
TR 86- 49 12/31/86
A Formal Evaluation of Data Flow Path Selection Criteria
L.Clarke, A. Podgurski, D.J. Richardson, S.J. Zeil
TR 86- 50 12/31/86
Learning and Problem Solving with Multilayer Connectionist Systems
Ph.D. Thesis
Charles W. Anderson
TR 86- 51 12/31/86
AdaPIC Toolset: Supporting Interface
Alexander L. Wolf, Lori A. Clarke and Jack C. Wileden
TR 86- 52 12/31/86
A Model of Revision in Natural Language Generation
Marie M. Vaughan, David D. McDonald
TR 86- 53 10/31/86
Identification of Human Faces Using Data-Driven Segmentation, Rule-based
Hypothesis Formulation, and Iterative Model-based Hypothesis Verification
Richard Weiss, Leslie Kitchen, and Julianne Tuttle
TR 86- 54 12/31/86
Finer Grained Concurrency for the Database Cache
J.Eliot B. Moss, REVISED VERSION OF 86-42
TR 86- 56 12/31/86
A Formal Framework for Test Data Selection Criteria
Debra J. Richardson, Margaret C. Thompson
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 86- 57 12/31/86
Ada Interpretation in a Tool-Fragment Environment
E.C. Epp and S.J. Zeil
TR 86- 58 12/31/86
Translational Motion Algorithm with Global Feature Constraints
Igor Pavlin, Edward Riseman, and Allen Hanson
TR 86- 59 12/31/86
An Overview of Arcadia
Alexander L. Wolf
TR 86- 62 12/31/86
The VISIONS Image Understanding System - 1986
Edward Riseman, Allen Hanson
TR 86- 63 12/31/86
Design of a Distributed Diagnosis System
E. Hudlicka, V. Lesser, Jasmina Pavlin, Anil Rewari
TR 86- 64 12/31/86
A New Model for Error Detection
Debra J. Richardson, Margaret C. Thompson
TR 86- 65 12/31/86
A Comparison of Test Data Selection Criteria
Debra J. Richardson, Margaret C. Thompson
TR 86- 66 05/31/86
Teaching a Complex Industrial Process
B. Woolf, D.Blegen, J.H. Jansen, Arie Verloop
TR 86- 67 12/31/86
Multistage Negotiation in Distributed Planning
Susan E. Conroy, Robert A. Meyer and Victor R. Lesser
TR 87- 1 12/31/87
A Neural Model of Human Prehension
Ph.D. Thesis
Althea R. Iberall, Ph.D. Thesis, February 1987
TR 87- 2 02/28/87
Hierarchical Motion Detection
Ph.D. Thesis
Frank C. Glazer, Ph.D. Thesis, February 1987
TR 87- 3 01/31/87
Searching for Geometric Structure in Images of Natural Scenes
George Reynolds, J. Ross Beveridge
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 4 01/31/87
A Method for Initial Hypothesis Formation in Image Understanding
Nancy Bonar Lehrer, George Reynolds, Joey Griffith
TR 87- 5 01/31/87
Tools and Experiments in the Knowledge-Directed Interpretation of Road
Scenes
Bruce Draper, R. Collins, J. Brolio, J. Griffith, Allen Hanson, Ed Riseman
TR 87- 6 12/31/87
Using Partial Global Plans to Coordinate Distributed Problem Solvers
Edmund H. Durfee and Victor R. Lesser
TR 87- 7 02/28/87
Incremental Planning to Control a Time-constrained, Blackboard-based
Problem Solver
Edmund H. Durfee and Victor R. Lesser
TR 87- 8 12/31/87
The GRAPPLE Plan Formalism
Karen Huff and Victor R. Lesser
TR 87- 9 09/30/87
A Plan-Based Intelligent Assistant That Supports the Process of Programming
Karen E. Huff and Victor R. Lesser
TR 87- 10 12/31/87
Meta-plans That Dynamically Reformulate Plans
Karen E. Huff, Victor R. Lesser
TR 87- 11 12/31/87
A Reconsideration of the Termination Conditions of the Henschen-Naqvi
Technique
David A. Briggs
TR 87- 12 02/28/87
A Model of Visibility Control
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
TR 87- 13 12/31/87
Knowledge Acquisition as Knowledge Assimilation
Lawrence S. Lefkowitz, Victor R. Lesser
TR 87- 14 01/31/87
Low Level Vision System
James H. Burrill
TR 87- 15 01/31/87
Show-Plane and Friends User's Manual
Robert Heller
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 16 12/31/87
Reasoning About Exceptions in an Interactive Planning System
Carol A. Broverman, W. Bruce Croft
TR 87- 17 12/31/87
The Diogenes Design Methodology: From Embedding to Layout
Lenwood S. Heath, Arnold L. Rosenberg, Bruce T. Smith
TR 87- 18 12/31/87
Vertex Types in Book-Embeddings
Jonathan F. Buss, Arnold L. Rosenberg, Judson D. Knott
TR 87- 19 12/31/87
An Optimal Mapping of the FFT algorithm onto the Hypercube Architecture
Lenwood S. Heath, Arnold L. Rosenberg
TR 87- 20 03/31/87
Summary of Progress in Image Understanding at the University of
Massachusetts
Allen R. Hanson and Edward R. Riseman
TR 87- 21 03/31/87
Measuring Visual Motion From Image Sequences
Ph.D. Thesis
Padmanabhan Anandan, Ph.D. Thesis, May, 1987
TR 87- 22 12/31/87
The Simple Simon Programming Environment
Janice E. Cuny, John W. Hagerman, Duane A. Bailey, Alfred A. Hough
TR 87- 23 12/31/87
Graph Grammar Based Specification of Interconnection Structures for
Massively Parallel Computation
Duane A. Bailey, Janice E. Cuny
TR 87- 25 12/31/87
An Approach to Programming Process Interconnection Structures: Aggregate
Rewriting Graph Grammars
Duane A. Bailey, Janice E. Cuny
TR 87- 26 03/31/87
Reconstruction of Surfaces from Profiles
Peter Giblin, Richard Weiss
TR 87- 27 12/31/87
Shuffle Automata: A Formal Model for Behavior Recognition in Distributed
Systems
Peter C. Bates
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 28 12/31/87
Distributed Debugging Tools for Heterogeneous Distributed Systems
Peter Bates
TR 87- 29 12/31/87
Two Attentional Models of Classical Conditioning: Variations in CS
Effectiveness Revisited
Nestor A. Schmajuk and John W. Moore
TR 87- 30 12/31/87
ManiplIcons in Thinkertoy
Steven H. Gutfreund
TR 87- 31 04/30/87
Goal-Directed Control of Low-Level Processes for Image Interpretation
Charles A. Kohl, Allen R. Hanson, Edward M. Riseman
TR 87- 32 12/31/87
A Temporal Logic of Finite State Systems
Victor Yodaiken, Krithi Ramamritham
TR 87- 33 12/31/87
Towards Determining Variable Overlap in Recursive Rule Expansions
David A. Briggs
TR 87- 34 04/30/87
The Effect of Spatial Discretization on the Magnitude and Direction
Response of Simple Differential Edge Operators on a Step Edge; Part 1:
Pixel Receptive Fields, L.J. Kitchen and J.A. Malin
TR 87- 35 12/31/87
EBBA Modelling Tool a.k.a Event Definition Language
Peter Bates
TR 87- 37 04/30/87
Achieving Flexibility, Efficiency, and Generality in Blackboard
Architectures
Daniel D. Corkill, Kevin Q. Gallagher, and Philip M. Johnson
TR 87- 38 12/31/87
Managing Stack Frames in Smalltalk
J.Eliot B. Moss
TR 87- 39 12/31/87
Expressing Linear Recursions as Graph Traversals
David A. Briggs
TR 87- 40 12/31/87
Acyclic Fork-Join Queueing Networks
Francois Baccelli, William A. Massey, Don Towsley
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 41 05/31/87
Using LLVS Under VMS
James H. Burrill, Robert Heller
TR 87- 42 12/31/87
Apt: A System to Direct and Control Natural Language Generation
Penelope Sibun
TR 87- 43 07/31/87
Modifiable Combining Functions
Paul R. Cohen, Glenn Shafer and Prakash P. Shenoy
TR 87- 44 12/31/87
Knowledge Engineering Tools at the Architecture Level
Thomas Gruber and Paul Cohen
TR 87- 45 12/31/87
Steps Towards Programs that Manage Uncertainty
Paul R. Cohen
TR 87- 46 12/31/87
MU: A Development Environment for Prospective Reasoning Systems
Paul R. Cohen, Michael Greenberg, Jefferson Delisio
TR 87- 47 12/31/87
The Edinburgh Designer System as a Framework for Robotics or the Design of
Behavior
R.J. Popplestone
TR 87- 48 12/31/87
The Information Fusion Problem: Forming Token Aggregations Across
Multiple Representations
Edward Riseman, Allen Hanson, and Robert Belknap
TR 87- 49 06/30/87
Factors Contributing to Efficiency in Natural Language Generation
David D. McDonald, Marie W. Meteer (Vaughan), and James D. Pustejovsky
TR 87- 50 12/31/87
Constraints on the Generation of Adjunct Clauses
Alison K. Heuttner, Marie M. Vaughan, David D. McDonald
TR 87- 51 12/31/87
Arguments for a Message Level in Natural Language Generation
David D. McDonald and Marie M. Vaughan
TR 87- 52 05/31/87
Analysis of Fork-Join Jobs Using Processor-Sharing
C.G. Rommel, D. Towsley, J.A. Stankovic
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 53 04/10/87
The Design of the Spring Kernel
John A. Stankovic and Krithi Ramamritham
TR 87- 54 04/30/87
Overview of the Spring Project
Krithi Ramamritham and John A. Stankovic
TR 87- 55 06/10/87
Scheduling Algorithms for Hard Real-Time Systems--A Brief Survey
Sheng-Chang Cheng, John A. Stankovic, Krithivasan Ramamritham
TR 87- 56 06/30/87
Determining Temporal Persistence and Consistent Edge Motion From Natural
Images
Philip Kahn
TR 87- 57 07/31/87
Real-Time Feature Extraction: a Fast Line Finder for Vision-Guided
Robot Navigation
Philip Kahn, Leslie Kitchen and Edward Riseman
TR 87- 58 07/23/87
I3R: A New Approach to the Design of Document Retrieval System
W.B. Croft and R.H. Thompson
TR 87- 59 06/30/87
Integrating BB1-Style Control into the Generic Blackboard System
Philip M. Johnson, Daniel D. Corkill, Kevin Q. Gallagher
TR 87- 60 07/31/87
Complexity of Connectionist Learning with Various Node Functions
J. Stephen Judd
TR 87- 61 06/24/87
On Validating Parallel Architectures Via Graph Embeddings
Arnold L. Rosenberg
TR 87- 62 02/28/87
Dynamic Construction of Decisions
Adele Howe and Paul Cohen
TR 87- 63 07/31/87
Next Generation Software Environments: Principles, Problems, and Research
Directions
R.N. Taylor, D.A. Baker, F.C. Belz, B.W. Boehm, L.A. Clarke, et. al.
TR 87- 64 12/31/87
Computation of Optic Flow by Multilevel Relaxation
Frank C. Glazer
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 65 07/31/87
Toward Support for Environment Prototyping
Lori A. Clarke, Jack C. Wileden and Alexander L. Wolf
TR 87- 66 09/30/87
Information Retrieval by Constrained Spreading Activation in Semantic
Networks
Paul R. Cohen and Rick Kjeldsen
TR 87- 67 07/31/87
A Task Grammar Approach to the Structure and Analysis of Robot Programs
R. Vijaykumar, S. Venkataraman, G. Dakin, D.M. Lyons
TR 87- 68 12/31/86
Log-Based Recovery for Nested Transactions
J.Eliot B. Moss
TR 87- 69 09/30/87
Implementing Persistence for an Object Oriented Language
J. Eliot B. Moss
TR 87- 71 08/04/87
A Perfect Lookup Table Evaluation Function for the Eight-Puzzle
Paul E. Utgoff and Sharad Saxena
TR 87- 72 10/31/87
Multiple Knowledge Sources in Intelligent Teaching
Beverly P. Woolf and Patricia Cunningham
TR 87- 73 08/31/87
A Computational Framework and an Algorithm for the Measurement of Visual
Motion
P. Anandan
TR 87- 75 12/31/87
Building a Community Memory for Intelligent Tutoring Systems
Beverly Woolf and Pat Cunningham
TR 87- 76 08/31/87
The Image Understanding Architecture
C.C. Weems, S.P. Levitan, A.R. Hanson, E.M. Riseman, J.G. Nash, D.B. Shu
TR 87- 77 12/31/87
Building a Computer Tutor: Design Issues
Beverly Woolf and David D. McDonald
TR 87- 78 08/31/87
Test Data Selection Using the RELAY Model of Error Detection
Debra J. Richardson and Margaret C. Thompson
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 79 08/20/87
Design of Efficient Parameter Estimators for Decentralized Load
Balancing Policies
Spiridon Pulidas, Don Towsley, Jack Stankovic
TR 87- 80 09/30/87
Towards Cosmopolitan Robots: Intelligent Navigation in Extended
Man-Made Environments Ph.D. Thesis
Ronald C. Arkin
TR 87- 81 04/30/87
The Control of Reasoning Under Uncertainty: A Discussion of Some
Programs
Paul R. Cohen
TR 87- 82 08/31/87
Steps Toward Automating Decision Making
Adele E. Howe and Paul R. Cohen
TR 87- 83 08/26/87
A Comparison of the Processor Sharing and First Come First Serve Policies
for Scheduling Fork-Join Jobs in Multiprocessors
D. Towsley, C. G. Rommell and J. A. Stankovic
TR 87- 84 09/30/87
A Unified Approach to Dynamic Coordination: Planning Actions and
Interactions in a Distributed Problem Solving Network Ph.D. Thesis
Edmund H. Durfee
TR 87- 85 08/20/87
An Approach to Recognition in 2D Images of 3D Objects From Large Model
Bases
J. Brian Burns and Leslie J. Kitchen
TR 87- 86 08/28/87
Interval Hypergraphs
Arnold L. Rosenberg
TR 87- 87 12/31/87
Mumble-86: Design and Implementation
M.Meteer, D.McDonald, S.Anderson, D.Forster, L.Gay, A.Huettner, P.Sibun
TR 87- 88 10/31/87
Segmenting Images Using Localized Histograms and Region Merging
J.R. Beveridge, J. Griffith, R. Kohler, A. Hanson and E. Riseman
TR 87- 89 12/31/87
Toward a General Architecture for Intelligent Tutoring Systems
Tom Murray
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 91 09/01/87
Decentralized Decision Making for Task Reallocation in a Hard Real Time
System
John A. Stankovic
TR 87- 92 09/30/87
Performance Comparison of Error Control Schemes in High Speed Computer
Communication Networks
Amit Bhargava, James F. Kurose, Don Towsley, Guy VanLeemput
TR 87- 93 07/31/87
A Note on a Theorem of Razborov
David A. Mix Barrington
TR 87- 94 07/31/87
Finite Monoids and the Fine Structure of NC
David A. Mix Barrington and Denis Therien
TR 87- 95 12/30/87
ID5: An Incremental ID3
Paul E. Utgoff
TR 87- 96 12/31/87
A Tactile Sensing Strategy for Model-Based Object Recognition
Ph.D. Thesis
R.E. Ellis
TR 87- 97 09/30/87
The Arcadia Environment Architecture
R.N. Taylor, F.C. Belz, L.A. Clarke, L. Osterweil, R.W. Selby, J.C. Wileden
TR 87- 99 07/15/87
On Maximizing the Number of Departures Before a Deadline on Multiple
Processors
Randolph Nelson, Don Towsley
TR 87- 100 02/28/87
Analysis of the Effects of Delays on Load Sharing
Ravi Mirchandaney, Don Towsley and John A. Stankovic
TR 87- 101 07/15/87
On the Diameter of a Class of Random Graphs
Thomas K. Phillips, Don Towsley and Jack K. Wolf
TR 87- 102 04/01/87
Optimal Scheduling Policies for a Class of Queues with Customer Deadlines
to the Beginning of Service
Shivendra S. Panwar, Don Towsley and Jack K. Wolf
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 103 12/31/87
Bounded Width Polynominal Size Branching Programs Recognize Exactly Those
Languages in NC
David A. Mix Barrington
TR 87- 104 10/31/87
Token-Based Extraction of Straight Lines
Michael Boldt and Richard S. Weiss
TR 87- 105 10/19/87
Learning from Derived Oracles
Sharad Saxena
TR 87- 106 10/20/87
Characterizing complex state machines in modal logic
Victor Yokaiken and Krithi Ramamritham
TR 87- 107 10/31/87
Case-Based Reasoning as a Paradigm for Heuristic Search
Wendy G. Lehnert
TR 87- 108 10/31/87
Interpretation in a Tool-Fragment Environment
Steven J. Zeil and Edward C. Epp
TR 87- 109 10/31/87
Graphite Reference Manual
Alexander L. Wolf
TR 87- 110 11/01/87
A Window Protocol for Transmission of Time Constrained Messages
Wei Zhao, John A. Stankovic and Krithi Ramamritham
TR 87- 111 10/31/87
An Update on the Distributed Vehicle Monitoring Testbed
Victor R. Lesser, Daniel D. Corkill and Edmund H. Durfee
TR 87- 112 07/15/87
An Asymptotic Analysis of a Threshold Load Balancing Policy
Kyoo Jeong Lee and Don Towsley
TR 87- 113 10/27/87
Distributed Optimization Algorithms for Quasi-Static Threshold Load
Balancing
Kyoo Jeong Lee and Don Towsley
TR 87- 114 10/31/87
The PLUM Users Manual
W. Lehnert and S. Rosenberg
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 115 10/31/87
Experiments with PLUM
W. Lehnert, K. Narasimhan, B. Draper, B. Stucky and M. Sullivan
TR 87- 116 10/29/87
A Hybrid Media Access Protocol for Fiber Optic Ring Networks
A. Bhargava, J. Kurose, D. Towsley
TR 87- 117 11/02/87
Increased Rates of Convergence Through Learning Rate Adaptation
Robert A. Jacobs
TR 87- 118 11/05/87
Learning to Predict Noise Level for PWB Layout
Paul E. Utgoff and Peter S. Heitman
TR 87- 119 09/30/87
Testing Based on the RELAY Model of Error Detection
Debra J. Richardson and Margaret C. Thompson
TR 87- 120 12/31/87
GBB Reference Manual (V1.1 -- Draft Manual)
Philip M. Johnson, Kevin Q. Gallagher and Daniel D. Corkill
TR 87- 121 11/09/87
Scheduling Groups of Tasks in Distributed Hard Real-Time Systems
Sheng-Chang Cheng, John A. Stankovic and Krithivasan Ramamritham
TR 87- 122 11/23/87
A Queueing Network Model for a Distributed Database Testbed System
Bao-Chyuan Jenq, Walter H. Kohler, and Don Towsley
TR 87- 123 11/23/87
Bounds for Two Server Fork-Join Queueing Systems
Don Towsley and Shou-Pin Yu
TR 87- 124 12/31/87
Constrained Expressions: Toward Broad Applicability of Analysis Methods
For Distributed Software Systems
L.K. Dillon, G.S. Avrunin and J.C. Wileden
TR 87- 125 11/30/88
Experiments in Constrained Expression Analysis
George S. Avrunin
TR 87- 126 12/31/87
Approximate Processing in Real-Time Problem Solving
Victor Lesser, Jasmina Pavlin and Edmund Durfee
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 87- 127 12/31/87
SPANDEX: An Approach Toward Exception Handling in an Interactive
Planning System
Carol A. Broverman and W. Bruce Croft
TR 87- 128 12/31/87
Toward Automating Analysis Support for Developers of Distributed Software
George S. Avrunin and Jack C. Wileden
TR 87- 129 12/31/87
From Image Measurements to Object Hypotheses
Allen R. Hanson and Edward M. Riseman
TR 87- 130 12/31/87
Planning Coordinated Actions in Dynamic Domains
Edmund H. Durfee and Victor R. Lesser
TR 87- 131 12/01/87
Sensitivity Analysis From Sample Paths Using Likelihoods
Philip Heidelberger and Don Towsley
TR 87- 132 02/29/88
Motion From A Sequence of Images
Igor Pavlin
TR 87- 133 12/31/87
Group Action Graphs and Parallel Architectures
Fred Annexstein, Marc Baumslag and Arnold L. Rosenberg
TR 87- 134 09/30/87
Paragon, an Interactive, Extensible, Environment for Typeface Design
Ph.D. Thesis
Lynn Elizabeth Ruggles
TR 88- 1 01/31/88
Modeling Legal Argument Reasoning With Cases and Hypotheticals
Ph.D. Thesis
Kevin Ashley
TR 88- 2 01/31/88
Knowledge-Based Natural Language Understanding: A AAAI-87 Survey Talk
Wendy G. Lehnert
TR 88- 3 01/31/88
The Evolution and Performance of the GRANT System
Rick Kjeldsen and Paul R. Cohen
TR 88- 4 01/24/88
Overview of the Carat Project
W.H. Kohler, J.A. Stankovic and D.F. Towsley
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 5 01/19/88
Relative Reward Strength Algorithms for Learning Automata With Applications
to Routing in Computer Networks
Rahul Simha and James F. Kurose
TR 88- 6 01/06/88
Real-Time Computing Systems: The Next Generation
John A. Stankovic
TR 88- 7 05/31/88
AURA: An Architecture for Vision-Based Robot Navigation
Ronald C. Arkin, Edward M. Riseman and Allen R. Hanson
TR 88- 8 03/07/88
Perceptron Trees: A Case Study in Hybrid Concept Representations
Paul E. Utgoff
TR 88- 9 02/01/88
Optimal Allocation of Multiple Class Resources in Computer Systems
A.N. Tantawi, D. Towsley and J. Wolf
TR 88- 11 02/01/88
Resequencing Delay and Buffer Occupancy in Selective Repeat ARQ With
Multiple Receivers
Nachum Shacham and Don Towsley
TR 88- 12 02/11/88
Distributed Routing With On-Line Marginal Delay Estimation
C. Cassandras, M. Abidi and D. Towsley
TR 88- 13 02/28/88
Evidence-Based Plan Recognition
Norman Carver
TR 88- 14 03/31/88
The Centrality of Autonomous Agents in Theories of Action Under Uncertainty
Paul R. Cohen and David S. Day
TR 88- 15 02/15/88
A Dual Optimization Approach for Distributed Minimum Delay Routing With
Constraints in Communication Networks
Kyoo Jeong Lee, Don Towsley and Myungwhan Choi
TR 88- 16 04/30/88
Retrieving Documents by Plausible Inference: A Preliminary Study
W.B. Croft, T.J. Lucia and P.R. Cohen
TR 88- 17 03/31/88
A Case-Based Approach to Modeling Legal Expertise
Kevin D. Ashley and Edwina L. Rissland
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 18 03/31/88
Plan Recognition in Open Worlds
Karen E. Huff and Victor R. Lesser
TR 88- 19 03/31/88
Goal Relationships in Blackboard Architectures
V. R. Lesser, D. D. Corkill, J. A. Hernandez and R. C. Whitehair
TR 88- 20 03/31/88
Beyond ISA: Structures for Plausible Inference in Semantic Networks
Paul R. Cohen and Cynthia L. Loiselle
TR 88- 21 03/31/88
The Invisible Hand: How Evaluation Guides AI Research
Paul R. Cohen and Adele E. Howe
TR 88- 22 04/30/88
Goal-Directed Control for Computer Vision
Ph.D. Thesis
Charles A. Kohl
TR 88- 23 02/28/88
Optimal Embeddings of the FFT Graph in the Hypercube
David S. Greenberg, Lenwood S. Heath and Arnold L. Rosenberg
TR 88- 24 02/28/88
Evidential-Based Control in Knowledge-Based Systems
Ph.D. Thesis
Leonard P. Wesley
TR 88- 25 03/31/88
The Prototype Gutenberg System
(version UM2.0)
Panayiotis Chrysanthis, Hanuma Kodavalla, Krithi Ramamritham, David Stemple
TR 88- 26 03/31/88
Action
Michael I. Jordan and David A. Rosenbaum
TR 88- 27 05/31/88
Supervised learning and systems with excess degrees of freedom
Michael I. Jordan
TR 88- 28 03/31/88
GRAPH EMBEDDINGS 1988: Recent Breakthroughs, New Directions
Arnold L. Rosenberg
TR 88- 29 04/30/88
Automatic Verification of Database Transaction Safety
Tim Sheard and David Stemple
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 30 04/30/88
Managing Persistent Data with Mneme: Issues and Application of a Reliable,
Shared Object Interface
J. Eliot B. Moss and Steven Sinofsky
TR 88- 31 04/30/88
Toward AI Research Methodology: Three Case Studies in Evaluation
Paul R. Cohen and Adele E. Howe
TR 88- 32 05/31/88
Summary of Image Understanding Research at the University of Massachusetts
Edward M. Riseman and Allen R. Hanson
TR 88- 33 04/30/88
Relating Human Knowledge of Tasks to the Requirement of Plan Libraries
Dirk E. Mahling and W. Bruce Croft
TR 88- 34 04/30/88
An Integrated Understanding Benchmark: Recognition of a 2 1/2 D "MOBILE"
Charles Weems, Edward Riseman, Allan Hanson and Azriel Rosenfeld
TR 88- 35 04/04/88
Common Lisp Object Representation Strategies: The Umass Concurrent &
Common Lisp Implementation
Kelly E. Murray and Daniel D. Corkill
TR 88- 36 04/30/88
Language-Oriented Information Retrieval
David D. Lewis, W.B. Croft and Nehru Bhandaru
TR 88- 37 05/31/88
Tuning a Blackboard-based Application: A case study using GBB
Daniel D. Corkill and Kevin Q. Gallagher
TR 88- 38 08/31/88
Design Alternatives for Parallel and Distributed Blackboard Systems
Daniel D. Corkill
TR 88- 40 04/30/88
Hamiltonian Circuits in Cayley Digraphs
Fred Annexstein and Marc Baumslag
TR 88- 42 10/31/88
Canister Communication in Parallel Programs
Duane A. Bailey and Janice E. Cuny
TR 88- 43 05/31/88
Foundations for the Arcadia Environment Architecture
R.Taylor, F.Belz, L.Clarke, L.Osterweil, R.Selby, J.Wileden, A.Wolf,M.Young
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 44 04/30/88
Directing the Generation of Living Space Descriptions
Penelope Sibun, Alison K. Huettner and David D. McDonald
TR 88- 46 04/30/88
Inferring Software System Structure
Philip Johnson
TR 88- 50 05/31/88
Computation of Motion in Depth Parameters: A First Step in Stereoscopic
Motion Interpretation
P. Balasubramanyam and M. A. Snyder
TR 88- 51 02/29/88
Overview of the Spring Project
Krithi Ramamritham and John A. Stankovic
TR 88- 52 05/31/88
Issues in Extracting Motion Parameters and Depth From Approximate
Translational Motion
R. Dutta, R. Manmatha, E. Riseman and M. A. Snyder
TR 88- 55 05/31/88
Optimal Simulations by Butterfly Networks
S.N. Bhatt, F.R.K. Chung, J.-W. Hong, F.T. Leighton & A.L. Rosenberg
TR 88- 56 06/30/88
Plausible Explanations to Cope with Unanticipated Behavior in Planning
Carol A. Broverman and W. Bruce Croft
TR 88- 57 09/30/87
Research Initiative in Case-Based Reasoning
Edwina L. Rissland
TR 88- 58 05/31/88
Dimension-Based Analysis of Hypotheticals from Supreme Court Oral
Argument
Edwina L. Rissland
TR 88- 59 05/31/88
HYPO: A Precedent-Based Legal Reasoner
Edwina L. Rissland
TR 88- 60 09/15/88
On Uniformity Within NC1
David A. Mix Barrington, Neil Immerman, Howard Straubing
TR 88- 62 06/30/88
Credit Assignment and the Problem of Competing Factors in Case-Based
Reasoning
Edwina L. Rissland and Kevin D. Ashley
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 63 08/31/88
PGRAPHITE: An Experiment in Persistent Typed Object Management
Jack C. Wileden, Alexander L. Wolf, Charles D. Fisher and Peri L. Tarr
TR 88- 64 05/31/88
TEAM: A Support Environment for Testing, Evaluation, and Analysis
Revised
Lori A. Clarke, Debra J. Richardson and Steven J. Zeil
TR 88- 65 10/31/88
From Chemotaxis to Cooperativity: Abstract Exercises in Neuronal Learning
Strategies
Andrew G. Barto
TR 88- 66 07/31/88
GBB Reference Manual
GBB Version 1.2
Kevin Q. Gallagher, Daniel D. Corkill and Philip M. Johnson
TR 88- 67 07/31/88
Managing Persistent Data with Mneme: Designing a Reliable, Shared Object
Interface
J. Eliot B. Moss and Steven Sinofsky
TR 88- 68 08/31/88
Translating Optical Flow Into Token Matches and Depth From Looming
Lance R. Williams and Allen R. Hanson
TR 88- 70 08/31/88
Preliminary Report on the OROS Type Model
William R. Rosenblatt, Jack C. Wileden and Alexander L. Wolf
TR 88- 71 08/31/88
Constraint Manipulation for Example Generation
Daniel D. Suthers and Edwina L. Rissland
TR 88- 72 09/30/88
ThinkerToy: An Environment for Decision Support
Ph.D. Thesis
Steven Hugh Gutfreund
TR 88- 73 07/31/88
A Formal Evaluation of Data Flow Path Selection Criteria
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
TR 88- 74 08/31/88
Universal Graphs for Bounded-Degree Trees and Planar Graphs
Sandeep Bhatt, F.R.K. Chung, F.T. Leighton, Arnold L. Rosenberg
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 75 09/30/88
Automatic Planning of Robotic Assembly Tasks
Rukmini Vijaykumar
TR 88- 76 09/30/88
The Schema System
B. Draper, R. Collins, J. Brolio, A. Hanson and E. Riseman
TR 88- 77 08/23/88
Non-Uniform Automata Over Groups
Barrington, Straubing and Therien
TR 88- 78 08/31/88
Persistent Owl: Heap Management and Integration with Mneme
Vassiliki Christou and J. Eliot B. Moss
TR 88- 79 08/16/88
Time-Driven Parallel Simulation of Multistage Interconnection Networks
Qing Yu, Don Towsley, Philip Heidelberger
TR 88- 81 07/31/88
On the Optimality of the STE Rule for Multiple Server Queues That Serve
Customers With Deadlines
Shivendra S. Panwar and Don Towsley
TR 88- 82 10/31/88
The Integration of Deadline and Criticalness in Hard Real-Time Scheduling
Sara R. Biyabani, John A. Stankovic and Krithi Ramamritham
TR 88- 83 09/30/88
Specifying Communication for Massively Parallel Ensemble Machines
Duane A. Bailey
TR 88- 84 09/27/88
Shuffle-Oriented Interconnection Networks
Arnold L. Rosenberg
TR 88- 85 10/03/88
The Design of the Spring Kernel
John A. Stankovic and Krithi Ramamritham
TR 88- 86 10/03/88
Interpreting Nominal Compounds for Information Retrieval
Linda S. Gay
TR 88- 87 10/31/88
Optimization Problems in a Hierarchical Setting
Robert Moll and Bruce MacLeod
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 88 12/31/88
The Design and Implementation of an Intelligent Interface for Information
Retrieval --- Ph.D. Thesis
Roger Howard Thompson
TR 88- 89 08/31/88
Evaluating Research in Cooperative Distributed Problem Solving
Keith S. Decker, Edmund H. Durfee and Victor R. Lesser
TR 88- 91 09/30/88
A Stochastic Algorithm for Learning Real-valued Functions via Reinforcement
Feedback
Vijaykumar Gullapalli
TR 88- 92 10/03/88
Distributed Scheduling of Tasks With Deadlines and Resource Requirements
K. Ramamritham, J. Stankovic and W. Zhao
TR 88- 93 10/31/88
On Optimal File Allocation With Sharing
S. Tripathi, Y. Huang and D. Towsley
TR 88- 94 12/31/88
Efficient Embeddings of Trees in Hypercubes
S.N. Bhatt, F.R.K. Chung, F.T. Leighton and A.L. Rosenberg
TR 88- 95 11/30/88
Toward Principles of Inheritance and Subtyping in Programming Languages
J. Eliot B. Moss and Alexander L. Wolf
TR 88- 97 11/07/88
The Spring Kernel: A New Paradigm for Real-Time Operating Systems
John A. Stankovic and Krithi Ramamritham
TR 88- 98 10/17/88
An Optimal Priority Inheritance Protocol for Real-Time Synchronization
R. Rajkumar, L. Sha, J.P. Lehoczky and K. Ramamritham
TR 88- 99 11/30/88
Symbolic/Subsymbolic Sentence Analysis: Exploiting the Best of Two Worlds
Wendy G. Lehnert
TR 88- 100 09/30/88
Connectionist and Other Computation Models
Jiawei Hong and Xiaonan Tan
TR 88- 103 12/19/88
Optimal Embeddings of Butterfly-Like Graphs in the Hypercube
David S. Greenberg, Lenwood S. Heath and Arnold L. Rosenberg
Technical Report Listing from 1980 - COINS Dept, University of Mass. at Amherst
-------------------------------------------------------------------------------
TR 88- 104 12/21/88
A Relationship Between Classification Accuracy and Search Quality
Sharad Saxena and Paul E. Utgoff