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:

  • Lerman, Jerome B. (MIT Artificial Intelligence Laboratory, 1972-06)
    A collection of functions have been written to allow LISP users to record display calls in a disk file. This file can be UREAD into a small LISP to reproduce the display effects of the program without doing the required ...
  • Ritto, Patrick M. (MIT Artificial Intelligence Laboratory, 1988-07)
    A flow graph matching algorithm has been implemented on the Connection Machine which employs parallel techniques to allow efficient subgraph matching. By constructing many different matchings in parallel, the algorithm is ...
  • Ward, Allen C. (MIT Artificial Intelligence Laboratory, 1987-02)
    I have implemented a simple "mechanical design compiler", that is a program which can convert high-level descriptions of a mechanical design into detail descriptions. (Human interaction is sometimes required.) The program ...
  • Brooks, Rodney A. (MIT Artificial Intelligence Laboratory, 1987-09)
    The idea of planning and plan execution is just an intuition based decomposition. There is no reason it has to be that way. Most likely in the long term, real empirical evidence from systems we know to be built that way ...
  • Fahlman, Scott E. (MIT Artificial Intelligence Laboratory, 1973-05)
    This paper describes BUILD, a computer program which generates plans for building specified structures out of simple objects such as toy blocks. A powerful heuristic control structure enables BUILD to use a number of ...
  • Rich, Charles (MIT Artificial Intelligence Laboratory, 1977-05)
    Brief Statement of the Problem: Stated most generally, the proposed research is concerned with understanding and representing the teleological structure of engineered devices. More specifically, I propose to study the ...
  • Shrobe, Howard Elliot (MIT Artificial Intelligence Laboratory, 1978-01)
    Brief Statement of the Problem: An interactive programming environment called the Programmer's Apprentice is described. Intended for use by the expert programmer in the process of program design and maintenance, the ...
  • Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1978-03)
    The appearance of a surface depends dramatically on how it is illuminated. In order to interpret properly satellite and aerial imagery, it is necessary to know the position of the sun in the sky. This is particularly ...
  • Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1979-06)
    Knowledge-based applications will require vastly increased computational resources to achieve their goals. We are working on the development of a VLSI Message Passing Architecture to meet this need. As a first step we ...
  • McDonald, David (MIT Artificial Intelligence Laboratory, 1975-06)
    A program framework has been designed in which the linguistic facts and heuristics necessary for generating fluent natural language can be encoded. The linguistic data is represented in annotated procedures and data ...
  • Ciccarelli, Eugene C. (MIT Artificial Intelligence Laboratory, 1981-07)
    This research will develop a methodology for designing user interfaces for general-purpose interactive systems. The central concept is the presentation, a structured pictorial or text object conveying information about ...
  • Bullwinkle, Candace L. (MIT Artificial Intelligence Laboratory, 1975-07)
    Recent research in linguistic analysis of presuppositions has provided numerous indications of the role of presupposition in lexical analysis. Still others have argued there is no distinction between meaning and the ...
  • Jones, Judi (MIT Artificial Intelligence Laboratory, 1982-03)
    TEX is our latest text formatter. It is designed specifically for technical text (e.g., mathematics), and produces much higher quality output than other formatters previously available. Donald Knuth designed TEX at Stanford ...
  • Theriault, Daniel G. (MIT Artificial Intelligence Laboratory, 1981-06)
    This document is intended to describe the current design for computer programming language, Act-1. It describes the Actor computational model, which Act-1 was designed to support. A perspective is provided from which to ...
  • Feldman, Yishai A.; Rich, Charles (MIT Artificial Intelligence Laboratory, 1989-05)
    The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, ...
  • Tan, Yang Meng (MIT Artificial Intelligence Laboratory, 1989-06)
    The DA will be a design assistant which can assist the programmer in low-level design. The input language of the DA is a cliché-based program description language that allows the specification and high-level design of ...
  • Hall, Robert J. (MIT Artificial Intelligence Laboratory, 1988-05)
    The problem of automatically improving the performance of computer programs has many facets. A common source of program inefficiency is the use of abstraction techniques in program design: general tools used in a specific ...
  • Cyphers, D. Scott (MIT Artificial Intelligence Laboratory, 1982-02)
    The programmer's apprentice (PA) is an automated program development tool. The PA depends upon a library of common algorithms (cliches) as the source of its knowledge about programming. The PA can be made more usable if ...
  • Woodham, Robert J. (MIT Artificial Intelligence Laboratory, 1972-06)
    A program called LPTSEE has been written for use with the MIT vision system. LPTSEE makes use of the overprint capability of the line printer to allow the user to output a stored picture image.
  • Brotsky, Daniel (MIT Artificial Intelligence Laboratory, 1981-12)
    We propose research into automatic program understanding via recognition of common data structures and algorithms (clichés). Our goals are two-fold: first, to develop a theory of program structure which makes such recognition ...
MIT-Mirage