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:

  • Sandewall, Erik (MIT Artificial Intelligence Laboratory, 1975-01)
    The trend toward larger data bases in A.I. programs makes it desirable to provide program support for the activity of building and maintaining LISP data bases. Many techniques can be drawn from present and proposed systems ...
  • Lee, Jintae (MIT Artificial Intelligence Laboratory, 1985-08)
    In this paper, an intelligent database management system (DBMS) called IDEME is presented. IDEME is a program that takes as input a task specification and finds a set of methods potentially relevant to solving that task. ...
  • Hewitt, Carl; Baker, Henry G. Jr. (MIT Artificial Intelligence Laboratory, 1977-06)
    This paper investigates some problems associated with an argument evaluation order that we call "future" order, which is different from both call-by-name and call-by-value. In call-by-future, each formal parameter of a ...
  • Binnard, Michael (MIT Artificial Intelligence Laboratory, 1995-02-23)
    This paper describes the injection molding equipment at the MIT Artificial Intelligence Lab and how to use it. Topic covered include mold design, insert molding, safety, and material properties.
  • Poggio, Tomaso (MIT Artificial Intelligence Laboratory, 1985-12)
    I outline a project for integrating several early visual modalities based on coupled Markov Random Fields models of the physical processes underlying image formation, such as depth, albedo and orientation of surfaces. The ...
  • Feldman, Yishai A.; Rich, Charles (MIT Artificial Intelligence Laboratory, 1987-05)
    We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising out of the interaction ...
  • Pitman, Kent (MIT Artificial Intelligence Laboratory, 1983-02)
    In this paper, we discuss the design of a user interface to the Knowledge Based Editor (KBE), a prototype implementation of the Programmer's Apprentice. Although internally quite sophisticated, the KBE hides most of its ...
  • Fahlman, Scott E. (MIT Artificial Intelligence Laboratory, 1975-11)
    This paper is intended as a supplement to AI MEMO 331, "A System for Representing and Using Real-World Knowledge". It is an attempt to redefine and clarify what I now believe the central theme of the research to be. Briefly, ...
  • Steels, Luc (MIT Artificial Intelligence Laboratory, 1978-11)
    This paper contains an informal and sketchy overview of a new way of thinking about linguistics and linguistic processing known as conceptual grammar. Some ideas are presented on what kind of knowledge is involved in a ...
  • Weinreb, Daniel; Moon, David A. (MIT Artificial Intelligence Laboratory, 1982-10-14)
    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 ...
  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971-04-02)
    The J%JOIN program creates links between the elements of a set of line segments on the basis of their geometric proximity. According to the value of the third argument, (T or NIL), the program will either place a set of ...
  • Strauss, Nicholas (MIT Artificial Intelligence Laboratory, 1985-07)
    The Jordan Form over field Z[subscript p] of J[superscript p][subscript p]n is diagonal for p > 3 with characteristic polynomial, ϕ(x) = x[superscript 3] - 1, for p prime, n natural number. These matrices have dimension ...
  • Horn, Berthold K.P.; Inoue, Hirochika (MIT Artificial Intelligence Laboratory, 1974-05)
    This paper describes the basic geometry of the electric manipulator designed for the Artificial Intelligence Laboratory by Victor Scheinman while on leave from Stanford University. The procedure for finding a set of joint ...
  • Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1975-06)
    In order to get some feeling for the kinematics, statics, and dynamics of manipulators, it is useful to separate the problem of visualizing linkages in three-space from the basic mechanics. The general-purpose two-dimensional ...
  • Dunlavey, Michael R. (MIT Artificial Intelligence Laboratory, 1974-03)
    This concentrates on interactions between knowledge stated in diverse representations. It proposes a vision program that classifies any complicated object as an elaborated instance of a simple on it already understands. ...
  • Kahn, Kenneth M. (MIT Artificial Intelligence Laboratory, 1976-02)
    This paper reproduces part of a doctoral thesis proposal describing the design of a system capable of generating animated drawings in response to a simple story. The representation and interaction of the various sources ...
  • Valdes-Perez, Raul E. (MIT Artificial Intelligence Laboratory, 1987-01)
    Depicting an electrical circuit by a schematic is a tedious task that is a good candidate for automation. Programs that draft schematics with the usual algorithmic approach do not fully exploit knowledge of circuit function, ...
  • Speckert, Glen (MIT Artificial Intelligence Laboratory, 1976-01)
    This paper shows how a good internal model of the subject viewed aids in the visual recognition and following of key parts. The role of knowledge driven top-down tools and methods is shown by recognizing a series of human ...
  • Christman, David P.; Sjoberg, Robert W. (MIT Artificial Intelligence Laboratory, 1980-03)
  • Baker, Henry; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1976-11)
    This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. ...
MIT-Mirage