291 search results - page 21 / 59 » How Well Can Primal-Dual and Local-Ratio Algorithms Perform |
111
click to vote
AMAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
ICML
2008
IEEE
16 years 2 months ago
2008
IEEE
We consider the task of learning to accurately follow a trajectory in a vehicle such as a car or helicopter. A number of dynamic programming algorithms such as Differential Dynami...
NETCOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we show how dynamic brokering for batch allocation in grids based on bi-dimensional indices can be used in practice in computational grids, with or without ...
111
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
122
click to vote
TWC
2008
15 years 1 months ago
2008
We consider resource allocation for elastic wireless applications that measure utility by target connection average throughput and achieved throughput. We construct a framework for...