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:

  • 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 ...
  • A Three-Step Procedure for Language Generation 
    Katz, Boris (1980-12-01)
    This paper outlines a three-step plan for generating English text from any semantic representation by applying a set of syntactic transformations to a collection of kernel sentences. The paper focuses on describing a ...
  • A Three Valued Truth Maintenance System 
    McAllester, David A. (1978-05-01)
    Truth maintenance systems have been used in recently developed problem solving systems. A truth maintenance system (TMS) is designed to be used by deductive systems to maintain the logical relations among the beliefs ...
  • Throwing Down the Visual Intelligence Gauntlet 
    Tan, Cheston; Leibo, Joel Z; Poggio, Tomaso (2012)
    In recent years, scientific and technological advances have produced artificial systems that have matched or surpassed human capabilities in narrow domains such as face detection and optical character recognition. However, ...
  • TIARA: Trust Management, Intrusion-tolerance, Accountability, and Reconstitution Architecture 
    Shrobe, Howard; Knight, Thomas; Hon, Andre de (2007-05-30)
    The last 20 years have led to unprecedented improvements in chipdensity and system performance fueled mainly by Moore's Law. Duringthe same time, system and application software have bloated, leadingto unmanageable ...
  • Time-Frequency Representations for Speech Signals 
    Riley, Michael D. (1987-05-01)
    This work addresses two related questions. The first question is what joint time-frequency energy representations are most appropriate for auditory signals, in particular, for speech signals in sonorant regions. The ...
  • Time-Reversible Maxwell's Demon 
    Skordos, P. A. (1992-09-01)
    A time-reversible Maxwell's demon is demonstrated which creates a density difference between two chambers initialized to have equal density. The density difference is estimated theoretically and confirmed by computer ...
  • Time-Sharing LISP for the PDP-6 
    White, John (1968-03-01)
    This memo written in the style and convention of A.I. memo No. 116A, may be considered an addendum thereto. It should prove to be a welcome updating on the LISP system.
  • Tiny images 
    Torralba, Antonio; Fergus, Rob; Freeman, William T. (2007-04-23)
    The human visual system is remarkably tolerant to degradations in image resolution: in a scene recognition task, human performance is similar whether $32 \times 32$ color images or multi-mega pixel images are used. With ...
  • Tomorrow's Surgery: Micromotors and Microrobots 
    Flynn, Anita M.; Udayakumar, K. R.; Barrett, David S. (MIT Artificial Intelligence Laboratory, 1992-07)
    Surgical procedures have changed radically over the last few years due to the arrival of new technology. What will technology bring us in the future? This paper examines a few of the forces whose timing are causing new ...
  • Topics in Model Theory 
    Levin, Michael (1966-01-01)
    The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed ...
  • Topics in Model Theory 
    Levin, Michael (1965-05-01)
    The concept of "free" as in free group and free semi-group is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.
  • TORTIS: Toddler's Own Recursive Turgle Interpreter System 
    Perlman, Radia (1974-12-01)
    TORTIS is a device for preschool children to communicated with and program the turtle. It consistst of several boxes (currently 3 button boxes and two blox boxes) designed so that only a few new concepts are introduced ...
  • A Tour of MOOS-IvP Autonomy Software Modules 
    Benjamin, Michael R.; Leonard, John J.; Schmidt, Henrik; Newman, Paul M. (2009-02-13)
    This paper provides an overview of the MOOS-IvP autonomy software modules. The MOOS-IvP collection of software, i.e., codebase, described here has been developed and is currently maintained by three organizations - Oxford ...
  • Toward a Computational Theory of Early Visual Processing In Reading 
    Brady, Mike (1980-09-01)
    This paper is the first of a series aimed at developing a theory of early visual processing in reading. We suggest that there has been a close parallel in the development of theories of reading and theories of vision ...
  • Toward A Model Of Children's Story Comprehension 
    Charniak, Eugene (1972-12-01)
    How does a person answer questions about children's stories? For example, consider 'Janet wanted Jack's paints. She looked at the picture he was painting and said 'Those paints make your picture look funny.' The ...
  • Toward a Principle-Based Parser 
    Barton, G. Edward, Jr. (1984-07-01)
    Parser design lags behind linguistic theory. While modern transformational grammar has largely abandoned complex, language-specific rule systems in favor of modular subsystems of principles and parameters, the rule ...
  • Toward a Principle-Based Translator 
    Dorr, Bonnie J. (MIT Artificial Intelligence Laboratory, 1985-06)
    A principle-based computational model of natural language translation consists of two components: (1) a module which makes use of a set of principles and parameters to transform the source language into an annotated surface ...
  • Toward a Probabilistic Approach to Acquiring Information from Human Partners Using Language 
    Tellex, Stefanie; Thaker, Pratiksha; Deits, Robin; Simeonov, Dimitar; Kollar, Thomas; Roy, Nicholas (2012-01-23)
    Our goal is to build robots that can robustly interact with humans using natural language. This problem is extremely challenging because human language is filled with ambiguity, and furthermore, the robot's model of the ...
  • Toward a Remotely-Manned Energy and Production Economy 
    Minsky, Marvin (1979-09-01)
    We can solve many problems of Energy, Health, Productivity, and Environmental Quality by improving the technology of remote control. This will produce Nuclear Safety and Security, Advances in Mining, Increases in ...
MIT-Mirage