Search
Now showing items 61-70 of 136
Managing the 802.11 Energy/Performance Tradeoff with Machine Learning
(2004-10-27)
This paper addresses the problem of managing the tradeoff betweenenergy consumption and performance in wireless devices implementingthe IEEE 802.11 standard. To save energy, the 802.11 specificationproposes a power-saving ...
On Spatial Conjunction as Second-Order Logic
(2004-10-25)
Spatial conjunction is a powerful construct for reasoning about dynamically allocateddata structures, as well as concurrent, distributed and mobile computation. Whileresearchers have identified many uses of spatial ...
Combining dynamic abstractions in large MDPs
(2004-10-21)
One of the reasons that it is difficult to plan and act in real-worlddomains is that they are very large. Existing research generallydeals with the large domain size using a static representation andexploiting a single ...
Byzantine Fault Tolerance in Long-Lived Systems
(2004-08-13)
This paper proposes counter-measures that can be deployedas part of a replicated system to reduce the size ofW, and thus reduce the class of attacks to which the system is vulnerable. Obviously it will not be possible to ...
Generative Temporal Planning with Complex Processes
(2004-05-18)
Autonomous vehicles are increasingly being used in mission-critical applications, and robust methods are needed for controlling these inherently unreliable and complex systems. This thesis advocates the use of model-based ...
A Unified Statistical and Information Theoretic Framework for Multi-modal Image Registration
(2004-04-28)
We formulate and interpret several multi-modal registration methods inthe context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implicit assumptionsof each method ...
Verifying the Correctness of Wide-Area Internet Routing
(2004-05-17)
Several studies have shown that wide-area Internet routing is fragile, with failures occurring for a variety of reasons. Routing fragility is largely due to the flexible and powerful ways in which BGP can be configured to ...
Rotation Invariant Object Recognition from One Training Example
(2004-04-27)
Local descriptors are increasingly used for the task of object recognition because of their perceived robustness with respect to occlusions and to global geometrical deformations. Such a descriptor--based on a set of ...
A Combined Pointer and Purity Analysis for Java Programs
(2004-05-17)
We present a new method purity analysis for Java programs.A method is pure if it does not mutate any location that exists in the program state right before method invocation.Our analysis is built on top of a combined pointer ...
Light-Weight Leases for Storage-Centric Coordination
(2004-04-22)
We propose light-weight lease primitives to leverage fault-tolerant coordination among clients accessing a shared storage infrastructure (such as network attached disks or storage servers). In our approach, leases are ...