1614 search results - page 164 / 323 » Breadth-First Heuristic Search |
144
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Proofs and empirical evidence are presented which show that a subset of algorithms can have identical performance over a subset of functions, even when the subset of functions is ...
132
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Hill-climbing has been shown to be more effective than exhaustive search in solving satisfiability problems.Also, it has been used either by itself or in combination with other ...
139
Voted
IPL
2008
15 years 4 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
159
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The article presents a local search approach for the solution of timetabling problems in general, with a particular implementation for competition track 3 of the International Time...
132
Voted
MT
2010
15 years 3 months ago
2010
Recent advances in statistical machine translation have used approximate beam search for NP-complete inference within probabilistic translation models. We present an alternative ap...