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:

  • The Integration of a Class of Special Functions with the Risch Algorithm 
    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 ...
  • Intel Concurrent Collections for Haskell 
    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 ...
  • Intellectual Property and Software: The Assumptions are Broken 
    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., ...
  • Intellectual Property in Computing: (How) Should Software Be Protected? An Industry Perspective 
    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 ...
  • Intelligence by Design: Principles of Modularity and Coordination for Engineerin 
    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 ...
  • 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 ...
MIT-Mirage