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:

  • Rich, Charles (1987-12-01)
    Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program validation by inspection. ...
  • Dowson, Mark (1971-09-01)
    TJ6 is a program that takes disk files of text and arranges them so that they can be printed out neatly on 8 1/2 by 11 paper, lines justified, pages numbered, and so on. So that TJ6 will know what to do you must insert ...
  • Devadas, Srinivas; Lis, Mieszko; Khan, Omer (2010-04-17)
    We introduce the Execution Migration Machine (EM²), a novel data-centric multicore memory system architecture based on computation migration. Unlike traditional distributed memory multicores, which rely on complex cache ...
  • Levin, Beth C. (1979-11-01)
    This paper explores the nature of the underlying representation of a sentence, that representation formulated to make explicit the semantic structure of a sentence as a description of an event. It argues that the ...
  • Poggio, Tomaso; Serre, Thomas; Tan, Cheston; Chikkerur, Sharat (2009-06-20)
    Apart from helping shed some light on human perceptual mechanisms, modeling visual attention has important applications in computer vision. It has been shown to be useful in priming object detection, pruning interest points, ...
  • Kaelbling, Leslie Pack; Lozano-Perez, Tomas (2012-07-03)
    In this paper, we describe an integrated strategy for planning, perception, state-estimation and action in complex mobile manipulation domains. The strategy is based on planning in the belief space of probability distribution ...
  • Kaelbling, Leslie Pack; Lozano-Perez, Tomas (2012-06-29)
    This paper provides an approach to integrating geometric motion planning with logical task planning for long-horizon tasks in domains with many objects. We propose a tight integration between the logical and geometric ...
  • Poggio, Tomaso (MIT Artificial Intelligence Laboratory, 1985-12)
    I outline a project for integrating several early visual modalities based on coupled Markov Random Fields models of the physical processes underlying image formation, such as depth, albedo and orientation of surfaces. The ...
  • Moses, Joel (1969-09-01)
    We indicate how to extend the Risch algorithm to handle a class of special functions defined in terms of integrals. Most of the integration machinery for this class of functions is similar to the machinery in the algorithm ...
  • Newton, Ryan; Chen, Chih-Ping; Marlow, Simon (2011-03-22)
    Intel Concurrent Collections (CnC) is a parallel programming model in which a network of steps (functions) communicate through message-passing as well as a limited form of shared memory. This paper describes a new ...
  • Davis; Randall (1991-11-01)
    In March 1991 the World Intellectual Property Organization held an international symposium attended primarily by lawyers, to discuss the questions that artificial intelligence poses for intellectual property law (i.e., ...
  • Ernst, Michael D. (1992-05-01)
    The future of the software industry is today being shaped in the courtroom. Most discussions of intellectual property to date, however, have been frames as debates about how the existing law --- promulgated long before the ...
  • Bryson, Joanna J. (2001-09-01)
    All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right ...
  • Abelson, Harold; Eisenberg, Michael; Halfact, Mathew; Katzenelson, Jacob; Sacks, Elisha; Sussman, Gerald Jay; Wisdom, Jack; Yip, Ken (1988-11-01)
    Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for scientists and ...
  • Brooks, Rodney A. (1991-04-01)
    Computers and Thought are the two categories that together define Artificial Intelligence as a discipline. It is generally accepted that work in Artificial Intelligence over the last thirty years has had a strong influence ...
  • Rich, Charles; Waters, Richard C. (1989-01-01)
    A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design choices and by ...
  • Das, Sanmay (2003-06-01)
    This thesis describes and evaluates a market-making algorithm for setting prices in financial markets with asymmetric information, and analyzes the properties of artificial markets in which the algorithm is used. The ...
  • Mataric, Maja J. (1994-08-01)
    We introduce basic behaviors as primitives for control and learning in situated, embodied agents interacting in complex domains. We propose methods for selecting, formally specifying, algorithmically implementing, ...
  • Feldman, Yishai A.; Rich, Charles (MIT Artificial Intelligence Laboratory, 1987-05)
    We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising out of the interaction ...
  • Bulthoff, Heinrich H.; Mallot, Hanspeter A. (1987-05-01)
    A method has been developed to measure the perceived depth of computer generated images of simple solid objects. Computer graphic techniques allow for independent control of different depth queues (stereo, shading, ...
MIT-Mirage