2191 search results - page 271 / 439 » Improving the Efficiency of Non-Deterministic Computations |
124
click to vote
AIPS
2004
15 years 7 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
136
click to vote
SODA
2001
ACM
15 years 7 months ago
2001
ACM
Recently, Har-Peled [HP99b] presented a new randomized technique for online construction of the zone of a curve in a planar arrangement of arcs. In this paper, we present several ...
170
click to vote
MOBICOM
2010
ACM
15 years 6 months ago
2010
ACM
Interference is a critical issue in wireless communications. In a typical multiple-user environment, different users may severely interfere with each other. Coordination among use...
147
click to vote
DC
2010
15 years 6 months ago
2010
We present efficient algorithms for computing very sparse low distortion spanners in distributed networks and prove some non-trivial lower bounds on the tradeoff between time, spar...
177
Voted
FGCS
2006
15 years 6 months ago
2006
We consider a model where commodity service providers are offering commodity computational services to a set of customers. We provide a solution for the efficient distribution of ...