Search
Now showing items 21-30 of 35
Conceptual Design of Software: A Research Agenda
(2013-08-08)
A research agenda in software design is outlined, focusing on the role of concepts. The notions of concepts as "abstract affordances" and of conceptual integrity are discussed, and a series of small examples of conceptual ...
Optimal Bidirectional Rapidly-Exploring Random Trees
(2013-08-15)
In this paper we present a simple, computationally-efficient, two-tree variant of the RRT* algorithm along with several heuristics.
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 ...
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. ...