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:

  • 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)
  • Moon, David A. (MIT Artificial Intelligence Laboratory, 1981-06)
    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 ...
  • Bawden, Alan; Greenblatt, Richard; Holloway, Jack; Knight, Thomas; Moon, David; Weinreb, Daniel (1977-08-01)
    This informal paper introduces the LISP Machine, describes the goals and current status of the project, and explicates some of the key ideas. It covers the LISP machine implementation, LISP as a system language, ...
  • Baker, Henry G. Jr. (MIT Artificial Intelligence Laboratory, 1977-04-01)
    A real-time list processing system is one in which the time required by each elementary list operation (CONS, CAR, CDR, RPLACA, RPLACD, EQ, and ATOM in LISP) is bounded by a (small) constant. Classical list processing ...
  • Silver, David (1973-01-01)
    The Little Robot System provides for the I.T.S. user a medium size four degree of freedom six axis robot which is controlled by the PDP-6 computer through the programming language Lisp. The robot includes eight force ...
  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971)
    The program (L%LINES X Y) takes feature point output from the FP%FPOINTS program (q.v.) for horizontal and vertical scans (X and Y respectively); and outputs a list consisting of two lists of line segments, represented in ...
  • Goldstein, Ira; Lieberman, Henry; Bochner, Harry; Miller, Mark (1974-06-01)
    This paper describes LLOGO, an implementation of the LOGO language written in MACLISP for the ITS, TEN50 and TENEX PDP-10 systems, and MULTICS. The relative merits of LOGO and LISP as educational languages are discussed. ...
MIT-Mirage