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:

  • Cheung, Alvin; Solar-Lezama, Armando; Madden, Samuel (2012-08-13)
    This paper presents a new approach to select events of interest to a user in a social media setting where events are generated by the activities of the user's friends through their mobile devices. We argue that given the ...
  • Kennedy, Thomas R., III (1987-05-01)
    Direct, construct by construct translation from one high level language to another often produces convoluted, unnatural, and unreadable results, particularly when the source and target languages support different ...
  • Jones, Michael J. (1992-09-01)
    This report explores how recurrent neural networks can be exploited for learning high-dimensional mappings. Since recurrent networks are as powerful as Turing machines, an interesting question is how recurrent networks ...
  • Nieh, Jason (1989-09-01)
    Studying chaotic behavior in nonlinear systems requires numerous computations in order to simulate the behavior of such systems. The Standard Map Machine was designed and implemented as a special computer for performing ...
  • Hamscher, Walter (1983-06-01)
    We wish to design a diagnostic for a device from knowledge of its structure and function. the diagnostic should achieve both coverage of the faults that can occur in the device, and should strive to achieve specificity ...
  • Horn, Berthold K.P.; Bachman, Brett L. (1977-08-01)
    A number of image analysis tasks can benefit from registration of the image with a model of the surface being imaged. Automatic navigation using visible light or radar images requires exact alignment of such images ...
  • Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto (2007-02-16)
    The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction, based on implementation ...
  • Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto (2006-06-20)
    The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about theircorrectness using multiple levels of abstraction, based on implementation ...
  • Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto (2006-03-08)
    AbstractThe Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction, based on ...
  • Abadi, Daniel J.; Marcus, Adam; Madden, Samuel R.; Hollenbach, Kate (2007-07-06)
    This report describes the Barton Libraries RDF dataset and Longwell querybenchmark that we use for our recent VLDB paper on Scalable Semantic WebData Management Using Vertical Partitioning.
  • Smoliar, Stephen W. (1971-10-01)
    This memo describes the practical implementation of programs written in the language EUTERPE. Details of this language are given in the author's thesis (A Parallel Processing Model of Musical Structures) and will not ...
  • Jones, Joe L.; O'Donnell, Patrick A. (MIT Artificial Intelligence Laboratory, 1985-04)
    This document describes the operation of the Lisp Machine interface to the Unimation Puma 600 Robot Arm. The interface is evolved from a system described in an earlier paper, and much is the same. However, the under-lying ...
  • Lerman, Jerome B. (MIT Artificial Intelligence Laboratory, 1972-06)
    The stored picture facility (FAKETV) allows LISP users, and to some extent machine language users, to access a library of stored images rather than live vidisector scenes. The vidisector functions in LISP have been slightly ...
  • Singer, Neil C.; Seering, Warren P. (1988-02-01)
    The intent of this research is to study the dynamic behavior of a solid body resting on a moving surface. Results of the study are then used to propose methods for controlling the orientation of parts in preparation ...
  • Eastlake, Donald E. (1974-04-01)
    UT is a user telnet program designed to run under the ITS time sharing system. It implements the relatively recent ARPA network negotiating protocol for telnet connections.
  • Stanley-Marbell, Phillip; Rinard, Martin (2015-06-04)
    Transferring data between ICs accounts for a growing proportion of system power in wearable and mobile systems. Reducing signal transitions reduces the dynamic power dissipated in this data transfer, but traditional ...
  • Michalski, Ryszard S.; Winston, Patrick H. (1985-08-01)
    Variable precision logic is concerned with problems of reasoning with incomplete information and under time constraints. It offers mechanisms for handling trade-offs between the precision of inferences and the ...
  • Horn, Berthold K.P. (1985-03-01)
    We develop a systematic approach to the discovery of parallel iterative schemes for solving the shape-from-shading problem on a grid. A standard procedure for finding such schemes is outlines, and subsequently used ...
  • Somers, David C.; Todorov, Emanuel V.; Siapas, Athanassios G.; Sur, Mriganka (1996-01-18)
    Integration of inputs by cortical neurons provides the basis for the complex information processing performed in the cerebral cortex. Here, we propose a new analytic framework for understanding integration within ...
  • Beymer, David (1995-09-01)
    The correspondence problem in computer vision is basically a matching task between two or more sets of features. In this paper, we introduce a vectorized image representation, which is a feature-based representation where ...
MIT-Mirage