5216 search results - page 689 / 1044 » Planning as Model Checking |
190
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
169
click to vote
MACOM
2010
15 years 5 months ago
2010
Abstract. This paper focuses in the analysis of 100% static and distributed inter-cell interference coordination techniques in the context of LTE networks. Several methods have bee...
157
click to vote
MIG
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
171
click to vote
TROB
2010
15 years 5 months ago
2010
Abstract—Modular robotic systems typically assemble using deterministic processes where modules are directly placed into their target position. By contrast, stochastic modular ro...
204
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile phones are among the most popular consumer devices and the recent developments of 3G networks and smart phones enable users to watch video programs by subscribing data plan...