Search
Now showing items 3631-3640 of 4210
Synthesis of Randomized Accuracy-Aware Map-Fold Programs
(2013-12-29)
We present Syndy, a technique for automatically synthesizing randomized map/fold computations that trade accuracy for performance. Given a specification of a fully accurate computation, Syndy automatically synthesizes ...
On Randomized Path Coverage of Configuration Spaces
(2013-11-18)
We present a sampling-based algorithm that generates a set of locally-optimal paths that differ in visibility.
Bridging Utility Maximization and Regret Minimization
(2013-12-03)
We relate the strategies obtained by (1) utility maximizers who use regret to refine their set of undominated strategies, and (2) regret minimizers who use weak domination to refine their sets of regret-minimizing strategies.
Motion Compatibility for Indoor Localization
(2014-08-26)
Indoor localization -- a device's ability to determine its location within an extended indoor environment -- is a fundamental enabling capability for mobile context-aware applications. Many proposed applications assume ...
Alloy*: A Higher-Order Relational Constraint Solver
(2014-09-02)
The last decade has seen a dramatic growth in the use of constraint solvers as a computational mechanism, not only for analysis and synthesis of software, but also at runtime. Solvers are available for a variety of logics ...
A Coded Shared Atomic Memory Algorithm for Message Passing Architectures
(2014-08-01)
This paper considers the communication and storage costs of emulating atomic (linearizable) multi-writer multi-reader shared memory in distributed message-passing systems. The paper contains three main contributions: (1) ...
Autotuning Algorithmic Choice for Input Sensitivity
(2014-06-23)
Empirical autotuning is increasingly being used in many domains to achieve optimized performance in a variety of different execution environments. A daunting challenge faced by such autotuners is input sensitivity, where ...
Latent Case Model: A Generative Approach for Case-Based Reasoning and Prototype Classification
(2014-05-26)
We present a general framework for Bayesian case-based reasoning and prototype classification and clustering -- Latent Case Model (LCM). LCM learns the most representative prototype observations of a dataset by performing ...
Quaternionic Representation of the Riesz Pyramid for Video Magnification
(2014-04-26)
Recently, we presented a new image pyramid, called the Riesz pyramid, that uses the Riesz transform to manipulate the phase in non-oriented sub-bands of an image sequence to produce real-time motion-magnified videos. In ...
Energy-Efficient Approximate Computation in Topaz
(2014-08-19)
We present Topaz, a new task-based language for computations that execute on approximate computing platforms that may occasionally produce arbitrarily inaccurate results. The Topaz implementation maps approximate tasks ...