Advanced Search
DSpace@MIT

Browsing AI Memos (1959 - 2004) by Title

Research and Teaching Output of the MIT Community

Browsing AI Memos (1959 - 2004) by Title

Sort by: Order: Results:

  • Dowson, Mark (1971-04-01)
    This memo is intended to get very new users started on the MAC AI system. It presents some simple rituals for making and editing fields, getting print outs, making microtapes, and so on. Most of the rituals given are not ...
  • Richards, Whitman (1982-12-01)
    The 20 Questions Game played by children has an impressive record of rapidly guessing an arbitrarily selected object with rather few, well-chosen questions. This same strategy can be used to drive the perceptual process, ...
  • Nevins, Arthur J. (1972-10-01)
    The automation of first order logic has received comparatively little attention from researcher intent upon synthesizing the theorem proving mechanism used by humans. The dominant point of view [15], [18] has been that ...
  • Wilson, Lewis (1970-06-01)
    This memo describers some of the important properties and manipulations of Hypergeometric Functions which my be useful in MATHLAB. A convention for representing the function is adopted which is readily adaptable to ...
  • Doyle, Richard J. (1984-12-01)
    An important common sense competence is the ability to hypothesize causal relations. This paper presents a set of constraints which make the problem of formulating causal hypotheses about simple physical systems a ...
  • Donald, Bruce R. (1983-06-01)
    Given a polyhedral environment, a technique is presented for hypothesizing a channel volume through the free space containing a class of successful collision-free paths. A set of geometric constructions between obstacle ...
  • Shrobe, Howard E.; Waters, Richard C.; Sussman, Gerald J. (1979-01-01)
    Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed ...
  • Sandewall, Erik (1975-05-01)
    The paper advocates the need for systems which support maintenance of LISP-type data bases, and describes an experimental system of this kind, call DABA. In this system, a description of the data base's structure is ...
  • Tomaso, Poggio; Torre, Vincent (1984-04-01)
    One of the best definitions of early vision is that it is inverse optics --- a set of computational problems that both machines and biological organisms have to solve. While in classical optics the problem is to determine ...
  • Bertero, Mario; Poggio, Tomaso; Torre, Vincent (1987-05-01)
    The first processing stage in computational vision, also called early vision, consists in decoding 2D images in terms of properties of 3D surfaces. Early vision includes problems such as the recovery of motion and ...
  • Evgeniou, Theodoros (1996-11-01)
    This paper presents an image-based rendering system using algebraic relations between different views of an object. The system uses pictures of an object taken from known positions. Given three such images it can ...
  • Avidan, Shai; Evgeniou, Theodoros; Shashua, Amnon; Poggio, Tomaso (1997-01-01)
    We present a new method for rendering novel images of flexible 3D objects from a small number of example images in correspondence. The strength of the method is the ability to synthesize images whose viewing position ...
  • Horn, B.K.P. (1969-08-01)
    This is a collection of data on the construction operation and performance of the two image dissector cameras. Some of this data is useful in deciding whether certain shortcomings are significant for a given application ...
  • Horn, Berthold K.P. (1975-08-01)
    Image intensities have been processed traditionally without much regard to how they arise. Typically they are used only to segment an image into regions or to find edge-fragments. Image intensities do carry a great ...
  • Stein, Lynn Andrea (1991-02-01)
    A subsumption-based mobile robot is extended to perform cognitive tasks. Following directions, the robot navigates directly to previously unexplored goals. This robot exploits a novel architecture based on the idea ...
  • Stevens, Kent A. (1982-08-01)
    Human vision is adept at inferring the shape of a surface from the image of curves lying across the surface. The strongest impression of 3-D shape derives from parallel (but not necessarily equally spaced) contours. ...
  • Werfel, Justin (2002-07-01)
    Evolutionary algorithms are a common tool in engineering and in the study of natural evolution. Here we take their use in a new direction by showing how they can be made to implement a universal computer. We consider ...
  • Grimson, W.E.L (1981-10-01)
    Computational theories of structure-from-motion and stereo vision only specify the computation of three-dimensional surface information at points in the image at which the irradiance changes. Yet, the visual perception ...
  • Rennie, Jason D. M.; Rifkin, Ryan (2001-10-16)
    We compare Naive Bayes and Support Vector Machines on the task of multiclass text classification. Using a variety of approaches to combine the underlying binary classifiers, we find that SVMs substantially outperform Naive ...
  • Silver, Roland (1967-03-01)
    Some PDP6 LISP users have felt a need for a way to incorporate MIDAS subroutines into LISP. LISP has been changed to let you do this, using files found on the LISP SYSTEM microtape. You write a routine for LISP in much the ...
MIT-Mirage