Browsing CSAIL Digital Archive by Title
Now showing items 228-247 of 806
-
DSENT - A Tool Connecting Emerging Photonics with Electronics for Opto-Electronic Networks-on-Chip Modeling
(2012-02-08)With the advent of many-core chips that place substantial demand on the NoC, photonics has been investigated as a promising alternative to electrical NoCs. While numerous opto-electronic NoCs have been proposed, their ... -
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems
(2013-07-08)We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton ... -
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
(2003-07-26)We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems of interacting components. The systems we consider are dynamic in two senses: (1) components ... -
Dynamic Prefetching of Data Tiles for Interactive Visualization
(2015-10-19)In this paper, we present ForeCache, a general-purpose tool for exploratory browsing of large datasets. ForeCache utilizes a client-server architecture, where the user interacts with a lightweight client-side interface to ... -
Dynamically Resizable Static CMOS Logic for Fine-Grain Leakage
(2004-07-12)Digital circuits often have a critical path that runs through a smallsubset of the component subblocks, but where the path changes dynamicallyduring operation. Dynamically resizable static CMOS (DRCMOS) logic isproposed ... -
Early Sketch Processing with Application in HMM Based Sketch Recognition
(2004-07-28)Freehand sketching is a natural and crucial part of everyday humaninteraction, yet is almost totally unsupported by current user interfaces. With the increasing availability of tablet notebooks and pen based PDAs, sketchbased ... -
Eclat: Automatic Generation and Classification of Test Inputs
(2004-10-14)This paper describes a technique that helps a test engineerselect, from a large set of randomly generated testinputs, a small subset likely to reveal faults in the softwareunder test. The technique takes a program or ... -
Efficient Cache Coherence on Manycore Optical Networks
(2010-02-11)Ever since industry has turned to parallelism instead of frequency scaling to improve processor performance, multicore processors have continued to scale to larger and larger numbers of cores. Some believe that multicores ... -
An Efficient Fill Estimation Algorithm for Sparse Matrices and Tensors in Blocked Formats
(2017-06-09)Tensors, linear-algebraic extensions of matrices in arbitrary dimensions, have numerous applications in computer science and computational science. Many tensors are sparse, containing more than 90% zero entries. Efficient ... -
Efficient Image Matching with Distributions of Local Invariant Features
(2004-11-22)Sets of local features that are invariant to common image transformations are an effective representation to use when comparing images; current methods typically judge feature sets' similarity via a voting scheme (which ... -
An Efficient Learning Procedure for Deep Boltzmann Machines
(2010-08-04)We present a new learning algorithm for Boltzmann Machines that contain many layers of hidden variables. Data-dependent statistics are estimated using a variational approximation that tends to focus on a single mode, and ... -
Efficient Marginal Likelihood Optimization in Blind Deconvolution
(2011-04-04)In blind deconvolution one aims to estimate from an input blurred image y a sharp image x and an unknown blur kernel k. Recent research shows that a key to success is to consider the overall shape of the posterior distribution ... -
Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure
(2008-03-06)When controlling dynamic systems such as mobile robots in uncertain environments, there is a trade off between risk and reward. For example, a race car can turn a corner faster by taking a more challenging path. This paper ... -
Efficient Object Recognition and Image Retrieval for Large-Scale Applications
(2008-05-06)Algorithms for recognition and retrieval tasks generally call for both speed and accuracy. When scaling up to very large applications, however, we encounter additional significant requirements: adaptability and scalability. ... -
Efficient POMDP Forward Search by Predicting the Posterior Belief Distribution
(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 ... -
Efficient Specification-Assisted Error Localization and Correction
(2003-11-13)We present a new error localization tool, Archie, that accepts aspecification of key data structure consistency constraints, then generatesan algorithm that checks if the data structures satisfy theconstraints. We also ... -
Efficient, Verifiable Binary Sandboxing for a CISC Architecture
(2005-05-02)Executing untrusted code while preserving security requiresenforcement of memory and control-flow safety policies:untrusted code must be prevented from modifying memory orexecuting code except as explicitly allowed. ... -
Efficiently Solving Repeated Integer Linear Programming Problems by Learning Solutions of Similar Linear Programming Problems using Boosting Trees
(2015-01-21)It is challenging to obtain online solutions of large-scale integer linear programming (ILP) problems that occur frequently in slightly different forms during planning for autonomous systems. We refer to such ILP problems ... -
Elastic-Net Regularization in Learning Theory
(2008-07-24)Within the framework of statistical learning theory we analyze in detail the so-called elastic-net regularization scheme proposed by Zou and Hastie ["Regularization and variable selection via the elastic net" J. R. Stat. ... -
Electronic Cash with Blind Deposits: How to Have No Spare Change
(2003-10-14)Electronic cash schemes in which the bank authenticates many coins at once suffer from the problem that coins that are authenticated together can be linked to one another. Unfortunately, unless a user spends coins in a ...