5243 search results - page 171 / 1049 » Reasoning About Strategies |
137
click to vote
ISSTA
2006
ACM
16 years 15 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
205
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
184
click to vote
ICCBR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...
201
click to vote
CCGRID
2006
IEEE
16 years 18 days ago
2006
IEEE
As the scale is expanding, node failure becomes a commonplace feature of large-scale cluster systems. As an important part of cluster operating system software, job scheduling tak...
182
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Although several researchers have integrated methods for reinforcement learning (RL) with case-based reasoning (CBR) to model continuous action spaces, existing integrations typic...