Advanced Search
DSpace@MIT

Browsing CSAIL Digital Archive by Title

Research and Teaching Output of the MIT Community

Browsing CSAIL Digital Archive by Title

Sort by: Order: Results:

  • Data Structure Repair Using Goal-Directed Reasoning 
    Demsky, Brian; Rinard, Martin (2004-05-18)
    Model-based data structure repair is a promising techniquefor enabling programs to continue to execute successfullyin the face of otherwise fatal data structure corruption errors.Previous research in this eld relied on ...
  • Dealers, Insiders and Bandits: Learning and its Effects on Market Outcomes 
    Das, Sanmay (2006-07-12)
    This thesis seeks to contribute to the understanding of markets populated by boundedly rational agents who learn from experience. Bounded rationality and learning have both been the focus of much research in computer ...
  • Decomposing Broadcast Algorithms Using Abstract MAC Layers 
    Khabbazian, Majid; Kowalski, Dariusz; Kuhn, Fabian; Lynch, Nancy (2011-02-23)
    In much of the theoretical literature on global broadcast algorithms for wireless networks, issues of message dissemination are considered together with issues of contention management. This combination leads to complicated ...
  • Decoupled Sampling for Real-Time Graphics Pipelines 
    Ragan-Kelley, Jonathan; Doggett, Michael; Lehtinen, Jaakko; Chen, Jiawen; Durand, Fredo (2010-03-29)
    We propose decoupled sampling, an approach that decouples shading from visibility sampling in order to enable motion blur and depth-of-field at reduced cost. More generally, it enables extensions of modern real-time graphics ...
  • De-Emphasis of Distracting Image Regions Using Texture Power Maps 
    Su, Sara L.; Durand, Fredo; Agrawala, Maneesh (2005-04-12)
    A major obstacle in photography is the presence of distracting elements that pull attention away from the main subject and clutter the composition. In this article, we present a new image-processing technique that reduces ...
  • Definition and Expansion of Composite Automata in IOA 
    Tauber, Joshua A.; Garland, Stephen J. (2004-07-19)
    The IOA language provides notations for defining both primitive and composite I/O automata.This note describes, both formally and with examples, the constraints on these definitions, thecomposability requirements for the ...
  • Deionizer: A Tool for Capturing and Embedding I/O Cells 
    Taylor, Michael Bedford (2004-06-07)
    In this paper, we introduce the concept of a deionizer. A deionizeris a special type of partial evaluator whose purpose is to create a newversion of a program that can run without accessing a partial set of I/O resources.Although ...
  • Detecting and Tolerating Byzantine Faults in Database Systems 
    Vandiver, Benjamin Mead (2008-06-30)
    This thesis describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares answers from queries and updates on multiple ...
  • Detecting and tracking multiple interacting objects without class-specific models 
    Bose, Biswajit; Wang, Xiaogang; Grimson, Eric (2006-04-25)
    We propose a framework for detecting and tracking multiple interacting objects from a single, static, uncalibrated camera. The number of objects is variable and unknown, and object-class-specific models are not available. ...
  • Detecting Hazardous Intensive Care Patient Episodes Using Real-time Mortality Models 
    Hug, Caleb (2009-08-26)
    The modern intensive care unit (ICU) has become a complex, expensive, data-intensive environment. Caregivers maintain an overall assessment of their patients based on important observations and trends. If an advanced ...
  • Determining articulator configuration in voiced stop consonants by matching time-domain patterns in pitch periods 
    Kondacs, Attila (2005-01-28)
    In this thesis I will be concerned with linking the observed speechsignal to the configuration of articulators.Due to the potentially rapid motion of the articulators, the speechsignal can be highly non-stationary. The ...
  • Developmental Cost for Models of Intelligence 
    Beal, Jacob (2007-05-15)
    We can evaluate models of natural intelligence, as well as theirindividual components, by using a model of hardware and developmentcosts, ignoring almost all the details of biology. The basic argumentis that neither the ...
  • Direction Estimation of Pedestrian from Images 
    Shimizu, Hiroaki; Poggio, Tomaso (2003-08-27)
    The capability of estimating the walking direction of people would be useful in many applications such as those involving autonomous cars and robots.We introduce an approach for estimating the walking direction of people ...
  • Discovering Latent Classes in Relational Data 
    Kemp, Charles; Griffiths, Thomas L.; Tenenbaum, Joshua B. (2004-07-22)
    We present a framework for learning abstract relational knowledge with the aimof explaining how people acquire intuitive theories of physical, biological, orsocial systems. Our approach is based on a generative relational ...
  • Discovering object categories in image collections 
    Sivic, Josef; Russell, Bryan C.; Efros, Alexei A.; Zisserman, Andrew; Freeman, William T. (2005-02-25)
    Given a set of images containing multiple object categories,we seek to discover those categories and their image locations withoutsupervision. We achieve this using generative modelsfrom the statistical text literature: ...
  • Discriminative Gaussian Process Latent Variable Model for Classification 
    Urtasun, Raquel; Darrell, Trevor (2007-03-28)
    Supervised learning is difficult with high dimensional input spacesand very small training sets, but accurate classification may bepossible if the data lie on a low-dimensional manifold. GaussianProcess Latent Variable ...
  • Dissociated Dipoles: Image representation via non-local comparisons 
    Balas, Benjamin J.; Sinha, Pawan (2003-08-13)
    A fundamental question in visual neuroscience is how to represent image structure. The most common representational schemes rely on differential operators that compare adjacent image regions. While well-suited to encoding ...
  • Distributed Area Search with a Team of Robots 
    Tzanov, Velin K. (2006-12-05)
    The main goal of this thesis is to demonstrate the applicability of the distributed systems paradigm to robotic systems. This goal is accomplished by presenting two solutions to the Distributed Area Search problem: organizing ...
  • A Distributed Building Evacuation System 
    Qumsiyeh, Dany M. (2008-07-14)
    This thesis investigates the feasibility of a smart building evacuation system, capable of guiding occupants along safe paths to exits and responding to changing threats. Inspired by developments in amorphous computing, ...
  • Distributed Computation in Dynamic Networks 
    Oshman, Rotem; Lynch, Nancy; Kuhn, Fabian (2009-11-10)
    In this report we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the communication links for each round are chosen ...
MIT-Mirage