2488 search results - page 455 / 498 » An improvement in formal verification |
118
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
— Capacitated arc routing problem (CARP) has attracted much attention due to its generality to many real world problems. Memetic algorithm (MA), among other metaheuristic search ...
153
click to vote
GISCIENCE
2010
Springer
15 years 1 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
107
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid gr...
102
click to vote
COMCOM
2008
15 years 1 months ago
2008
Due to the prevalence of peer dynamics (i.e., churn), object maintenance becomes a fundamental issue in peer-to-peer storage systems. Although quite a few prototypes have been des...
97
Voted
EC
2010
15 years 1 months ago
2010
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...