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:

  • Chockler, Gregory; Malkhi, Dahlia (2004-04-22)
    We propose light-weight lease primitives to leverage fault-tolerant coordination among clients accessing a shared storage infrastructure (such as network attached disks or storage servers). In our approach, leases are ...
  • Sarachik, Karen B. (1992-10-01)
    This paper presents a detailed error analysis of geometric hashing for 2D object recogition. We analytically derive the probability of false positives and negatives as a function of the number of model and image, ...
  • Moses, Yael; Ullman, Shimon (1991-05-01)
    Different approaches to visual object recognition can be divided into two general classes: model-based vs. non model-based schemes. In this paper we establish some limitation on the class of non model-based recognition ...
  • Fahle, Manfred (1989-11-01)
    Dichoptic presentation of vernier stimuli, i.e., one segment to each eye, yielded three times higher thresholds than binocular presentation, mainly due to uncorrelated movements of both eyes. Thresholds allow one to ...
  • Minsky, Marvin L. (1968-03-01)
    This memorandum is a first draft of an essay on the simplest "learning" process. Comments are invited. Subsequent sections will treat, among other things: the "stimulus-sampling" model of Estes, relations between Perceptron-type ...
  • Minsky, Marvin; Papert, Seymour (1967-01-01)
    The central theme of this study is the classification of certain geometrical properties according to the type of computation necessary to determine whether a given figure has them.
  • Vetter, Thomas; Poggio, Tomaso (1995-03-01)
    The need to generate new views of a 3D object from a single real image arises in several fields, including graphics and object recognition. While the traditional approach relies on the use of 3D models, we have recently ...
  • Minsky, Marvin; Papert, Seymour (1968-10-01)
    This is a reprint of page proofs of Chapter 12 of Perceptrons, M. Minsky and S. Papert, MIT Press 1968, (we hope). It replaces A.I. Memo No. 156 dated March 1968. The perceptron and convergence theorems of Chapter 11 are ...
  • Eberman, Brian; Brock, David L. (1991-01-01)
    A Whole-Arm Manipulator uses every surface to both sense and interact with the environment. To facilitate the analysis and control of a Whole-Arm Manipulator, line geometry is used to describe the location and trajectory ...
  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971-04-02)
    The line proposer P%PROPOSE1 is described in the first part of this memo. It makes use of links provided by the J%JOIN program, in proposing possibly missing lines in a line drawing of simple plane-faced objects. The ...
  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971)
    A line verifier is presented which, given the co-ordinates of the end points of the hypothesized line, returns a (possibly) more accurate version of the end points, together with an estimate of the probability that there ...
  • Pratt, Vaughan R. (1973-02-01)
    A programming language for natural language processing programs is described. Examples of the output of programs written using it are given. The reasons for various design decisions are discussed. An actual session with ...
  • Hewitt, Carl; Reinhardt, Tom; Agha, Gul; Attardi, Giuseppe (1984-09-01)
    This paper addressed linguistic issues that arise in providing support for shared resources in large scale concurrent systems. Our work is based on the Actor Model of computation which unifies the lambda calculus, the ...
  • Samson, Peter (1971-03-01)
    This memo was originally printed as MAC Memo 268, January 31, 1966. The MIDAS Linking Loader is a PDP-6program to load re-locatable format output from the MIDAS assembler, with facilities to handle symbolic cross-reference ...
  • Abelson, Harold; Sussman, Gerald Jay (1987-08-01)
    We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of abstraction in program ...
  • author, No (1961-05-01)
    no abstract
  • Hart, Timothy P.; Levin, Michael (1964-01-01)
    The following exercises are carefully graded to mesh with the sections in Chapter I, "The LISP Language", in the LISP 1.5 Programmer's Manual. Each exercise should be worked immediately after reading the manual section indicated.
  • Minsky, M.L. (1963-12-27)
    This paper presents an algorithm for reclaiming unused free storage memory cells in LISP. It depends on availability of a fast secondary storage device, or a large block of available temporary storage. For this price, we ...
  • Silver, Roland (1967-10-01)
    Some PDP6 LISP users have felt a need for a way to incorporate MIDAS subroutines into LISP. LISP has been changed to let you do this, using files found on the LISP SYSTEM microtape. You write a routine for LISP in much the ...
  • Greenblatt, Richard (MIT Artificial Intelligence Laboratory, 1974-11)
MIT-Mirage