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:

  • Panchekha, Pavel; Brodsky, Micah (2013-10-08)
    Shared mutable state is challenging to maintain in a distributed environment. We develop a technique, based on the Operational Transform, that guides independent agents into producing consistent states through inconsistent ...
  • Uzuner, Ozlem (2004-07-25)
    In this paper, we discuss a wireless grid in which users are highly mobile, and form ad-hoc and sometimes short-lived connections with other devices. As they roam through networks, the users may choose to employ ...
  • Perez-Breva, Luis; Ortiz, Luis E.; Yeang, Chen-Hsiang, 1969-; Jaakkola, Tommi (2006-03-06)
    We propose a game-theoretic approach tolearn and predict coordinate binding of multiple DNA bindingregulators. The framework implements resource constrainedallocation of proteins to local neighborhoods as well as to ...
  • Poggio, Tomaso; Mutch, Jim; Anselmi, Fabio; Tacchetti, Andrea; Rosasco, Lorenzo; Leibo, Joel Z. (2013-08-06)
    Tuning properties of simple cells in cortical V1 can be described in terms of a "universal shape" characterized by parameter values which hold across different species. This puzzling set of findings begs for a general ...
  • Fahlman, Scott E. (MIT Artificial Intelligence Laboratory, 1973-09)
    This paper briefly discusses the following questions: What are the benefits of special-purpose languages? When is a field ready for such a language? Are any parts of our current vision research ready?
  • Amsterdam, Jonathan (MIT Artificial Intelligence Laboratory, 1990-05)
    I describe an iteration macro for Common Lisp that is clear, efficient, extensible, and in excellent taste.
  • Steele, Guy Lewis, Jr.; Sussman, Gerald Jay (1979-11-01)
    We define a "rack", a data abstraction hybrid of a register and a stack. It is used for encapsulating the behavior of the kind of register whose contents may have an extent which requires that it be saved during the ...
  • Moore, Robert C. (1973-02-01)
    This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are ...
  • Sun, Chen; Chen, Chia-Hsin Owen; Kurian, George; Wei, Lan; Miller, Jason; Agarwal, Anant; Peh, Li-Shiuan; Stojanovic, Vladimir (2012-02-08)
    With the advent of many-core chips that place substantial demand on the NoC, photonics has been investigated as a promising alternative to electrical NoCs. While numerous opto-electronic NoCs have been proposed, their ...
  • Rosenberg, Steven T. (1977-07-01)
    Sub-strings derived from four-letter strings (e.g. ABCD) were presented to subjects using a variation on Bransford and Franks' (1971) paradigm. Each strins was in either upper or lower case. Subjects were then tested ...
  • Heo, Seongmoo; Asanovic, Krste (2004-07-12)
    Digital circuits often have a critical path that runs through a smallsubset of the component subblocks, but where the path changes dynamicallyduring operation. Dynamically resizable static CMOS (DRCMOS) logic isproposed ...
  • Raibert, Marc H.; Brown, H. Benjamin, Jr.; Chepponis, Michael; Koechling, Jeff; Hodgins, Jessica K.; Dustman, Diane; Brennan, W. Kevin; Barrett, David S.; Thompson, Clay M.; Hebert, John Daniell; Lee, Woojin; Borvansky, Lance (1989-09-01)
    This report documents our work in exploring active balance for dynamic legged systems for the period from September 1985 through September 1989. The purpose of this research is to build a foundation of knowledge that ...
  • Heel, Joachim (1988-04-01)
    In this paper we show how the theory of dynamical systems can be employed to solve problems in motion vision. In particular we develop algorithms for the recovery of dense depth maps and motion parameters using state ...
  • Niyogi, Partha; Berwick, Robert (1995-12-01)
    Formalizing linguists' intuitions of language change as a dynamical system, we quantify the time course of language change including sudden vs. gradual changes in languages. We apply the computer model to the historical ...
  • Kahn, Kenneth M.; Hewitt, Carl (1978-06-01)
    Dynamic computer graphics is best represented as several processes operating in parallel. Full parallel processing, however, entails much complex mechanism making it difficult to write simple, intuitive programs for ...
  • Attie, Paul C.; Lynch, Nancy A. (2013-07-08)
    We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton ...
  • Attie, Paul C.; Lynch, Nancy A. (2003-07-26)
    We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems of interacting components. The systems we consider are dynamic in two senses: (1) components ...
  • Hollerbach, John M.; Flash, Tamar (1981-11-01)
    Movement of multiple segment limbs requires generation of appropriate joint torques which include terms arising from dynamic interactions among the moving segments as well as from such external forces as gravity. The ...
  • Abelson, Harold; Sussman, Gerald Jay (1987-05-01)
    The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical simulations. This part of ...
  • Brock, David L. (1991-11-01)
    A dynamic model and control system of an artificial muscle is presented. The artificial muscle is based on a contractile polymer gel which undergoes abrupt volume changes in response to variations in external conditions. ...
MIT-Mirage