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:

  • Team MIT Urban Challenge Technical Report 
    Leonard, John; Barrett, David; How, Jonathan; Teller, Seth; Antone, Matt; Campbell, Stefan; Epstein, Alex; Fiore, Gaston; Fletcher, Luke; Frazzoli, Emilio; Huang, Albert; Jones, Troy; Koch, Olivier; Kuwata, Yoshiaki; Mahelona, Keoni; Moore, David; Moyer, Katy; Olson, Edwin; Peters, Steven; Sanders, Chris; Teo, Justin; Walter, Matthew (2007-12-14)
    This technical report describes Team MIT’s approach to theDARPA Urban Challenge. We have developed a novel strategy forusing many inexpensive sensors, mounted on the vehicle periphery,and calibrated with a new cross-­modal ...
  • Television Camera-To-Computer Adapter: PDP-6 Device 770 
    Minsky, Marvin (1965-01-01)
    The TVA (Television Adaptor) is a data-input device just completed. Any standard Closed-Circuit Television Camera can be connected to the PDP-6, without modification, by a single BNC connector. Then a simple program can ...
  • TEMPEST -- A Template Editor for Structured Text 
    Sterpe, Peter (MIT Artificial Intelligence Laboratory, 1984-05)
    This paper proposes an editing tool named TEMPEST (TEMPlate Editor for Structured Text) whose goal is to extend a text editing environment by using templates to incorporate into it some knowledge of the structure of the ...
  • TEMPEST: A Template Editor for Structured Text 
    Sterpe, Peter J. (1985-06-01)
    TEMPEST is a full-screen text editor that incorporates a structural paradigm in addition to the more traditional textual paradigm provided by most editors. While the textual paradigm treats the text as a sequence of ...
  • Template Matching: Matched Spatial Filters and Beyond 
    Brunelli, Roberto; Poggio, Tomaso (1995-10-01)
    Template matching by means of cross-correlation is common practice in pattern recognition. However, its sensitivity to deformations of the pattern and the broad and unsharp peaks it produces are significant drawbacks. This ...
  • Temporally Scalable Visual SLAM using a Reduced Pose Graph 
    Johannsson, Hordur; Kaess, Michael; Fallon, Maurice; Leonard, John J. (2012-05-25)
    In this paper, we demonstrate a system for temporally scalable visual SLAM using a reduced pose graph representation. Unlike previous visual SLAM approaches that use keyframes, our approach continually uses new measurements ...
  • Temporal Surface Reconstruction 
    Heel, Joachim (1991-05-01)
    This thesis investigates the problem of estimating the three-dimensional structure of a scene from a sequence of images. Structure information is recovered from images continuously using shading, motion or other visual ...
  • Tense, Aspect and the Cognitive Representation of Time 
    Yip, Kenneth Man-Kam (1984-12-01)
    This paper explores the relationships between a computation theory of temporal representation (as developed by James Allen) and a formal linguistic theory of tense (as developed by Norbert Hornstein) and aspect. It ...
  • The Tensor Algebra Compiler 
    Kjolstad, Fredrik; Kamil, Shoaib; Chou, Stephen; Lugato, David; Amarasinghe, Saman (2017-02-17)
    Tensor and linear algebra is pervasive in data analytics and the physical sciences. Often the tensors, matrices or even vectors are sparse. Computing expressions involving a mix of sparse and dense tensors, matrices and ...
  • Test Generation Guided Design for Testability 
    Wu, Peng (1988-07-01)
    This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct ...
  • Test Programming by Program Composition and Symbolic Simulation 
    Shirley, Mark H. (MIT Artificial Intelligence Laboratory, 1985-11)
    Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the ...
  • The Text-Justifier TJ6 
    Cohen, Joseph D. (1976-05-01)
    This memo, intended as both a reference and user's manual describes the text-justifying program TJ6, which compiles a neat output document from a sloppy input manuscript. TJ6 can justify and fill text; automatically ...
  • The Text-Justifier TJ6 
    Greenblatt, R.; Horn, B.K.P.; Krakauer, Lawrence J. (1970-06-01)
    This memo describes the TJ6 type justifying program, which can be used in the production of memos, such as this one. In addition, Appendices 1, 2, and 3 of this memo contain related information about TECO, the "Selectric" ...
  • The Architecture of MAITA: A Tool for Monitoring, Analysis, and Interpretation 
    Jon, Doyle; Kohane, Isaac; Long, William; Szolovits, Peter (2004-05-18)
    This report describes the aims, functions, and organization of the MAITAsystem for knowledge-based construction, adaptation, and control of networks of monitoringprocesses.
  • The Creation of OpenCourseWare at MIT 
    Abelson, Hal (2007-05-19)
    This paper traces the genesis of the MIT OpenCourseWare project from its initial strategic precursors in 1999 and 2000, through its launch in 2001 and its subsequent evolution. The story told here illuminates the interplay ...
  • The Design of a Relational Engine 
    Torlak, Emina; Jackson, Daniel (2006-09-29)
    The key design challenges in the construction of a SAT-based relational engine are described, and novel techniques are proposed to address them. An efficient engine must have a mechanism for specifying partial solutions, ...
  • The Interval Programming Model for Multi-objective Decision Making 
    Benjamin, Michael R. (2004-09-27)
    The interval programming model (IvP) is a mathematical programmingmodel for representing and solving multi-objective optimizationproblems. The central characteristic of the model is the use ofpiecewise linearly defined ...
  • A Theoretical Analysis of Electrical Properties of Spines 
    Koch, C.; Poggio, T. (1983-04-01)
    The electrical properties of a cortical (spiny) pyramidal cell were analyzed on the basis of passive cable theory from measurements made on histological material (Koch, Poggio & Torre 1982). The basis of this analysis ...
  • Theoretical Analysis of Geographic Routing in Social Networks 
    Kumar, Ravi; Liben-Nowell, David; Novak, Jasmine; Raghavan, Prabhakar; Tomkins, Andrew (2005-06-03)
    We introduce a formal model for geographic social networks, and introduce the notion of rank-based friendship, in which the probability that a person v is a friend of a person u is inversely proportional to the number of ...
  • A Theoretical Analysis of the Electrical Properties of a X-Cell in the Cat's LGN 
    Koch, Christof (1984-03-01)
    Electron microscope studies of relay cells in the lateral geniculate nucleus of the CAT have shown that the retinal input of X-cells is associated with a special synaptic circuitry, termed the spine-triad complex. The ...
MIT-Mirage