Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
Abstract— This paper presents a search-based, real-time adaptive solution to the multi-robot coordination problem in adversarial environments. By decomposing the global coordinat...
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...
The availability of positional information is of great importance in many commercial, governmental, and military applications. Localization is commonly accomplished through the use...