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:

  • A 1020-Node Modular Microphone Array and Beamformer for Intelligent Computing Spaces 
    Weinstein, Eugene; Steele, Kenneth; Agarwal, Anant; Glass, James (2004-04-14)
    Ubiquitous computing environments are characterized by an unboundedamount of noise and crosstalk. In these environments, traditionalmethods of sound capture are insufficient, and array microphones areneeded in order to ...
  • Abstraction in Numerical Methods 
    Halfant, Matthew; Sussman, Gerald Jay (1987-10-01)
    We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software toolbox encapsulating the ...
  • Abstraction, Inspection and Debugging in Programming 
    Rich, Charles; Waters, Richard C. (1981-06-01)
    We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different disciplines have many ...
  • Abstraction Layers for Scalable Microfluidic Biocomputers (Extended Version) 
    Thies, William; Urbanski, John Paul; Thorsen, Todd; Amarasinghe, Saman (2006-05-05)
    Microfluidic devices are emerging as an attractive technology for automatically orchestrating the reactions needed in a biological computer. Thousands of microfluidic primitives have already been integrated on a single ...
  • The Abstract MAC Layer 
    Kuhn, Fabian; Lynch, Nancy; Newport, Calvin (2010-08-26)
    A diversity of possible communication assumptions complicates the study of algorithms and lower bounds for radio networks. We address this problem by defining an abstract MAC layer. This service provides reliable local ...
  • The Abstract MAC Layer 
    Kuhn, Fabian; Newport, Calvin; Lynch, Nancy (2009-05-11)
    A diversity of possible communication assumptions complicates the study of algorithms and lower bounds for radio networks. We address this problem by defining an Abstract MAC Layer. This service provides reliable local ...
  • The Abstract MAC Layer 
    Newport, Calvin; Lynch, Nancy; Kuhn, Fabian (2009-02-21)
    A diversity of possible communication assumptions complicates the study of algorithms and lower bounds for radio networks. We address this problem by defining an Abstract MAC Layer. This service provides reliable local ...
  • An Accelerated Chow and Liu Algorithm: Fitting Tree Distributions to High Dimensional Sparse Data 
    Meila, Marina (1999-01-01)
    Chow and Liu introduced an algorithm for fitting a multivariate distribution with a tree (i.e. a density model that assumes that there are only pairwise dependencies between variables) and that the graph of these dependencies ...
  • Acceleration of Series 
    Gosper, R.W. (1974-03-01)
    The rate of convergence of infinite series can be accelerated b y a suitable splitting of each term into two parts and then combining the second part of the n-th term with the first part of the (n+1) -th term t get a new ...
  • An Accountable Source-To-Source Transformation System 
    Steele, Barbara Sue Kerne (1981-06-01)
    Though one is led to believe that program transformation systems which perform source-to-source transformations enable the user to understand and appreciate the resulting source program, this is not always the case. ...
  • Accurate and Scalable Surface Representation and Reconstruction from Images 
    Zeng, Gang; Paris, Sylvain; Quan, Long; Sillion, Francois (2005-11-18)
    We introduce a new surface representation, the patchwork, to extend the problem of surface reconstruction from multiple images. A patchwork is the combination of several patches that are built one by one. This design ...
  • ACE: A Cliché-based Program Structure Editor 
    Tan, Yang Meng (MIT Artificial Intelligence Laboratory, 1987-05)
    ACE extends the syntax-directed paradigm of program editing by adding support for programming clichés. A programming cliché is a standard algorithmic fragment. ACE supports the rapid construction of programs through the ...
  • Achieving Artificial Intelligence through Building Robots 
    Brooks, Rodney A. (1986-05-01)
    We argue that generally accepted methodologies of Artificial Intelligence research are limited in the proportion of human level intelligence they can be expected to emulate. We argue that the currently accepted ...
  • Achieving Real-Time Mode Estimation through Offline Compilation 
    Van Eepoel, John M. (2002-10-22)
    As exploration of our solar system and outerspace move into the future, spacecraft are being developed to venture on increasingly challenging missions with bold objectives. The spacecraft tasked with completing these ...
  • A Combined Pointer and Purity Analysis for Java Programs 
    Salcianu, Alexandru; Rinard, Martin (2004-05-17)
    We present a new method purity analysis for Java programs.A method is pure if it does not mutate any location that exists in the program state right before method invocation.Our analysis is built on top of a combined pointer ...
  • A Combined Stochastic and Greedy Hybrid Estimation Capability for Concurrent Hybrid Models with Autonomous Mode Transitions 
    Blackmore, Lars; Funiak, Stanislav; Williams, Brian (2006-04-28)
    Robotic and embedded systems have become increasingly pervasive in applicationsranging from space probes and life support systems to robot assistants. In order to act robustly in the physical world, robotic systems must ...
  • A Consistency Management Layer for Inter-Domain Routing 
    Kushman, Nate; Katabi, Dina; Wroclawski, John (2006-01-27)
    This paper proposes an isolation layer -- a shim -- betweeninter-domain routing and packet forwarding. The job of this layer isto coordinate between Autonomous Systems (AS's) on when and how tomodify the forwarding state ...
  • A Constant-Factor Approximation Algorithm for Embedding Unweighted Graphs into Trees 
    Badoiu, Mihai; Indyk, Piotr; Sidiropoulos, Anastasios (2004-07-05)
    We present a constant-factor approximation algorithm for computing anembedding of the shortest path metric of an unweighted graph into atree, that minimizes the multiplicative distortion.
  • A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership 
    Rodrigues, Rodrigo; Liskov, Barbara (2003-09-25)
    We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set.
  • Active Knowledge 
    Freuder, Eugene C. (MIT Artificial Intelligence Laboratory, 1973-10)
    A progress report on the work described in Vision Flashes 33 and 43 on recognition of real objects. Emphasis is on the "active" use of knowledge in directing the flow of visual processing.
MIT-Mirage