4266 search results - page 310 / 854 » Search for More Declarativity |
189
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
Genetic Algorithms (GAs) can efficiently produce high quality results for hard combinatorial real world problems such as the Vehicle Routing Problem (VRP). Genetic Vehicle Represe...
181
Voted
HVC
2005
Springer
16 years 10 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
186
click to vote
ICANN
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) entities interacting locally with their environment cause cohere...
170
click to vote
KES
2005
Springer
16 years 9 days ago
2005
Springer
The new market forces have affected the operation of distribution centers (DCs) extremely. The DCs demand an increased productivity and a low cost in their daily operation. This pa...
209
click to vote
NPC
2005
Springer
16 years 9 days ago
2005
Springer
Peer-to-Peer (P2P) architectures are very prevalent in today’s Internet. Lots of P2P file sharing systems using Gnutella protocol emerge out and draw attractions of millions of p...