Advanced Search
DSpace@MIT

AI Working Papers (1971 - 1995)

Research and Teaching Output of the MIT Community

AI Working Papers (1971 - 1995)

 

Recent Submissions

  • Zabih, Ramin (MIT Artificial Intelligence Laboratory, 1988-08)
    Non-deterministic LISP can be used to describe a search problem without specifying the method used to solve the problem. We show that SCHEMER, a non-deterministic dialect of SCHEME, can support dependency-directed backtracking ...
  • 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 ...
  • Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1978-04)
    This paper advocates a programming methodology using message passing. Efficient programs are derived for fast exponentiation, merging ordered sequences, and path existence determination in a directed graph. The problems ...
  • Mitnick, Walter L. (MIT Artificial Intelligence Laboratory, 1976-01)
    In the production of logic circuits in dual inline packages, various tedious assembly line tasks are performed by human operators using microscopes or television enlargements. One boring and difficult task is the detection ...
  • Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1975-12)
    Details of the kinematics, statics, and dynamics of a particularly simple form of locomotory system are developed to demonstrate the importance of understanding the behavior of the mechanical system interposed between the ...
MIT-Mirage