Advanced Search
DSpace@MIT

Browsing AI Working Papers (1971 - 1995) by Title

Research and Teaching Output of the MIT Community

Browsing AI Working Papers (1971 - 1995) by Title

Sort by: Order: Results:

  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971)
    A line verifier is presented which, given the co-ordinates of the end points of the hypothesized line, returns a (possibly) more accurate version of the end points, together with an estimate of the probability that there ...
  • Greenblatt, Richard (MIT Artificial Intelligence Laboratory, 1974-11)
  • Moon, David A. (MIT Artificial Intelligence Laboratory, 1981-06)
    This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ...
  • Baker, Henry G. Jr. (MIT Artificial Intelligence Laboratory, 1977-04-01)
    A real-time list processing system is one in which the time required by each elementary list operation (CONS, CAR, CDR, RPLACA, RPLACD, EQ, and ATOM in LISP) is bounded by a (small) constant. Classical list processing ...
  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971)
    The program (L%LINES X Y) takes feature point output from the FP%FPOINTS program (q.v.) for horizontal and vertical scans (X and Y respectively); and outputs a list consisting of two lists of line segments, represented in ...
  • Pankiewicz, Ronald Joseph (MIT Artificial Intelligence Laboratory, 1979-02)
    A new control algorithm based upon Logical Control Theory is developed for mechanical manipulators. The controller uses discrete tesselations of state space and a finite set of fixed torques to regulate non-rehearsed ...
  • Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1981-05-05)
    This paper is a manual for an implementation of Logo graphics primitives in Lisp on the MIT Lisp Machine. The graphics system provides: Simple line drawing and erasing using "turtle geometry" Flexible relative and absolute ...
  • Woodham, Robert J.; Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1976-05)
    The registration of an image with a model of the surface being imaged is an important prerequisite to many image understanding tasks. Once registration is achieved, new image analysis techniques can be explored. One approach ...
  • Taenzer, David (MIT Artificial Intelligence Laboratory, 1974-09)
    This working paper describes a program on the Mini-Robot PDP-11 which is used for looking at picture files created by the VIDIN program. It may be used by ITS vision programmers to examine Vidicon picture files before ...
  • Levin, Beth (MIT Artificial Intelligence Laboratory, 1977-03)
    This paper describes a range of phenomena that a case frame system should be able to handle and proposes generalizations to capture this behavior which are formulated as a set of production-like rules. These rules allow ...
  • Waters, Richard C. (MIT Artificial Intelligence Laboratory, 1973-03-19)
    This paper discusses three main problems associated with the control of the motion of a mechanical arm. 1) Transformation between different coordinate systems used to describe the state of the arm. 2) Calculation of ...
  • Roylance, Gerald (MIT Artificial Intelligence Laboratory, 1987-07)
    How to guide for some of the printing utilities in the AI lab. Describes how TEX tiles are processed and how some illustrations may be merged into the final copy. Also describes how to use TEX to print on 8.5x14 (legal) ...
  • Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1975-06)
    Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. ...
  • Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1975-06)
    Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects which allow sharing ...
  • Waters, Richard C. (MIT Artificial Intelligence Laboratory, 1977-07)
    The plan method analyzes the structure of a program. The plan which results from applying the method represents this structure by specifying how the parts of the program interact. This paper demonstrates the utility of the ...
  • Billmers, Meyer A. (MIT Artificial Intelligence Laboratory, 1974-03)
    This working paper describes the facilities of the mini-robot group and the software available to persons using those facilities.
  • Billmers, Meyer A. (MIT Artificial Intelligence Laboratory, 1978-06)
    This USER'S GUIDE is in two parts. Part 1 describes the facilities of the mini-robot group 11/45 and the software available to persons using those facilities. It is intended for those writing their own programs to be run ...
  • Billmers, Meyer A. (MIT Artificial Intelligence Laboratory, 1978-06)
    Part 2 of the MINI-ROBOT USER'S GUIDE describes those devices attached to the mini-robot system which may be accessed from ITS, and describes the appropriate software for accessing them. Specifically, the photowriter, ...
  • Flynn, Anita M.; Brooks, Rodney A. (MIT Artificial Intelligence Laboratory, 1987-11)
    The MIT Mobile Robot Project began in January of 1985 with the objective of building machines that could operate autonomously and robustly in dynamically changing environments. We now have four working robots, each ...
  • Brooks, Rodney A. (MIT Artificial Intelligence Laboratory, 1985-02)
    We are building a mobile robot which will roam around the AI lab observing and later perhaps doing. Our approach to building the robot and its controlling software differs from that used in many other projects in a number ...
MIT-Mirage