660 search results - page 53 / 132 » Reasoning about Dynamic Policies |
ICDCS
2003
IEEE
15 years 5 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
RSFDGRC
2005
Springer
15 years 5 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
ICML
1995
IEEE
16 years 20 days ago
1995
IEEE
The success ofreinforcement learninginpractical problems depends on the ability to combine function approximation with temporal di erence methods such as value iteration. Experime...
114
click to vote
AI
1999
Springer
14 years 11 months ago
1999
Springer
Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challengingresearch opportunities. In this article, we introduce per...
NFM
2011
14 years 6 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...