9119 search results - page 1535 / 1824 » A Simultaneous Search Problem |
137
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-a...
149
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Interleaved planning and scheduling employs the idea of extending partial plans by regularly heeding to the scheduling constraints during search. One of the techniques us...
122
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
152
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Fast query processing of complex objects, e.g. spatial or uncertain objects, depends on efficient spatial pruning of the objects’ approximations, which are typically minimum bou...
137
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
In order to allow a comparison of (otherwise incomparable) sets, many evolutionary multiobjective optimizers use indicator functions to guide the search and to evaluate the perfor...