589 search results - page 79 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
205
click to vote
GIS
2005
ACM
16 years 25 days ago
2005
ACM
An interesting issue in moving objects databases is to find similar trajectories of moving objects. Previous work on this topic focuses on movement patterns (trajectories with tim...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
This paper proposes a novel recombination scheme for evolutionary algorithms, which can guide the new population generation towards the maximum increase of the objective function....
119
click to vote
TEC
2010
14 years 6 months ago
2010
In this paper, we consider the scenario that a population-based algorithm is applied to a numerical optimization problem and a solution needs to be presented within a given time bu...
106
click to vote
SECON
2008
IEEE
15 years 6 months ago
2008
IEEE
—Many sensing systems remotely monitor/measure an environment at several sites, and then report these observations to a central site. We propose and investigate several practical...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
This paper considers the problem of performing decentralised coordination of low-power embedded devices (as is required within many environmental sensing and surveillance applicat...