1639 search results - page 156 / 328 » Anytime Heuristic Search |
105
click to vote
AI
2000
Springer
15 years 19 days ago
2000
Springer
GENET is a heuristic repair algorithm which demonstrates impressive e ciency in solving some large-scale and hard instances of constraint satisfaction problems (CSPs). In this pap...
149
Voted
ML
2002
ACM
15 years 14 days ago
2002
ACM
This paper introduces a Bayesian method for clustering dynamic processes. The method models dynamics as Markov chains and then applies an agglomerative clustering procedure to disc...
99
Voted
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
126
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
While the idea that querying mechanisms for complex relationships (otherwise known as Semantic Associations) should be integral to Semantic Web search technologies has recently ga...
135
click to vote
LCTRTS
2010
Springer
14 years 10 months ago
2010
Springer
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...