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:

  • 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, ...
  • Abe, Yeuhi; Popovic, Jovan (2006-02-28)
    Lifelike animation of manipulation must account for the dynamicinteraction between animated characters, objects, and their environment. Failing to do so would ignore the often significant effects objectshave on the motion ...
  • Silva, Marco da; Popovic, Jovan; Abe, Yeuhi (2008-08-01)
    Animating natural human motion in dynamic environments is difficult because of complex geometric and physical interactions. Simulation provides an automatic solution to parts of this problem, but it needs control systems ...
  • Husbands, Parry; Isbell, Charles Lee, Jr.; Edelman, Alan (1998-07-28)
    This paper describes MITMatlab, a system that enables users of supercomputers or networked PCs to work on large data sets within Matlab transparently. MITMatlab is based on the Parallel Problems Server (PPServer), a ...
  • Scull, Craig; Johnson, Steve; Aliaga, Frederick; Paris, Sylvain; Su, Sara L.; Durand, Fredo (2009-06-24)
    Presentation and graphics software enables users to experiment with variations of illustrations. They can revisit recent editing operations using the ubiquitous undo command, but they are limited to sequential exploration. ...
  • Ullman, Shimon (1980-04-01)
    To interface between the one-dimensional scanning of an image, and the applications of a two-dimensional operator, an intermediate storage is required. For a square image of size n2, and a square operator of size m2, ...
  • Pitman, Kent (MIT Artificial Intelligence Laboratory, 1983-02)
    In this paper, we discuss the design of a user interface to the Knowledge Based Editor (KBE), a prototype implementation of the Programmer's Apprentice. Although internally quite sophisticated, the KBE hides most of its ...
  • White, John L. (1970-03-01)
    The substance of this memo is to initiate the naﶥ LISP user into the intricacies of the system at the Project MAC A.I. Lab. It is composed, at this time, of a Progress Report on the development of the LISP system and a ...
  • Members of the LOGO Project (1978-06-01)
    The LOGO activities of a group of 16 sixth-grade students, representing a full spectrum of ability, are being documented with a view to developing ways of capturing the learning possibilities of such an environment. The ...
  • Stein, Gideon P. (1993-02-01)
    This paper describes a simple method for internal camera calibration for computer vision. This method is based on tracking image features through a sequence of images while the camera undergoes pure rotation. The ...
  • LaMacchia, Brian A. (1996-08-01)
    I have invented "Internet Fish," a novel class of resource-discovery tools designed to help users extract useful information from the Internet. Internet Fish (IFish) are semi-autonomous, persistent information brokers; ...
  • Hoffman, D.D.; Flinchbaugh, B.E. (1980-12-01)
    The term biological motion has been coined by G. Johansson (1973) to refer to the ambulatory patterns of terrestrial bipeds and quadripeds. In this paper a computational theory of the visual perception of biological ...
  • Ullman, S. (1976-10-01)
    The interpretation of structure from motion is examined from a computational point of view. The question addressed is how the 3-D structure and motion of objects can be inferred from the 2-D transformations of their ...
MIT-Mirage