Advanced Search
DSpace@MIT

Browsing Artificial Intelligence Lab Publications by Title

Research and Teaching Output of the MIT Community

Browsing Artificial Intelligence Lab Publications by Title

Sort by: Order: Results:

  • 1968-1969 Progress Report 
    Minsky, Marvin; Papert, Seymour (1970-01-01)
    This report mainly summarizes the Project MAC A.I. Group work between July 1968 and June 1969 but covers some work up to February 1970. The work on computer vision is described in detail. This summary should be read ...
  • The 1990 AI Fair 
    Flynn, Anita M. (1990-08-01)
    This year, as the finale to the Artificial Intelligence Laboratory's annual Winter Olympics, the Lab staged an AI Fair ??night devoted to displaying the wide variety of talents and interests within the laboratory. The ...
  • 2D-3D Rigid-Body Registration of X-Ray Fluoroscopy and CT Images 
    Zollei, Lilla (2001-08-01)
    The registration of pre-operative volumetric datasets to intra- operative two-dimensional images provides an improved way of verifying patient position and medical instrument loca- tion. In applications from orthopedics ...
  • 3D Object Recognition: Symmetry and Virtual Views 
    Vetter, Thomas; Poggio, Tomaso; B'ulthoff, Heinrich (1992-12-01)
    Many 3D objects in the world around us are strongly constrained. For instance, not only cultural artifacts but also many natural objects are bilaterally symmetric. Thoretical arguments suggest and psychophysical ...
  • 3D Pose from Three Corresponding Points Under Weak-Perspective Projection 
    Alter, T.D. (1992-07-01)
    Model-based object recognition commonly involves using a minimal set of matched model and image points to compute the pose of the model in image coordinates. Furthermore, recognition systems often rely on the ...
  • Abstraction in Numerical Methods 
    Halfant, Matthew; Sussman, Gerald Jay (1987-10-01)
    We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software toolbox encapsulating the ...
  • Abstraction, Inspection and Debugging in Programming 
    Rich, Charles; Waters, Richard C. (1981-06-01)
    We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different disciplines have many ...
  • An Accelerated Chow and Liu Algorithm: Fitting Tree Distributions to High Dimensional Sparse Data 
    Meila, Marina (1999-01-01)
    Chow and Liu introduced an algorithm for fitting a multivariate distribution with a tree (i.e. a density model that assumes that there are only pairwise dependencies between variables) and that the graph of these dependencies ...
  • Acceleration of Series 
    Gosper, R.W. (1974-03-01)
    The rate of convergence of infinite series can be accelerated b y a suitable splitting of each term into two parts and then combining the second part of the n-th term with the first part of the (n+1) -th term t get a new ...
  • An Accountable Source-To-Source Transformation System 
    Steele, Barbara Sue Kerne (1981-06-01)
    Though one is led to believe that program transformation systems which perform source-to-source transformations enable the user to understand and appreciate the resulting source program, this is not always the case. ...
  • ACE: A Cliché-based Program Structure Editor 
    Tan, Yang Meng (MIT Artificial Intelligence Laboratory, 1987-05)
    ACE extends the syntax-directed paradigm of program editing by adding support for programming clichés. A programming cliché is a standard algorithmic fragment. ACE supports the rapid construction of programs through the ...
  • Achieving Artificial Intelligence through Building Robots 
    Brooks, Rodney A. (1986-05-01)
    We argue that generally accepted methodologies of Artificial Intelligence research are limited in the proportion of human level intelligence they can be expected to emulate. We argue that the currently accepted ...
  • Achieving Real-Time Mode Estimation through Offline Compilation 
    Van Eepoel, John M. (2002-10-22)
    As exploration of our solar system and outerspace move into the future, spacecraft are being developed to venture on increasingly challenging missions with bold objectives. The spacecraft tasked with completing these ...
  • Active Knowledge 
    Freuder, Eugene C. (MIT Artificial Intelligence Laboratory, 1973-10)
    A progress report on the work described in Vision Flashes 33 and 43 on recognition of real objects. Emphasis is on the "active" use of knowledge in directing the flow of visual processing.
  • Active Learning with Statistical Models 
    Cohn, David A.; Ghahramani, Zoubin; Jordan, Michael I. (1995-03-21)
    For many types of learners one can compute the statistically 'optimal' way to select data. We review how these techniques have been used with feedforward neural networks. We then show how the same principles may be ...
  • Active Touch Sensing 
    Hillis, William Daniel (1981-04-01)
    The mechanical hand of the future will roll a screw between its fingers and sense, by touch, which end is which. This paper describes a step toward such a manipulator ?? robot finger that is used to recognize small ...
  • Activity Zones for Context-Aware Computing 
    Koile, Kimberle; Tollmar, Konrad; Demirdjian, David; Shrobe, Howard; Darrell, Trevor (2003-06-10)
    Location is a primary cue in many context-aware computing systems, and is often represented as a global coordinate, room number, or Euclidean distance various landmarks. A user?s concept of location, however, is often ...
  • An Actor-Based Computer Animation Language 
    Kahn, Kenneth M. (MIT Artificial Intelligence Laboratory, 1976-02)
    This paper reproduces an appendix of a doctoral thesis proposal that describes a language based on actor semantics designed especially for animation. The system described herein is built upon MacLisp and is also compatible ...
  • ACTORS: A Model of Concurrent Computation in Distributed Systems 
    Agha, Gul Abdulnabi (1985-06-01)
    A foundational model of concurrency is developed in this thesis. We examine issues in the design of parallel systems and show why the actor model is suitable for exploiting large-scale parallelism. Concurrency in actors ...
  • Actors and Continuous Functionals 
    Hewitt, Carl; Baker, Henry (1977-07-01)
    This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of ...
MIT-Mirage