Advanced Search
DSpace@MIT

Browsing Artificial Intelligence Lab Publications by Title

Research and Teaching Output of the MIT Community

Browsing Artificial Intelligence Lab Publications by Title

Sort by: Order: Results:

  • Wehowsky, Andreas F. (2003-05-30)
    Research on autonomous intelligent systems has focused on how robots can robustly carry out missions in uncertain and harsh environments with very little or no human intervention. Robotic execution languages such as RAPs, ...
  • Moses, Joel (1968-03-01)
    The SARGE program is a prototype of a program which is intended to be used as an adjacent to regular classroom work in freshman calculus. Using SARGE, students can type their step-by-step solution to an indefinite ...
  • Yuille, A.L.; Poggio, T. (1983-06-01)
    We characterize some properties of the zero-crossings of the laplacian of signals - in particular images - filtered with linear filters, as a function of the scale of the filter (following recent work by A. Witkin, 1983). ...
  • Sussman, Gerald J. (MIT Artificial Intelligence Laboratory, 1973-12)
    The purpose of this short document is to exhibit how a HACKER-like top-down planning and debugging system can be applied to the problem of the design and debugging of simple analog electronic circuits. I believe, and I ...
  • Holloway, Jack; Steel, Guy Lewis, Jr.; Sussman, Gerald Jay; Bell, Alan (1980-01-01)
    We have designed and implemented a single-chip microcomputer (which we call SCHEME-79) which directly interprets a typed pointer variant of SCHEME, a dialect of the language LISP. To support this interpreter the chip ...
  • Wu, Henry M. (1988-08-01)
    I describe the design and implementation plans for a computer that is optimized as a microcoded interpreter for Scheme. The computer executes SCode, a typed-pointer representation. The memory system has low-latency as ...
  • Berlin, Andrew A.; Wu, Henry M. (1988-04-01)
    Scheme86 is a computer system designed to interpret programs written in the Scheme dialect of Lisp. A specialized architecture, coupled with new techniques for optimizing register management in the interpreter, allows ...
  • Sussman, Gerald J.; Steele, Guy L., Jr. (1975-12-01)
    Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and ...
  • Kornfeld, William A.; Hewitt, Carl (1981-01-01)
    Scientific communnities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of ...
  • Sordillo, Donald (1966-10-01)
    This program will take a list of display instructions and cause it to be plotted. For further or more detailed information consult with Michael Speciner.
  • Edwards, Daniel J. (1963-12-01)
    A principal limitation of LISP processors in many computations is that of inadequate primary random-access storage. This paper explores several methods of using a secondary storage medum (such as drums, disk files or magetic ...
  • Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1979-02)
    This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...
  • Rees, Jonathan A. (1996-03-13)
    Cooperation between independent agents depends upon establishing adegree of security. Each of the cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a computer ...
  • Weinshall, Daphna (1988-09-01)
    A unique matching is a stated objective of most computational theories of stereo vision. This report describes situations where humans perceive a small number of surfaces carried by non-unique matching of random dot ...
  • Lieberman, Henry (1982-02-01)
    An important skill in programming is being able to visualize the operation of procedures, both for constructing programs and debugging them. Tinker is a programming environment for Lisp that enables the programmer to ...
  • Adler, Aaron D. (2003-02-01)
    Sketches are commonly used in the early stages of design. Our previous system allows users to sketch mechanical systems that the computer interprets. However, some parts of the mechanical system might be too hard or too ...
  • Kapur, Tina (1995-01-01)
    Segmentation of medical imagery is a challenging problem due to the complexity of the images, as well as to the absence of models of the anatomy that fully capture the possible deformations in each structure. Brain ...
  • Doyle, Jon; London, Philip (1980-02-01)
    This article presents an overview of research in an area loosely called belief revision. Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the environment or ...
  • Koch, Christof; Ullman, Shimon (1984-01-01)
    This study addresses the question of how simple networks can account for a variety of phenomena associated with the shift of a specialized processing focus across the visual scene. We address in particular aspects of ...
  • Wolf, Lior; Amnon Shashua,; Mukherjee, Sayan (2004-01-27)
    Array technologies have made it possible to record simultaneously the expression pattern of thousands of genes. A fundamental problem in the analysis of gene expression data is the identification of highly relevant genes ...
MIT-Mirage