Sciweavers

2560 search results - page 174 / 512
» Contributions to zero-sum problems
Sort
View
84
Voted
CEEMAS
2005
Springer
15 years 6 months ago
Dialectical Theory for Multi-agent Assumption-Based Planning
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
Damien Pellier, Humbert Fiorino
99
Voted
CP
2005
Springer
15 years 6 months ago
Symmetry and Consistency
We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...
Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Ro...
88
Voted
EUROGP
2005
Springer
107views Optimization» more  EUROGP 2005»
15 years 6 months ago
Operator-Based Distance for Genetic Programming: Subtree Crossover Distance
Abstract. This paper explores distance measures based on genetic operators for genetic programming using tree structures. The consistency between genetic operators and distance mea...
Steven M. Gustafson, Leonardo Vanneschi
99
Voted
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 6 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
115
Voted
ICARIS
2005
Springer
15 years 6 months ago
Application Areas of AIS: The Past, The Present and The Future
After a decade of research into the area of Artificial Immune Systems, it is worthwhile to take a step back and reflect on the contributions that the paradigm has brought to the ...
Emma Hart, Jonathan Timmis