531 search results - page 81 / 107 » Using Abstraction for Planning in Sokoban |
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—With increasing popularity of media enabled handhelds, the need for high data-rate services for mobile users is evident. Large-scale Wireless LANs (WLANs) can provide su...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Wireless mesh networks are popular as a costeffective means to provide broadband connectivity to large user populations. A mesh network placement provides coverage, such...
KI
2010
Springer
13 years 6 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
SMC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Wireless networked control systems have begun to gain acceptance during the last decade, largely due to the increased flexibility and lower costs they promise to provi...