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:

  • 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 ...
  • Khabbazian, Majid; Kuhn, Fabian; Lynch, Nancy; Medard, Muriel; ParandehGheibi, Ali (2010-08-02)
    Most medium access control mechanisms discard collided packets and consider interference harmful. Recent work on Analog Network Coding (ANC) suggests a different approach, in which multiple interfering transmissions are ...
  • Salcianu, Alexandru; Arkoudas, Konstantine (2004-12-16)
    This technical report describes our experience using the interactive theorem proverAthena for proving the correctness of abstract interpretation-based dataflow analyses.For each analysis, our methodology requires the ...
  • Zhao, Feng (1989-12-01)
    Generality, representation, and control have been the central issues in machine recognition. Model-based recognition is the search for consistent matches of the model and image features. We present a comparative ...
  • Samson, Peter (1965-07-01)
    The MAC system programs, MACDMP, TECO, and MIDAS, assume a certain data structure on DECtapes which they handle. Each DECtape has 1100 blocks of 200 words, numbered 0 through 1077. Block 0 and blocks 1070 through 1077 are ...
  • Hart, Timothy P. (1963-10-01)
    In LISP 1.5 special forms are used for three logically separate purposes: a) to reach the alist, b) to allow functions to have an indefinite number of arguments, and c) to keep arguments from being evaluated. New LISP ...
  • Samson, Peter (1965-09-01)
    MACTAP is a set of PDP-6 subroutines to read and write DECtape in the MAC file format (see MAC-M-249). Programmers can call these subroutines for input or output of ASCII data, which will be compatible with TECO files; or ...
MIT-Mirage