Sciweavers

3819 search results - page 244 / 764
» Simple Easy Terms
Sort
View
CEC
2007
IEEE
16 years 1 months ago
Static experts and dynamic enemies in coevolutionary games
Abstract— The usage of memory in coevolutionary systems offers a wide range of research possibilities, especially when evolving computationally intelligent computer players for g...
Phillipa M. Avery, Zbigniew Michalewicz
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
16 years 1 months ago
EcoPS: a particle swarm algorithm to model group-foraging
Recent work has introduced a simulation model of ecological processes in terms of a very simple Particle Swarm algorithm. This abstract model produced qualitatively realistic beha...
Cecilia Di Chio, Riccardo Poli, Paolo Di Chio
SIGECOM
2005
ACM
101views ECommerce» more  SIGECOM 2005»
16 years 24 days ago
Fairness and optimality in congestion games
We study two problems, that of computing social optimum and that of finding fair allocations, in the congestion game model of Milchtaich[8] Although we show that the general prob...
Deeparnab Chakrabarty, Aranyak Mehta, Viswanath Na...
FOSSACS
2004
Springer
16 years 18 days ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
16 years 13 days ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...