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:

  • Goldstein, Ira P. (1978-01-01)
    I shall describe a model of the evolution of the rule-structured knowledge that serves as a cornerstone of our development of computer-based coaches. The key idea is a graph structure whose nodes represent rules, and ...
  • Shashua, Amnon (1993-07-01)
    We investigate the differences --- conceptually and algorithmically --- between affine and projective frameworks for the tasks of visual recognition and reconstruction from perspective views. It is shown that an affine ...
  • Shadmehr, Reza; Mussa-Ivaldi, Ferdinando (1993-07-01)
    The objects with which the hand interacts with may significantly change the dynamics of the arm. How does the brain adapt control of arm movements to this new dynamic? We show that adaptation is via composition of a ...
  • Doyle, Jon (1978-11-01)
    To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth maintenance system ...
  • Doyle, Jon (1978-02-01)
    Many procedurally-oriented problem solving systems can be viewed as performing a mixture of computation and deduction, with much of the computation serving to decide what deductions should be made. This results in ...
  • Siapas, Athanassios G. (1992-12-01)
    We present a novel approach to parameter estimation of systems with complicated dynamics, as well as evidence for the existence of a universal power law that enables us to quantify the dependence of global geometry ...
  • Torralba, Antonio; Oliva, Aude (2001-12-01)
    In the absence of cues for absolute depth measurements as binocular disparity, motion, or defocus, the absolute distance between the observer and a scene cannot be measured. The interpretation of shading, edges and junctions ...
  • Abelson, Hal; Adams, Jim (1974-12-01)
    This is a brief description of the primitives in PDP 11 LOGO. It is intended to provide a quick reference for users who are already familiar with LOGO basics. For a more detailed and comprehensive description of LOGO, ...
  • Goldenberg, E. Paul (1975-03-01)
    This glossary was written for the purpose of providing a quick and concise yet accurate description of the primitives and special words and characters of the March 18, 1975 PDP 11 implementation of the LOGO languge. ...
  • Abbott, Russ (1967-06-01)
    Underlined terms are included in the glossary.
  • Waters, Richard C. (1981-10-01)
    A pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is divided ...
  • Waters, Richard C. (1982-09-01)
    A Lisp pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is ...
  • Ristad, Eric Sven (1985-03-01)
    Proponents of generalized phrase structure grammar (GPSG) cite its weak context-free generative power as proof of the computational tractability of GPSG-Recognition. Since context-free languages (CFLs) can be parsed ...
  • Rowe, Neil (1976-10-01)
    This paper discusses some student projects involving generative grammars. While grammars are usually associated with linguisitics, their usefuleness goes far beyond just "language" to make different domains. Their ...
  • Rubin, Andee (1973-03-01)
    The grammar which SHRDLU uses to parse sentences is outlined in a series of flowcharts which attempt to modularize and illuminate its structure. In addition, a short discussion of systemic grammar is included.
  • McAllester, David (1991-12-01)
    We present a term rewriting procedure based on congruence closure that can be used with arbitrary equational theories. This procedure is motivated by the pragmatic need to prove equations in equational theories where ...
  • Minsky, Marvin (1964-01-01)
    It would be useful to develop a combination typewriter-plotter along the lines described below. The device could be coupled to a telephone line with a reasonably small amount of electronics -- mostly relays.
  • Greenblatt, Richard D.; Eastlake, Donald E., III; Crocker, Stephen D. (1969-04-01)
    Since mid-November 1966 a chess program has been under development at the Artificial Intelligence Laboratory of Project MAC at M.I.T. This paper describes the state of the program as of August 1967 and gives some of the ...
  • Poggio, Tomaso; Verri, Allessandro; Torre, Vincent (1991-04-01)
    How can one compute qualitative properties of the optical flow, such as expansion or rotation, in a way which is robust and invariant to the position of the focus of expansion or the center of rotation? We suggest a ...
  • Jacobs, David W. (1989-11-01)
    This paper presents a new method of grouping edges in order to recognize objects. This grouping method succeeds on images of both two- and three- dimensional objects. So that the recognition system can consider first ...
MIT-Mirage