Advanced Search
DSpace@MIT

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Sort by: Order: Results:

  • Rivlin, Ehud; Basri, Ronen (1992-09-01)
    A method for localization and positioning in an indoor environment is presented. The method is based on representing the scene as a set of 2D views and predicting the appearances of novel views by linear combinations ...
  • Sussman, Gerald Jay; Brown, Allen L. (1974-12-01)
    This paper examines some methodologies for diagnosing correctly designed radio circuits which are failing to perform in the intended way because of some faulty component. Particular emphasis is placed on the utility ...
  • Kleer, Johan De (1976-11-01)
    The work described in this paper is part of an investigation of the issues involved in making expert problem solving programs for engineering design and for maintenance of engineered systems. In particular, the paper ...
  • Fleck, Margaret Morrison (1985-08-01)
    This thesis describes a new representation for two-dimensional round regions called Local Rotational Symmetries. Local Rotational Symmetries are intended as a companion to Brady's Smoothed Local Symmetry Representation ...
  • Parker, Lynne E. (1992-03-01)
    The design of the control laws governing the behavior of individual agents is crucial for the successful development of cooperative agent teams. These control laws may utilize a combination of local and/or global ...
  • Braunegg, David J. (1989-10-01)
    A mobile robot must be able to determine its own position in the world. To support truly autonomous navigation, we present a system that builds and maintains its own models of world locations and uses these models to ...
  • Lock 
    Eastlake, Donald E. (1972-06-01)
    LOCK is a miscellaneous utility program operating under the ITS system. It allows the user to easily and conveniently perform a variety of infrequently required tasks. Most of these relate to console input-output or the ...
  • Keen, John S. (1994-06-01)
    This report addresses the problem of fault tolerance to system failures for database systems that are to run on highly concurrent computers. It assumes that, in general, an application may have a wide distribution in ...
  • Pankiewicz, Ronald Joseph (MIT Artificial Intelligence Laboratory, 1979-02)
    A new control algorithm based upon Logical Control Theory is developed for mechanical manipulators. The controller uses discrete tesselations of state space and a finite set of fixed torques to regulate non-rehearsed ...
  • Niyogi, Partha; Berwick, Robert (1995-12-01)
    This paper considers the problem of language change. Linguists must explain not only how languages are learned but also how and why they have evolved along certain trajectories and not others. While the language ...
  • Abelson, Hal; Goodman, Nat; Rudolph, Lee (1974-12-01)
    This document descibes the LOGO system implemented for the PDP 11/45 at the M.I.T. Artificial Intelligence Laboratory. The "system" includes not only the LOGO evaluator, but also a dedicated time-sharing system which ...
  • Bamberger, Jeanne (1979-05-01)
    This memo gives a series of experiments which one can use to get a better understanding of how music works and how music is apprehended by an active and knowing listener. It does so by using the children's computer ...
  • Abelson, H.; Bamberger, J.; I. Goldstein,; Papert, S. (1975-09-01)
    Over the past two years, the Logo Project has grown along many dimensions. This document provides an overview in outline form of the main activities and accomplishments of the past as well as the major goals guiding ...
  • Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1981-05-05)
    This paper is a manual for an implementation of Logo graphics primitives in Lisp on the MIT Lisp Machine. The graphics system provides: Simple line drawing and erasing using "turtle geometry" Flexible relative and absolute ...
  • Georgiou, Chryssis; Musial, Peter M.; Shvartsman, Alexander A. (2004-04-12)
    Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributedsystems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...
  • Johnson, David S. (1970-07-01)
    A random method for generated binary trees is presented, ad twp forms of a class of one person games called, "Tree Solitaire" which have such trees as their game trees are defined. After what "look ahead strategy" ...
  • Woodham, Robert J.; Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1976-05)
    The registration of an image with a model of the surface being imaged is an important prerequisite to many image understanding tasks. Once registration is achieved, new image analysis techniques can be explored. One approach ...
  • Rinard, Martin (2012-02-23)
    We present a new synchronization-free space-subdivision tree construction algorithm. Despite data races, this algorithm produces trees that are consistent enough for the client Barnes-Hut center of mass and force computation ...
  • Marr, David (1974-12-01)
    A family of symbols is defined by which much of the useful information in an image may be represented, and its choice is justified. The family includes symbols for the various commonly occuring intensity profiles that are ...
  • Bamberger, Jeanne (1974-12-01)
    This paper was originally written as an address to a conference of the National Association of Schools of Music on "The Music Consumer". Posing a series of questions which point to fundamental issues underlyin the ...
MIT-Mirage