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

Now showing items 321-340 of 2625

  • Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures 

    Unknown author (2009-09-03)
    Many modern computations (such as video and audio encoders, Monte Carlo simulations, and machine learning algorithms) are designed to trade off accuracy in return for increased performance. To date, such computations ...

  • Lightweight Communications and Marshalling for Low-Latency Interprocess Communication 

    Unknown author (2009-09-02)
    We describe the Lightweight Communications and Marshalling (LCM) library for message passing and data marshalling. The primary goal of LCM is to simplify the development of low-latency message passing systems, targeted at ...

  • Information Flow for Secure Distributed Applications 

    Unknown author (2009-08-27)
    Private and confidential information is increasingly stored online and increasingly being exposed due to human errors as well as malicious attacks. Information leaks threaten confidentiality, lead to lawsuits, damage ...

  • AvatarSAT: An Auto-tuning Boolean SAT Solver 

    Unknown author (2009-08-26)
    We present AvatarSAT, a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis. The classifiers use features of both the input and ...

  • Detecting Hazardous Intensive Care Patient Episodes Using Real-time Mortality Models 

    Unknown author (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 ...

  • Extending a MOOS-IvP Autonomy System and Users Guide to the IvPBuild Toolbox 

    Unknown author (2009-08-20)
    This document describes how to extend the suite of MOOS applications and IvP Helm behaviors distributed with the MOOS-IvP software bundle from www.moos-ivp.org. It covers (a) a straw-man repository with a place-holder MOOS ...

  • Guaranteed in-order packet delivery using Exclusive Dynamic Virtual Channel Allocation 

    Unknown author (2009-08-18)
    In-order packet delivery, a critical abstraction for many higher-level protocols, can severely limit the performance potential in low-latency networks (common, for example, in network-on-chip designs with many cores). While ...

  • Application Heartbeats for Software Performance and Health 

    Unknown author (2009-08-07)
    Adaptive, or self-aware, computing has been proposed as one method to help application programmers confront the growing complexity of multicore software development. However, existing approaches to adaptive systems are ...

  • CG2Real: Improving the Realism of Computer Generated Images using a Large Collection of Photographs 

    Unknown author (2009-07-15)
    Computer Graphics (CG) has achieved a high level of realism, producing strikingly vivid images. This realism, however, comes at the cost of long and often expensive manual modeling, and most often humans can still distinguish ...

  • The Guided Improvement Algorithm for Exact, General-Purpose, Many-Objective Combinatorial Optimization 

    Unknown author (2009-07-03)
    This paper presents a new general-purpose algorithm for exact solving of combinatorial many-objective optimization problems. We call this new algorithm the guided improvement algorithm. The algorithm is implemented on top ...

  • Programming Manifolds 

    Unknown author (2007)
    Many programming domains involve the manipulation of values distributed through a manifold - examples include sensor networks, smart materials, and biofilms. This paper describes a programming semantics for manifolds based ...

  • Interactive Visual Histories for Vector Graphics 

    Unknown author (2009-06-24)
    Presentation and graphics software enables users to experiment with variations of illustrations. They can revisit recent editing operations using the ubiquitous undo command, but they are limited to sequential exploration. ...

  • Enhanced Visual Authoring Using Operation History 

    Unknown author (2009-06-24)
    Graphical editors have introduced great flexibility to the designer's workflow, providing powerful digital tools and enabling the creation of complex and compelling designs. This thesis presents methods for improving these ...

  • An integrated model of visual attention using shape-based features 

    Unknown author (2009-06-20)
    Apart from helping shed some light on human perceptual mechanisms, modeling visual attention has important applications in computer vision. It has been shown to be useful in priming object detection, pruning interest points, ...

  • An Overview of MOOS-IvP and a Brief Users Guide to the IvP Helm Autonomy Software 

    Unknown author (2009-06-18)
    This document describes the IvP Helm - an Open Source behavior-based autonomy application for unmanned vehicles. IvP is short for interval programming - a technique for representing and solving multi-objective optimizations ...

  • Keeping Mobile Robots Connected 

    Unknown author (2009-06-17)
    Designing robust algorithms for mobile agents with reliable communication is difficult due to the distributed nature of computation, in mobile ad hoc networks (MANETs) the matter is exacerbated by the need to ensure ...

  • Partitioning Strategies for Concurrent Programming 

    Unknown author (2009-06-16)
    This work presents four partitioning strategies, or patterns, useful for decomposing a serial application into multiple concurrently executing parts. These partitioning strategies augment the commonly used task and data ...

  • A Useful Homomorphic Encryption Method 

    Unknown author (2009-06-15)

  • Simple LCD Transmitter Camera Receiver Data Link 

    Unknown author (2009-06-15)
    We demonstrate a freespace optical system using a consumer camera and projector in indoor environments using available devices for visual computing. Through design, prototype and experimentation with this commodity hardware, ...

  • Coherent Reaction 

    Unknown author (2009-06-12)
    Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordination is complex, error-prone, and fragile. ...