Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 141-160 of 2625

  • Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware 

    Unknown author (2013-06-19)
    Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is ...

  • Body-form and body-pose recognition with a hierarchical model of the ventral stream 

    Unknown author (2013-06-18)
    When learning to recognize a novel body shape, e.g., a panda bear, we are not misled by changes in its pose. A "jumping panda bear" is readily recognized, despite having no prior visual experience with the conjunction of ...

  • Reactive Integrated Motion Planning and Execution Using Chekhov 

    Unknown author (2013-06-06)
    We envision a world in which robots and humans can collaborate to perform complex tasks in real-world environments. Current motion planners successfully generate trajectories for a robot with multiple degrees of freedom, ...

  • A Publish-Subscribe Implementation of Network Management 

    Unknown author (2013-06-04)
    As modern networks become highly integrated, heterogeneous, and experience exponential growth, the task of network management becomes increasingly unmanageable for network administrators and designers. The Knowledge Plane ...

  • BigBand: GHz-Wide Sensing and Decoding on Commodity Radios 

    Unknown author (2013-05-22)
    The goal of this paper is to make sensing and decoding GHz of spectrum simple, cheap, and low power. Our thesis is simple: if we can build a technology that captures GHz of spectrum using commodity Wi-Fi radios, it will ...

  • Organon: A Symbolic Constraint Framework & Solver 

    Unknown author (2013-05-24)
    Organon is an open source system for expressing and solving complex symbolic constraints between generic entities. Our design avoids restricting the programmer s ability to phrase constraints; Organon acts purely as a ...

  • High Spatial Resolution BRDFs with Metallic powders Using Wave Optics Analysis 

    Unknown author (2013-04-24)
    This manuscript completes the analysis of our SIGGRAPH 2013 paper "Fabricating BRDFs at High Spatial Resolution Using Wave Optics" in which photolithography fabrication was used for manipulating reflectance effects. While ...

  • Compositional Policy Priors 

    Unknown author (2013-04-12)
    This paper describes a probabilistic framework for incorporating structured inductive biases into reinforcement learning. These inductive biases arise from policy priors, probability distributions over optimal policies. ...

  • Task-Structured Probabilistic I/O Automata 

    Unknown author (2009.)
    Modeling frameworks such as Probabilistic I/O Automata (PIOA) and Markov Decision Processes permit both probabilistic and nondeterministic choices. In order to use these frameworks to express claims about probabilities of ...

  • Tracking 3-D Rotations with the Quaternion Bingham Filter 

    Unknown author (2013-03-27)
    A deterministic method for sequential estimation of 3-D rotations is presented. The Bingham distribution is used to represent uncertainty directly on the unit quaternion hypersphere. Quaternions avoid the degeneracies of ...

  • Faces as a "Model Category" for Visual Object Recognition 

    Unknown author (2013-03-18)
    Visual recognition is an important ability that is central to many everyday tasks such as reading, navigation and social interaction, and is therefore actively studied in neuroscience, cognitive psychology and artificial ...

  • A Plan for Optimizing Network-Intensive Cloud Applications 

    Unknown author (2013-02-12)
    A significant and growing number of applications deployed on cloud infrastructures are network-intensive. These applications are frequently bottlenecked by the speed of network connections between the machines on which ...

  • Asynchronous Failure Detectors 

    Unknown author (2013-01-30)
    Failure detectors -- oracles that provide information about process crashes -- are an important abstraction for crash tolerance in distributed systems. The generality of failure-detector theory, while providing great ...

  • Securing Deployed RFIDs by Randomizing the Modulation and the Channel 

    Unknown author (2013-01-12)
    RFID cards are widely used today in sensitive applications such as access control, payment systems, and asset tracking. Past work shows that an eavesdropper snooping on the communication between a card and its legitimate ...

  • The computational magic of the ventral stream: sketch of a theory (and why some deep architectures work). 

    Unknown author (2012-12-29)
    This paper explores the theoretical consequences of a simple assumption: the computational goal of the feedforward path in the ventral stream -- from V1, V2, V4 and to IT -- is to discount image transformations, after ...

  • 5D Covariance Tracing for Efficient Defocus and Motion Blur 

    Fredo Durand (2012-11-16)
    The rendering of effects such as motion blur and depth-of-field requires costly 5D integrals. We dramatically accelerate their computation through adaptive sampling and reconstruction based on the prediction of the anisotropy ...

  • Monitoring the Execution of Temporal Plans for Robotic Systems 

    Unknown author (2012-10-04)
    To achieve robustness in dynamic and uncertain environments, robotic systems must monitor the progress of their plans during execution. This thesis develops a plan executive called Pike that is capable of executing and ...

  • A Gaussian Approximation of Feature Space for Fast Image Similarity 

    Unknown author (2012-10-01)
    We introduce a fast technique for the robust computation of image similarity. It builds on a re-interpretation of the recent exemplar-based SVM approach, where a linear SVM is trained at a query point and distance is ...

  • Robust Tracking for Real-Time Dense RGB-D Mapping with Kintinuous 

    Unknown author (2012-09-17)
    This paper describes extensions to the Kintinuous algorithm for spatially extended KinectFusion, incorporating the following additions: (i) the integration of multiple 6DOF camera odometry estimation methods for robust ...

  • Aeolus Reference Manual 

    Unknown author (2012-09-14)
    This document describes the interface that the Aeolus information flow platform provides for users who are implementing applications using Java. The document explains how the Aeolus features are made available by means of ...