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

Now showing items 301-320 of 2625

  • Sufficient Conditions for Uniform Stability of Regularization Algorithms 

    Unknown author (2009-12-01)
    In this paper, we study the stability and generalization properties of penalized empirical-risk minimization algorithms. We propose a set of properties of the penalty term that is sufficient to ensure uniform ?-stability: ...

  • A Unified Operating System for Clouds and Manycore: fos 

    Unknown author (2009-11-20)
    Single chip processors with thousands of cores will be available in the next ten years and clouds of multicore processors afford the operating system designer thousands of cores today. Constructing operating systems for ...

  • Distributed Computation in Dynamic Networks 

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

  • Rational Robustness for Mechanism Design 

    Unknown author (2009-11-10)
    The currently prevailing equilibrium-based approach to mechanism design suffers from a plurality of fundamental problems, and new conceptual frameworks are needed to solve or sufficiently alleviate them. In this paper, we ...

  • Graphite: A Distributed Parallel Simulator for Multicores 

    Unknown author (2009-11-09)
    This paper introduces the open-source Graphite distributed parallel multicore simulator infrastructure. Graphite is designed from the ground up for exploration of future multicore processors containing dozens, hundreds, ...

  • Smartlocks: Self-Aware Synchronization through Lock Acquisition Scheduling 

    Unknown author (2009-11-09)
    As multicore processors become increasingly prevalent, system complexity is skyrocketing. The advent of the asymmetric multicore compounds this -- it is no longer practical for an average programmer to balance the system ...

  • Automated home-cage behavioral phenotyping of mice 

    Unknown author (2009-10-26)
    We describe a trainable computer vision system enabling the automated analysis of complex mouse behaviors. We provide software and a very large manually annotated video database used for training and testing the system. ...

  • Co-Clustering with Generative Models 

    Unknown author (2009-11-03)
    In this paper, we present a generative model for co-clustering and develop algorithms based on the mean field approximation for the corresponding modeling problem. These algorithms can be viewed as generalizations of the ...

  • Propagation Networks: A Flexible and Expressive Substrate for Computation 

    Unknown author (2009-11-03)
    I propose a shift in the foundations of computation. Practically all ideas of general-purpose computation today are founded either on execution of sequences of atomic instructions, i.e., assembly languages, or on evaluation ...

  • Shape from Sheen 

    Unknown author (2009-10-22)

  • Iterative Projection Methods for Structured Sparsity Regularization 

    Unknown author (2009-10-14)
    In this paper we propose a general framework to characterize and solve the optimization problems underlying a large class of sparsity based regularization algorithms. More precisely, we study the minimization of learning ...

  • Understanding and Supporting Directed Content Sharing on the Web 

    Unknown author (2009-10-07)
    To find interesting, personally relevant web content, we often rely on friends and colleagues to pass links along as they encounter them. In this paper, we study and augment link-sharing via e-mail, the most popular means ...

  • Notes on the Shannon Entropy of the Neural Response 

    Unknown author (2009-10-09)
    In these notes we focus on the concept of Shannon entropy in an attempt to provide a systematic way of assessing the discrimination properties of the neural response, and quantifying the role played by the number of layers ...

  • A Bayesian inference theory of attention: neuroscience and algorithms 

    Unknown author (2009-10-03)
    The past four decades of research in visual neuroscience has generated a large and disparate body of literature on the role of attention [Itti et al., 2005]. Although several models have been developed to describe specific ...

  • Attentive processing improves object recognition 

    Unknown author (2009-10-02)
    The human visual system can recognize several thousand object categories irrespective of their position and size. This combination of selectivity and invariance is built up gradually across several stages of visual processing. ...

  • Efficient POMDP Forward Search by Predicting the Posterior Belief Distribution 

    Unknown author (2009-09-23)
    Online, forward-search techniques have demonstrated promising results for solving problems in partially observable environments. These techniques depend on the ability to efficiently search and evaluate the set of beliefs ...

  • Whanaungatanga: Sybil-proof routing with social networks 

    Unknown author (2009-09-24)
    Decentralized systems, such as distributed hash tables, are subject to the Sybil attack, in which an adversary creates many false identities to increase its influence. This paper proposes a routing protocol for a distributed ...

  • Finding aircraft collision-avoidance strategies using policy search methods 

    Unknown author (2009-09-12)
    A progress report describing the application of policy gradient and policy search by dynamic programming methods to an aircraft collision avoidance problem inspired by the requirements of next-generation TCAS.

  • Dependency-Directed Backtracking in Non-Deterministic Scheme 

    Unknown author (MIT Artificial Intelligence Laboratory, 1988-08)
    Non-deterministic LISP can be used to describe a search problem without specifying the method used to solve the problem. We show that SCHEMER, a non-deterministic dialect of SCHEME, can support dependency-directed backtracking ...

  • Code for LOLCAT Method (Variant of Gillespie Algorithm) 

    Unknown author (2009-09-04)
    This code and data is publicly listed code for the LOLCAT Method developed by Sagar Indurkhya and Jacob Beal, in the paper: "Reaction factoring and bipartite update graphs accelerate the Gillespie algorithm for large-scale ...