Advanced Search
DSpace@MIT

Browsing AI Technical Reports (1964 - 2004) by Title

Research and Teaching Output of the MIT Community

Browsing AI Technical Reports (1964 - 2004) by Title

Sort by: Order: Results:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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. ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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: ...
  • Raibert, Marc H.; Brown, H. Benjamin, Jr.; Chepponis, Michael; Koechling, Jeff; Hodgins, Jessica K.; Dustman, Diane; Brennan, W. Kevin; Barrett, David S.; Thompson, Clay M.; Hebert, John Daniell; Lee, Woojin; Borvansky, Lance (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 ...
  • 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 ...
  • 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 ...
  • 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 ...
MIT-Mirage