Search
Now showing items 1581-1590 of 1850
Temporally Scalable Visual SLAM using a Reduced Pose Graph
(2012-05-25)
In this paper, we demonstrate a system for temporally scalable visual SLAM using a reduced pose graph representation. Unlike previous visual SLAM approaches that use keyframes, our approach continually uses new measurements ...
A Case for Fine-Grain Adaptive Cache Coherence
(2012-05-22)
As transistor density continues to grow geometrically, processor manufacturers are already able to place a hundred cores on a chip (e.g., Tilera TILE-Gx 100), with massive multicore chips on the horizon. Programmers now ...
Optimal Parametric Auctions
(2012-05-08)
We study the problem of profit maximization in auctions of one good where the buyers' valuations are drawn from independent distributions. When these distributions are known to the seller, Myerson's optimal auction is a ...
Cryptographic Treatment of CryptDB's Adjustable Join
(2012-03-25)
In this document, we provide a cryptographic treatment of the adjustable join protocol from CryptDB. We also discuss how our scheme could be used outside of CryptDB because it provides a simple functionality that may be ...
Preliminary MEG decoding results
(2012-04-20)
Decoding analysis has been applied to electrophysiology and fMRI data to study the visual system, however, this method has only been applied to MEG visual data in a few instances. Here we use the Neural Decoding Toolbox ...
Reactive Integrated Motion Planning and Execution Using Chekhov
(2013-06-06)
We envision a world in which robots and humans can collaborate to perform complex tasks in real-world environments. Current motion planners successfully generate trajectories for a robot with multiple degrees of freedom, ...
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 ...
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 ...