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:

  • Richards, Whitman (1982-12-01)
    The 20 Questions Game played by children has an impressive record of rapidly guessing an arbitrarily selected object with rather few, well-chosen questions. This same strategy can be used to drive the perceptual process, ...
  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971-03)
  • Brotsky, Daniel (MIT Artificial Intelligence Laboratory, 1986-06-09)
    YTEX—pronounced why-TEX or oops-TEX—is a TEX macro package. YTEX provides both an easy-to-use interface for TEX novices and a powerful macro-creation library for TEX programmers. It is this two-tier structure that makes ...
  • Cowling, James; Myers, Daniel; Liskov, Barbara; Rodrigues, Rodrigo; Shrira, Liuba (2007-02-12)
    There are currently two approaches to providing Byzantine-fault-tolerant state machine replication: a replica-based approach, e.g., BFT, that uses communication between replicas to agree on a proposed ordering of requests, ...
  • Wolf, Florian; Poggio, Tomaso; Sinha, Pawan (2006-08-09)
    Humans are remarkably adept at classifying text documents into cate-gories. For instance, while reading a news story, we are rapidly able to assess whether it belongs to the domain of finance, politics or sports. Automating ...
  • Nevins, Arthur J. (1972-10-01)
    The automation of first order logic has received comparatively little attention from researcher intent upon synthesizing the theorem proving mechanism used by humans. The dominant point of view [15], [18] has been that ...
  • Wilson, Lewis (1970-06-01)
    This memo describers some of the important properties and manipulations of Hypergeometric Functions which my be useful in MATHLAB. A convention for representing the function is adopted which is readily adaptable to ...
  • Peters, Stephen; Look, Gary; Quigley, Kevin; Shrobe, Howard; Gajos, Krzysztof (2006-03-01)
    We are building a new communication model and discoverysystem which will allow agent-based intelligent spacesto interact with one another. This new infrastructure layer,called Hyperglue, coordinates agent actions at a ...
  • Platt, Robert, Jr.; Kaelbling, Leslie; Lozano-Perez, Tomas; Tedrake, Russ (2011-08-27)
    We consider the partially observable control problem where it is potentially necessary to perform complex information-gathering operations in order to localize state. One approach to solving these problems is to create ...
  • Kuipers, Benjamin J. (MIT Artificial Intelligence Laboratory, 1974-03)
    This paper presents a visual recognition program in which recognition process is driven by hypotheses about the object being recognized. The hypothesis suggests which features to examine next, refines its predictions based ...
  • Rubin, Ann D. (1975-01-01)
    This thesis describes some aspects of a computer system for doing medical diagnosis in the specialized field of kidney disease. Because such a system faces the spectre of combinatorial explosion, this discussion concentrates ...
  • Fahlman, Scott E. (MIT Artificial Intelligence Laboratory, 1973-12)
    This paper proposes a new approach to a broad class of recognition problems ranging from medical diagnosis to vision. The features of this approach include a top-down hypothesize-and-test style and the use of a great deal ...
  • Doyle, Richard J. (1984-12-01)
    An important common sense competence is the ability to hypothesize causal relations. This paper presents a set of constraints which make the problem of formulating causal hypotheses about simple physical systems a ...
  • Donald, Bruce R. (1983-06-01)
    Given a polyhedral environment, a technique is presented for hypothesizing a channel volume through the free space containing a class of successful collision-free paths. A set of geometric constructions between obstacle ...
  • Doyle, Richard James (1988-06-01)
    I describe an approach to forming hypotheses about hidden mechanism configurations within devices given external observations and a vocabulary of primitive mechanisms. An implemented causal modelling system called ...
  • Shrobe, Howard E.; Waters, Richard C.; Sussman, Gerald J. (1979-01-01)
    Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed ...
  • Sandewall, Erik (1975-05-01)
    The paper advocates the need for systems which support maintenance of LISP-type data bases, and describes an experimental system of this kind, call DABA. In this system, a description of the data base's structure is ...
  • Sandewall, Erik (MIT Artificial Intelligence Laboratory, 1975-01)
    The trend toward larger data bases in A.I. programs makes it desirable to provide program support for the activity of building and maintaining LISP data bases. Many techniques can be drawn from present and proposed systems ...
  • Lee, Jintae (MIT Artificial Intelligence Laboratory, 1985-08)
    In this paper, an intelligent database management system (DBMS) called IDEME is presented. IDEME is a program that takes as input a task specification and finds a set of methods potentially relevant to solving that task. ...
  • Uzuner, Ozlem (2005-11-18)
    This thesis presents a technology to complement taxation-based policy proposals aimed at addressing the digital copyright problem. Theapproach presented facilitates identification of intellectual propertyusing expression ...
MIT-Mirage