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:

  • Intelligence in Scientific Computing 
    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 ...
  • Intelligence Without Reason 
    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 ...
  • Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging 
    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 ...
  • Intelligent Market-Making in Artificial Financial Markets 
    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 ...
  • Interaction and Intelligent Behavior 
    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, ...
  • The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency 
    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 ...
  • Interaction of Different Modules in Depth Perception: Stereo and Shading 
    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, ...
  • Interactive Animation of Dynamic Manipulation 
    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 ...
  • Interactive Simulation of Stylized Human Locomotion 
    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 ...
  • Interactive Supercomputing with MIT Matlab 
    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 ...
  • Interactive Visual Histories for Vector Graphics 
    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. ...
  • Interfacing the One-Dimensional Scanning of an Image with the Applications of Two-Dimensional Operators 
    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, ...
  • Interfacing to the Programmer's Apprentice 
    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 ...
  • An Interim LISP User's Guide 
    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 ...
  • Interim Report of the LOGO Project in the Brookline Public Schools 
    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 ...
  • Internal Camera Calibration Using Rotation and Geometric Shapes 
    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 ...
  • Internet Fish 
    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; ...
  • The Interpretation of Biological Motion 
    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 ...
  • The Interpretation of Structure From Motion 
    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 ...
  • The Intersection Problem 
    Fahlman, Scott E. (MIT Artificial Intelligence Laboratory, 1975-11)
    This paper is intended as a supplement to AI MEMO 331, "A System for Representing and Using Real-World Knowledge". It is an attempt to redefine and clarify what I now believe the central theme of the research to be. Briefly, ...
MIT-Mirage