Search
Now showing items 91-100 of 101
Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
(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 ...
BigBand: GHz-Wide Sensing and Decoding on Commodity Radios
(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 ...
Body-form and body-pose recognition with a hierarchical model of the ventral stream
(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 ...
A Publish-Subscribe Implementation of Network Management
(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 ...
Organon: A Symbolic Constraint Framework & Solver
(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 ...
Compositional Policy Priors
(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. ...
High Spatial Resolution BRDFs with Metallic powders Using Wave Optics Analysis
(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 ...
Decision Uncertainty Minimization and Autonomous Information Gathering
(2013-08-22)
Over the past several decades, technologies for remote sensing and exploration have be- come increasingly powerful but continue to face limitations in the areas of information gathering and analysis. These limitations ...
Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata
(2013-12-11)
It is an undeniable fact that autonomous systems are simultaneously becoming more common place, more complex, and deployed in more inhospitable environments. Examples include smart homes, smart cars, Mars rovers, unmanned ...
continuous Relaxation to Over-constrained Temporal Plans
(2013-01-25)
When humans fail to understand the capabilities of an autonomous system or its environmental limitations, they can jeopardize their objectives and the system by asking for unrealistic goals. The objective of this thesis ...