Now showing items 66-85 of 327

    • Dataflow Computation for the J-Machine 

      Spertus, Ellen (1990-05-01)
      The dataflow model of computation exposes and exploits parallelism in programs without requiring programmer annotation; however, instruction- level dataflow is too fine-grained to be efficient on general-purpose ...
    • The Definition and Implementation of a Computer Programming Language Based on Constraints 

      Steele, Guy Lewis, Jr. (1980-08-01)
      The constraint paradigm is a model of computation in which values are deduced whenever possible, under the limitation that deductions be local in a certain sense. One may visualize a constraint 'program' as a network ...
    • Dependency Directed Reasoning for Complex Program Understanding 

      Shrobe, Howard Elliot (1979-04-01)
      Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to ...
    • Dependency-Directed Localization of Software Bugs 

      Kuper, Ron I. (1989-05-01)
      Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest ...
    • Derivation of an Efficient Rule System Pattern Matcher 

      Wertheimer, Jeremy M. (1989-02-01)
      Formalizing algorithm derivations is a necessary prerequisite for developing automated algorithm design systems. This report describes a derivation of an algorithm for incrementally matching conjunctive patterns against ...
    • Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot 

      Hewitt, Carl (1972-04-01)
      Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. ...
    • Design and Control of a Closed-Loop Brushless Torque Actuator 

      Levin, Michael Dean (1990-05-01)
      This report explores the design and control issues associated with a brushless actuator capable of achieving extremely high torque accuracy. Models of several different motor - sensor configurations were studied to ...
    • Design and Control of an Anthropomorphic Robotic Finger with Multi-point Tactile Sensation 

      Banks, Jessica (2001-05-01)
      The goal of this research is to develop the prototype of a tactile sensing platform for anthropomorphic manipulation research. We investigate this problem through the fabrication and simple control of a planar 2-DOF robotic ...
    • Design and Evaluation of the Hamal Parallel Computer 

      Grossman, J.P. (2002-12-05)
      Parallel shared-memory machines with hundreds or thousands of processor-memory nodes have been built; in the future we will see machines with millions or even billions of nodes. Associated with such large systems is a new ...
    • Design and Implementation of a Flexible Robot 

      Christian, Andrew Dean (1989-08-01)
      This robot has low natural frequencies of vibration. Insights into the problems of designing joint and link flexibility are discussed. The robot has three flexible rotary actuators and two flexible, interchangeable ...
    • The Design of a Mechanical Assembly System 

      Lozano-Perez, Tomas (1976-12-01)
      This thesis describes a mechanical assembly system called LAMA (Language for Automatic Mechanical Assembly). The goal of the work was to create a mechanical assembly system that transforms a high-level description of an ...
    • The Design of Shape from Motion Constraints 

      Caine, Michael E. (1993-09-01)
      This report presents a set of representations methodologies and tools for the purpose of visualizing, analyzing and designing functional shapes in terms of constraints on motion. The core of the research is an interactive ...
    • Designing Computer Games to Facilitate Learning 

      White, Barbara Y. (1981-02-01)
      The aim of this thesis was to explore the design of interactive computer learning environments. The particular learning domain selected was Newtonian dynamics. Newtonian dynamics was chosen because it is an important ...
    • Determining the Scope of English Quantifiers 

      Vanlehn, Kurt A. (1978-06-01)
      How can one represent the meaning of English sentences in a formal logical notation such that the translation of English into this logical form is simple and general? This report answers this question for a particular ...
    • Dexterous Robotic Hands: Kinematics and Control 

      Narasimhan, Sundar (1988-11-01)
      This report presents issues relating to the kinematics and control of dexterous robotic hands using the Utah-MIT hand as an illustrative example. The emphasis throughout is on the actual implementation and testing of ...
    • A Distributed Model for Mobile Robot Environment-Learning and Navigation 

      Mataric, Maja J. (1990-05-01)
      A distributed method for mobile robot navigation, spatial learning, and path planning is presented. It is implemented on a sonar-based physical robot, Toto, consisting of three competence layers: 1) Low-level navigation: ...
    • The Dynamic Structure of Everyday Life 

      Agre, Philip E. (1988-10-01)
      Computational theories of action have generally understood the organized nature of human activity through the construction and execution of plans. By consigning the phenomena of contingency and improvisation to ...
    • Dynamically Stable Legged Locomotion (September 1985-Septembers1989) 

      Raibert, Marc H.; Brown, H. Benjamin, Jr.; Chepponis, Michael; Koechling, Jeff; Hodgins, Jessica K.; e.a. (1989-09-01)
      This report documents our work in exploring active balance for dynamic legged systems for the period from September 1985 through September 1989. The purpose of this research is to build a foundation of knowledge that ...
    • The Early Detection of Motion Boundaries 

      Spoerri, Anselm (1990-05-01)
      This thesis shows how to detect boundaries on the basis of motion information alone. The detection is performed in two stages: (i) the local estimation of motion discontinuities and of the visual flowsfield; (ii) the ...
    • The Effect of Transmission Design on Force-Controlled Manipulator Performance 

      Townsend, William T. (William Thomas) (1988-04-01)
      Previous research in force control has focused on the choice of appropriate servo implementation without corresponding regard to the choice of mechanical hardware. This report analyzes the effect of mechanical properties ...