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