78 search results - page 6 / 16 » Experiments of Intelligent Algorithms on Ramsey Graphs |
118
click to vote
AAAI
2006
15 years 2 months ago
2006
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
101
click to vote
AAAI
2006
15 years 2 months ago
2006
Real-time dynamic programming (RTDP) is a heuristic search algorithm for solving MDPs. We present a modified algorithm called Focused RTDP with several improvements. While RTDP ma...
100
click to vote
APN
2004
Springer
15 years 6 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
AAAI
1994
15 years 2 months ago
1994
We present the results of an empirical study of several constraint satisfaction search algorithms and heuristics. Using a random problem generator that allows us to create instanc...
ICWSM
2008
15 years 2 months ago
2008
Identifying topics and concepts associated with a set of documents is a task common to many applications. It can help in the annotation and categorization of documents and be used...