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:

  • Levitin, Samuel M. (MIT Artificial Intelligence Laboratory, 1985-05)
    Several approaches to the meaning and uses of errors in software development are discussed. An experiment involving a strong type-checking language, CLU, is described, and the results discussed in terms of the state of the ...
  • Kerns, Barbara S. (MIT Artificial Intelligence Laboratory, 1979-05)
    This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and Continuous Functionals". What is called a "goal-oriented activity" in that paper will be referred to in this paper as a ...
  • Finin, Tim (MIT Artificial Intelligence Laboratory, 1973-10)
    This working paper describes a collection of LISP programs written to examine the backs of printed circuit boards. These programs find and trace the conductive wires plated on the insulating material. The "pads", or solder ...
  • Lerman, Jerome B.; Woodham, Robert J. (MIT Artificial Intelligence Laboratory, 1973-08)
    A collection of LISP functions has been written to provide vidisector users with the following three line-oriented vision primitives: (i) given an initial point and an estimated initial direction, track a line in that ...
  • Manning, Carl R. (MIT Artificial Intelligence Laboratory, 1984-12)
    The Apiary is an abstract computer architecture designed for performing computation based on the idea of message passing between dynamic computational objects called actors. An apiary connotes a community of worker bees ...
  • Donald, B. Randall; Canny, J. Francis (MIT Artificial Intelligence Laboratory, 1986-03)
    Research in artificial intelligence has yet to satisfactorily address the primordial fissure between human consciousness and the material order. How is this split reconciled in terms of human reality? By what duality is ...
  • Stefanescu, Dan (MIT Artificial Intelligence Laboratory, 1975-07)
  • McLaughlin, James R. (MIT Artificial Intelligence Laboratory, 1982-06)
    Currently, it is difficult for a non-programmer to generate a complex sensor-based robotic program. Most robot programming methods either generate only very simple programs or are such that they are only useful to programmers. ...
  • Finin, Tim (MIT Artificial Intelligence Laboratory, 1971-06)
    This paper is based on a B.S. thesis supervised by Patrick Winston. It deals with some previously unexplored problems in the analysis of visual scenes. The scenes consist of two dimensional line drawings of simple objects ...
  • Woodham, Robert J. (MIT Artificial Intelligence Laboratory, 1976-08)
    Two simple algorithms are described for displaying orthographic projections of surfaces. The first, called RELIEF-PLOT, produces a three-dimensional plot of a surface z = f(x,y). The second, called SHADED-IMAGE, adds ...
  • Rich, Charles; Shrobe, Howard E. (MIT Artificial Intelligence Laboratory, 1974-12)
    Several attempts have been made to produce tools which will help the programmer of complex computer systems. A new approach is proposed which integrates the programmer's intentions, the program code, and the comments, by ...
  • Waltz, David L. (MIT Artificial Intelligence Laboratory, 1971-11)
    The basic problem of this research is to find methods which will enable a program to construct a three dimensional interpretation from the line drawing of a scene, where the scene may have shadows and various degeneracies. ...
  • Doyle, Jon (MIT Artificial Intelligence Laboratory, 1976-11)
    Several recent problem-solving programs have indicated improved methods for controlling program actions. Some of these methods operate by analyzing the time-independent antecedent-consequent dependency relationships between ...
  • Vaina, Lucia M.; Greenblatt, Richard D. (MIT Artificial Intelligence Laboratory, 1979-09-05)
    We propose a new type of semantic memory, called thread memory. The primitives of this memory are threads, defined as keyed multilink, loop-free chains, which link semantic nodes. All links run from superordinate categories ...
  • Hofmeister, Scott; Ruecker, Lukas (MIT Artificial Intelligence Laboratory, 1991-08-18)
  • 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 ...
  • Jones, Joe L.; O'Donnell, Patrick A. (MIT Artificial Intelligence Laboratory, 1985-04)
    This document describes the operation of the Lisp Machine interface to the Unimation Puma 600 Robot Arm. The interface is evolved from a system described in an earlier paper, and much is the same. However, the under-lying ...
  • Lerman, Jerome B. (MIT Artificial Intelligence Laboratory, 1972-06)
    The stored picture facility (FAKETV) allows LISP users, and to some extent machine language users, to access a library of stored images rather than live vidisector scenes. The vidisector functions in LISP have been slightly ...
  • Marr, David; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1973-11)
    An approach to vision research is described that combines ideas about low level processing with more abstract notions about the representation of knowledge in intelligent systems. A particular problem, of the representation ...
  • Freuder, Eugene C. (MIT Artificial Intelligence Laboratory, 1971-02)
MIT-Mirage