1516 search results - page 165 / 304 » Generalizing Indexical-Functional Reference |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Game theoretic approaches to patrolling have become a topic of increasing interest in the very last years. They mainly refer to a patrolling mobile robot that preserves an environ...
107
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Mining feedback information from user click-through data is an important issue for modern Web retrieval systems in terms of architecture analysis, performance evaluation and algor...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Given an author-conference graph, how do we answer proximity queries (e.g., what are the most related conferences for John Smith?); how can we tailor the search result if the user...
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...