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:

  • 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 ...
  • Milch, Brian; Koller, Daphne (2008-05-12)
    In some multi-agent scenarios, identifying observations that an agent can safely ignore reduces exponentially the size of the agent's strategy space and hence the time required to find a Nash equilibrium. We consider games ...
  • Katabi, Dina; Gollakota, Shyamnath (2010-06-07)
    Wireless is inherently less secure than wired networks because of its broadcast nature. Attacks that simply snoop on the wireless medium successfully defeat the security of even 802.11 networks using the most recent security ...
  • Tomaso, Poggio; Torre, Vincent (1984-04-01)
    One of the best definitions of early vision is that it is inverse optics --- a set of computational problems that both machines and biological organisms have to solve. While in classical optics the problem is to determine ...
  • Bertero, Mario; Poggio, Tomaso; Torre, Vincent (1987-05-01)
    The first processing stage in computational vision, also called early vision, consists in decoding 2D images in terms of properties of 3D surfaces. Early vision includes problems such as the recovery of motion and ...
  • Evgeniou, Theodoros (1996-11-01)
    This paper presents an image-based rendering system using algebraic relations between different views of an object. The system uses pictures of an object taken from known positions. Given three such images it can ...
MIT-Mirage