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:

  • 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 ...
  • Richards, Whitman; Winston, Patrick Henry; Finlayson, Mark Alan (2009-12-17)
    Report of a Workshop held at the Wylie Center, Beverly, MA, Oct 8-10 2009
  • 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. ...
  • Liang, Percy; Srebro, Nati (2005-01-03)
    We present a dynamic data structure that keeps track of an acyclic hypergraph (equivalently, a triangulated graph) and enables verifying that adding a candidate hyperedge (clique) will not break the acyclicity of the ...
  • Liskov, Barbara (2012-09-14)
    This document describes the interface that the Aeolus information flow platform provides for users who are implementing applications using Java. The document explains how the Aeolus features are made available by means of ...
  • 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 ...
  • Paris, Sylvain; Durand, Fredo (2006-11-09)
    The bilateral filter is a nonlinear filter that smoothes a signal while preserving strong edges. It has demonstrated great effectiveness for a variety of problems in computer vision and computer graphics, and fast versions ...
  • Aryananda, Lijin (2007-04-03)
    This thesis presents an integrated framework and implementation for Mertz, an expressive robotic creature for exploring the task of face recognition through natural interaction in an incremental and unsupervised fashion. ...
  • 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 ...
  • Kouh, Minjoon; Poggio, Tomaso (2004-12-31)
    Tuning to an optimal stimulus is a widespread property of neurons in cortex. We propose that such tuning is a consequence of normalization or gain control circuits. We also present a biologically plausible neural circuitry ...
  • Li, Ji (2007-07-26)
    In designing and building a network like the Internet, we continue to face the problems of scale and distribution. In particular, network management has become an increasingly difficult task, and network applications often ...
  • Li, Ji (2008-06-11)
    In designing and building a network like the Internet, we continue to face the problems of scale and distribution. With the dramatic expansion in scale and heterogeneity of the Internet, network management has become an ...
  • 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 ...
MIT-Mirage