3804 search results - page 171 / 761 » From Here to There |
179
click to vote
AAAI
2004
15 years 7 months ago
2004
Tabu search algorithms are amongst the most successful local search based methods for the maximum satisfiability problem. The practical superiority of tabu search over the local s...
172
click to vote
BSL
2004
15 years 6 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
172
click to vote
CCE
2004
15 years 6 months ago
2004
Following from part I, which presents a retrospective on optimization, we focus here on areas that are recent active research topics and are likely to strongly influence the futur...
155
click to vote
JAIR
2010
15 years 4 months ago
2010
We study a setting where a principal needs to motivate a team of agents whose combination of hidden efforts stochastically determines an outcome. In a companion paper we devise an...
184
click to vote
ACAL
2009
Springer
16 years 1 months ago
2009
Springer
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...