Search
Now showing items 131-140 of 146
A community-based approach to new medium integration in South African education : a combination of ICT4D process approach and ethnographic action research techniques
(2013)
Our initial study indicates that successful integration of new communication medium into South African schools is not only challenging from the financial point of view, but also in terms of designing tools that fit within ...
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. ...
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 ...