1795 search results - page 158 / 359 » Search by strategy |
174
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...
166
click to vote
TEC
2008
15 years 6 months ago
2008
Coevolutionary learning involves a training process where training samples are instances of solutions that interact strategically to guide the evolutionary (learning) process. One ...
167
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
166
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The NEWUOA which belongs to the class of Derivative-Free optimization algorithms is benchmarked on the BBOB-2009 noisefree testbed. A multistart strategy is applied with a maximum...
172
click to vote
IGARSS
2010
15 years 4 months ago
2010
In this paper, we develop a new spatial preprocessing strategy which can be applied prior to a spectral-based endmember extraction process for unmixing of hyperspectral data. Our ...