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:

  • Chen, Jing; Micali, Silvio; Pass, Rafael (2014-06-09)
    We consider rationality and rationalizability for normal-form games of incomplete information in which the players have possibilistic beliefs about their opponents. In this setting, we prove that the strategies compatible ...
  • Misailovic, Sasa; Agarwal, Anant; Carbin, Michael; Sidiroglou, Stelios; Hoffmann, Henry; Rinard, Martin (2010-05-14)
    We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static configuration parameters into dynamic knobs that ...
  • Waters, Richard C. (1984-12-01)
    The PP system provides an efficient implementation of the Common Lisp pretty printing function PPRINT. In addition, PP goes beyond ordinary pretty printers by providing mechanisms which allow the user to control the ...
  • Jamieson, Kyle; Balakrishnan, Hari (2007-02-02)
    Bit errors occur over wireless channels when the signal isn't strongenough to overcome the effects of interference and noise. Currentwireless protocols may use forward error correction (FEC) to correct forsome (small) ...
  • Wang, Robert; Paris, Sylvain; Popovic, Jovan (2010-09-10)
    Motion capture systems have been widely used for high quality content creation and virtual reality but are rarely used in consumer applications due to their price and setup cost. In this paper, we propose a motion capture ...
  • Li, Zhaoping (1998-06-30)
    Stimuli outside classical receptive fields have been shown to exert significant influence over the activities of neurons in primary visual cortexWe propose that contextual influences are used for pre-attentive visual ...
  • Ucko, Aaron Mark (2001-05-01)
    I have added support for predicate dispatching, a powerful generalization of other dispatching mechanisms, to the Common Lisp Object System (CLOS). To demonstrate its utility, I used predicate dispatching to enhance Weyl, ...
  • McCamant, Stephen; Ernst, Michael D. (2004-03-30)
    This report presents a new, automatic technique to assess whether replacing a component of a softwaresystem by a purportedly compatible component may change the behavior of the system. The techniqueoperates before integrating ...
  • Hug, Caleb W. (2006-08-30)
    Using artificial intelligence to assist physicians in patient care has received sustained interest over the past several decades. Recently, with automated systems at most bedsides, the amount of patient information collected ...
  • Stephenson, Mark; Amarasinghe, Saman (2004-03-22)
    In order to deliver the promise of MooreÂ’s Law to the enduser, compilers must make decisions that are intimately tiedto a specific target architecture. As engineers add architecturalfeatures to increase performance, systems ...
  • Yeo, Gene; Van Nostrand, Eric; Holste, Dirk; Poggio, Tomaso; Burge, Christopher (2004-09-30)
    Alternative pre-messenger RNA splicing affects a majority of human genes and plays important roles in development and disease. Alternative splicing (AS) events conserved since the divergence of human and mouse are likely ...
  • Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1979-06)
    Knowledge-based applications will require vastly increased computational resources to achieve their goals. We are working on the development of a VLSI Message Passing Architecture to meet this need. As a first step we ...
  • Isik, Leyla; Meyers, Ethan M.; Leibo, Joel Z.; Poggio, Tomaso (2012-04-20)
    Decoding analysis has been applied to electrophysiology and fMRI data to study the visual system, however, this method has only been applied to MEG visual data in a few instances. Here we use the Neural Decoding Toolbox ...
  • McDonald, David (MIT Artificial Intelligence Laboratory, 1975-06)
    A program framework has been designed in which the linguistic facts and heuristics necessary for generating fluent natural language can be encoded. The linguistic data is represented in annotated procedures and data ...
  • Mahabala, H.N. (1969-08-01)
    A visual scene is transformed from a very simple and convenient format, to an internal format which describes the same scene, but is more akin to complex manipulations. This format is compatible with programs like ...
  • Lawler, Robert (1976-11-01)
    Pre-Readers exhibit concepts of the English word different from those of literate adults. The inclusive word concept is primary: A word is what we call an utterance and any of its parts. Pre-Readers suffer confusion ...
  • Ciccarelli, Eugene C., IV (1984-08-01)
    A prototype presentation system base is described. It offers mechanisms, tools, and ready-made parts for building user interfaces. A general user interface model underlies the base, organized around the concept of a ...
  • Ciccarelli, Eugene C. (MIT Artificial Intelligence Laboratory, 1981-07)
    This research will develop a methodology for designing user interfaces for general-purpose interactive systems. The central concept is the presentation, a structured pictorial or text object conveying information about ...
  • Singer, Neil; Seering, Warren (1988-01-01)
    A method is presented for generating shaped command inputs which significantly reduce or eliminate endpoint vibration. Desired system inputs are altered so that the system completes the requested move without residual ...
  • Bullwinkle, Candace L. (MIT Artificial Intelligence Laboratory, 1975-07)
    Recent research in linguistic analysis of presuppositions has provided numerous indications of the role of presupposition in lexical analysis. Still others have argued there is no distinction between meaning and the ...
MIT-Mirage