882 search results - page 114 / 177 » Local Search for Very Large SAT Problems |
132
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...
133
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a new global constraint which combines together the lexicographic ordering constraint with two sum constraints. Lexicographic ordering constraints are freque...
156
click to vote
KES
1999
Springer
15 years 8 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
160
click to vote
HPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
good data partitioning scheme is the need of the time. However it is very diflcult to arrive at a good solution as the number of possible dutupartitionsfor a given real lifeprogra...
125
click to vote
WEBDB
2009
Springer
15 years 10 months ago
2009
Springer
With the rise of cloud computing, it is increasingly attractive for end-users (organizations and individuals) to outsource the management of their data to a small number of larges...