500 search results - page 18 / 100 » Asynchronous Search with Aggregations |
112
click to vote
CLEIEJ
2004
15 years 3 months ago
2004
Optimizing the pump-scheduling is an interesting proposal to achieve cost reductions in water distribution pumping stations. As systems grow, pump-scheduling becomes a very diffic...
106
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Ordering heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics are heuristics which enforce a fail first strategy by using the mi...
148
click to vote
ENTCS
2010
15 years 17 days ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
153
click to vote
WSDM
2012
ACM
13 years 10 months ago
2012
ACM
Many vertical search tasks such as local search focus on specific domains. The meaning of relevance in these verticals is domain-specific and usually consists of multiple well-d...
111
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...