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:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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. ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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.
  • 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.
  • 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