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:

  • A Theory of How the Brain Might Work 
    Poggio, Tomaso (1990-12-01)
    I wish to propose a quite speculative new version of the grandmother cell theory to explain how the brain, or parts of it, may work. In particular, I discuss how the visual system may learn to recognize 3D objects. The ...
  • A Theory of Human Stereo Vision 
    Marr, D.; Poggio, T. (1977-11-01)
    An algorithm is proposed for solving the stereoscopic matching problem. The algorithm consists of five steps: 1.) Each image is filtered with bar masks of four sizes that vary with eccentricity; the equivalent filters ...
  • A Theory of Networks for Appxoimation and Learning 
    Poggio, Tomaso; Girosi, Federico (1989-07-01)
    Learning an input-output mapping from a set of examples, of the type that many neural networks have been constructed to perform, can be regarded as synthesizing an approximation of a multi-dimensional function, that ...
  • A Theory of Plans for Electronic Circuits 
    de Kleer, Johan (MIT Artificial Intelligence Laboratory, 1977-04)
    A plan for a device assigns purposes to each of the more primitive components and explains how these components interact to achieve the desired behavior of the composite device. Such an information structure is critically ...
  • A Theory of Quantitative Inference Applied to a Mechanical Design Compiler 
    Ward, Allen C. (1989-01-01)
    This thesis presents the ideas underlying a computer program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers ...
  • The Psychophysiology of Risk Processing and Decision Making at a Regional Stock Exchange 
    Perry, John C. (2007-06-12)
    A longstanding controversy in philosophy is whether decision-making isgoverned by reason or emotion. I study the role of physiologicalresponses in the decision-making process within the realm of financialmarkets, where ...
  • The Quorum Deployment Problem 
    Gilbert, Seth; Malewicz, Grzegorz (2004-10-29)
    Quorum systems are commonly used to maintain the consistency of replicated data in adistributed system. Much research has been devoted to developing quorum systems with good theoreticalproperties, such as fault tolerance ...
  • The Satisfiability Threshold of Random 3-SAT Is at Least 3.52 
    Hajiaghayi, MohammadTaghi; Sorkin, Gregory B. (2003-11-20)
    We prove that a random 3-SAT instance with clause-to-variable densityless than 3.52 is satisfiable with high probability.The proof comes through an algorithm which selects (and sets) a variabledepending on its degree and ...
  • The Security Power of the Ballot Box 
    Lepinski, Matt; Izmalkov, Sergei (2005-02-02)
    We show that any function F can be securely evaluated by a protocolwith ballots and a ballot box. That is, N mutually suspicious players,each player possessing a secret input, can use ballots and a ballotbox to jointly ...
  • Thesis Progress Report: A System for Representing and Using Real-World Knowledg 
    Fahlman, Scott E. (1975-05-01)
    This paper describes progress to date in the development of a system for representing various forms of real-world knowledge. The knowledge is stored in the form of a net of simple parallel processing elements, which ...
  • The Symmetriad: A Journey of Discovery Through the Land of the Polychora 
    Radul, Alexey (2005)
    I devised and implemented a method for constructing regular andsemiregular geometric objects in n-dimensional Euclidean space.Given a finite reflection group (a Coxeter group) G, there is a standard way to give G a group ...
  • The Theory of Timed I/O Automata 
    Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2003-08-27)
    Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
  • The Theory of Timed I/O Automata 
    Kaynor, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2005-03-02)
    This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
  • Thinking About Lots of Things at Once without Getting Confused: Parallelism in Act 1 
    Lieberman, Henry (1981-05-01)
    As advances in computer architecture and changing economics make feasible machines with large-scale parallelism, Artificial Intelligence will require new ways of thinking about computation that can exploit parallelism ...
  • Thread Scheduling Mechanisms for Multiple-Context Parallel Processors 
    Fiske, James A. Stuart (1995-06-01)
    Scheduling tasks to efficiently use the available processor resources is crucial to minimizing the runtime of applications on shared-memory parallel processors. One factor that contributes to poor processor utilization ...
  • Three Cuts for Accelerated Interval Propagation 
    McAllester, D.; Henlenryck, P. Van; Kapur, T. (1995-05-01)
    This paper addresses the problem of nonlinear multivariate root finding. In an earlier paper we described a system called Newton which finds roots of systems of nonlinear equations using refinements of interval methods. ...
  • Three-Dimensional Correspondence 
    Shelton, Christian R. (1998-12-01)
    This paper describes the problem of three-dimensional object correspondence and presents an algorithm for matching two three-dimensional colored surfaces using polygon reduction and the minimization of an energy function. ...
  • The Three-Dimensional Interpretation of a Class of Simple Line-Drawings 
    Marill, Thomas (1995-10-01)
    We provide a theory of the three-dimensional interpretation of a class of line-drawings called p-images, which are interpreted by the human vision system as parallelepipeds ("boxes"). Despite their simplicity, p-images ...
  • Three-Dimensional Motion Estimation Using Shading Information in Multiple Frames 
    Schott, Jean-Pierre (1989-09-01)
    A new formulation for recovering the structure and motion parameters of a moving patch using both motion and shading information is presented. It is based on a new differential constraint equation (FICE) that links the ...
  • Three-Dimensional Recognition of Solid Objects from a Two-Dimensional Image 
    Huttenlocher, Daniel Peter (1988-10-01)
    This thesis addresses the problem of recognizing solid objects in the three-dimensional world, using two-dimensional shape information extracted from a single image. Objects can be partly occluded and can occur in ...
MIT-Mirage