1176 search results - page 59 / 236 » Implicit Abstraction Heuristics |
ACG
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Monte-Carlo tree search, especially the UCT algorithm and its enhancements, have become extremely popular. Because of the importance of this family of algorithms, a deepe...
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
Abstract. We propose a novel mechanism for authentication of queries in a sensor network in case these queries are flooded. In our protocol, the base station appends an authenticat...
CICLING
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In many contexts today, documents are available in a number of versions. In addition to explicit knowledge that can be queried/searched in documents, these documents also...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In this paper, we address navigation and coordination methods that allow swarms of robots to converge and spread along complex 2D shapes in environments containing unkn...
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessa...