Advanced Search
DSpace@MIT

Browsing AI Memos (1959 - 2004) by Title

Research and Teaching Output of the MIT Community

Browsing AI Memos (1959 - 2004) by Title

Sort by: Order: Results:

  • Lozano-Perez, Tomas; Brooks, Rodney A. (1985-04-01)
    In this paper we propose an architecture for a new task-level system, which we call TWAIN. Task-level programming attempts to simplify the robot programming process but requiring that the user specify only goals for ...
  • Ullman, Shimon (1986-12-01)
    This paper examines the problem of shape-based object recognition and proposes a new approach, the alignment of pictorial descriptions. The first part of the paper reviews general approaches to visual object recognition ...
  • Lathrop, Richard H.; Webster, Teresa A.; Smith, Temple F. (1987-05-01)
    There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit ...
  • Levin, Michael (1961-04-01)
    As of the present, the following parts of LISP 1.5 are working. This is an excerpt from the forth coming LISP 1.5 Programmer's Manual.
  • Steele, Guy Lewis, Jr. (1976-09-01)
    For more than a decade there has been great confusion over the semantics of the standard "arithmetic right shift" instruction. This confusion particularly afflicts authors of computer reference handbooks and of ...
  • Horn, B.K.P. (1969-08-01)
    This is a feature of MIDAS which facilitates the rapid writing and debugging of programs involving much numerical calculation. The statements used are ALGOL-like and easy to interpret.
  • Brady, Michael (1984-02-01)
    Since Robotics is the field concerned with the connection of perception to action, Artificial Intelligence must have a central role in Robotics if the connection is to be intelligent. Artificial Intelligence addresses ...
  • Marr, David (1976-03-01)
    The goal of A.I. is to identify and solve useful information processing problems. In so doing, two types of theory arise. Here, they are labelled Types 1 and 2, and their characteristics are outlined. This discussion creates ...
  • Goldstein, Ira; Papert, Seymour (1975-07-01)
    This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence ...
  • Papert, Seymour (1968-01-01)
    In December 1965 a paper by Hubert Dreyfus revived the old game of generating curious arguments for and against Artificial Intelligence. Dreyfus hit top form in September 1967 with an explanation in the Review of ...
  • Minsky, Marvin; Papert, Seymour (1972-01-01)
    Research at the Laboratory in vision, language, and other problems of intelligence. This report is an attempt to combine a technical progress report with an exposition of our point of view about certain problems in the ...
  • Cohen, Harvey A. (1974-11-01)
    DRAGONs are formidable problems in elementary mechanics not amenable to solution by naﶥ formula cranking. What is the intellectual weaponry one needs to snare a Dragon? To snare a Dragon one brings to mind an heuristic ...
  • Steele, Guy Lewis, Jr.; Sussman, Gerald Jay (1978-05-01)
    We examine the effects of various language design decisions on theprogramming styles available to a user of the language, with particular emphasis on the ability to incrementally construct modular systems. At each ...
  • Papert, Seymour; Watt, Daniel H. (1977-09-01)
    This research will thoroughly document the experiences of a small number of 5th grade children in an elementary school computer laboratory, using LOGO, an advanced computer language designed for children. Four groups ...
  • Alvira, Mariano; Paris, Jim; Rifkin, Ryan (2001-07-01)
    We design and implement a system that recommends musicians to listeners. The basic idea is to keep track of what artists a user listens to, to find other users with similar tastes, and to recommend other artists that these ...
  • Blum, M.; Hewitt, C. (1967-06-01)
    This paper explains our approach to the problem of pattern recognition by serial computer. The rudimentary theory of vision presented here lies within the framework of automata theory. Out goal is to classify the types of ...
  • Zhao, Feng; Thorton, Richard (1991-12-01)
    We describe the automatic synthesis of a global nonlinear controller for stabilizing a magnetic levitation system. The synthesized control system can stabilize the maglev vehicle with large initial displacements from ...
  • Lozano-Perez, Tomas (1980-12-01)
    This paper deals with the class of problems that involve finding where to place or how to move a solid object in the presence of obstacles. The solution to this class of problems is essential to the automatic planning ...
  • McAllester, David (1990-02-01)
    A procedure is given for recognizing sets of inference rules that generate polynomial time decidable inference relations. The procedure can automatically recognize the tractability of the inference rules underlying ...
  • Lozano-Perez, Tomas; Mason, Matthew T.; Taylor, Russell H. (1983-12-01)
    The use of active compliance enables robots to carry out tasks in the presence of significant sensing and control errors. Compliant motions are quite difficult for humans to specify, however. Furthermore, robot programs ...
MIT-Mirage