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:

  • Greif, Irene; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1974-11)
    Work on PLANNER-73 and actors has led to the development of a basis for semantics of programming languages. Its value in describing programs with side-effects, parallelism, and synchronization is discussed. Formal definitions ...
  • Huang, Andrew "bunnie" (2002-06-01)
    The furious pace of Moore's Law is driving computer architecture into a realm where the the speed of light is the dominant factor in system latencies. The number of clock cycles to span a chip are increasing, while the ...
  • White, John L. (1967-07-01)
    In addition to the description on page 13 of AI Memo 116A LAP has the following features: Current Assembly Location Reference, Assembly Time Arithmetic, Constants, Multiple Entry Routines, and Defined Machine Operations ...
  • White, John (1966-08-01)
    Modified LAP: Additions have been made to LAP as described in the PDP-6 write-up.
  • Norton, Lewis Mark (1966-09-01)
    A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its operation is basically heuristic, incorporating many ...
  • Sullivan, Gregory T. (2002-03-22)
    The Design Patterns book [GOF95] presents 24 time-tested patterns that consistently appear in well-designed software systems. Each pattern is presented with a description of the design problem the pattern addresses, as ...
  • McDermott, Drew (MIT Artificial Intelligence Laboratory, 1974-05)
    This paper is a reprint of a sketch of an electronic-circuit-designing program, submitted a a Ph.D. proposal. It describes the electronic design problem with respect to the classic trade-off between expertise and generality. ...
  • Skordos, Panayotis A. (1995-04-01)
    The simulation of subsonic aeroacoustic problems such as the flow-generated sound of wind instruments is well suited for parallel computing on a cluster of non-dedicated workstations. Simulations are demonstrated which ...
  • Grimson W. Eric L.; Huttenlocher, Daniel P.; Jacobs, David W. (1991-08-01)
    Affine transformations are often used in recognition systems, to approximate the effects of perspective projection. The underlying mathematics is for exact feature data, with no positional uncertainty. In practice, ...
  • Blelloch, Guy (1986-11-01)
    Computational models are arising is which programs are constructed by specifying large networks of very simple computational devices. Although such models can potentially make use of a massive amount of concurrency, ...
  • Ullman, S. (1980-03-01)
    Central to contemporary cognitive science is the notion that mental processes involve computations defined over internal representations. This notion stands in sharp contrast with another prevailing view ??e direct ...
  • Winograd, Terry (1971-02-01)
    This paper illustrated an approach toward understanding natural language through the techniques of artificial intelligence. It explores the structure of English word-endings both morpho-graphemically and semantically. It ...
  • Goldstein, Ira P.; Miller, Mark L. (1976-12-01)
    The application of artificial intelligence (AI) techniques to the design of personal learning environments is an enterprise of both theoretical and practical interest. In the short term, the process of developing and ...
  • Torrance, Mark C. (MIT Artificial Intelligence Laboratory, 1992-09)
    This document is meant to introduce new graduate students in the MIT AI Lab to the faculty members of the laboratory and their research interests. Each entry consists of the faculty member's picture, if available, some ...
  • Shashua, Ammon (1994-01-01)
    In the general case, a trilinear relationship between three perspective views is shown to exist. The trilinearity result is shown to be of much practical use in visual recognition by alignment --- yielding a direct method ...
  • Beal, Jacob (2001-08-13)
    I present an algorithm which allows two agents to generate a simple language based only on observations of a shared environment. Vocabulary and roles for the language are learned in linear time. Communication is robust and ...
  • Nagpal, Radhika; Coore, Daniel (1998-02-01)
    Amorphous computing is the study of programming ultra-scale computing environments of smart sensors and actuators cite{white-paper}. The individual elements are identical, asynchronous, randomly placed, embedded and ...
  • Brotsky, Daniel Carl (1984-03-01)
    This report describes research about flow graphs - labeled, directed, acyclic graphs which abstract representations used in a variety of Artificial Intelligence applications. Flow graphs may be derived from flow ...
  • Viola, Paul A. (1995-03-01)
    A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the object, besides its shape, and is robust ...
  • Ullman, Shimon; Basri, Ronen (1988-07-01)
    This paper examines the recognition of rigid objects bounded by smooth surfaces using an alignment approach. The projected image of such an object changes during rotation in a manner that is difficult to predict. A ...
MIT-Mirage