Sciweavers

3374 search results - page 126 / 675
» Explaining Similarity of Terms
Sort
View
ASWEC
2007
IEEE
15 years 10 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
ISCC
2007
IEEE
104views Communications» more  ISCC 2007»
15 years 10 months ago
Chronicle Recognition for Mobility Management Triggers
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
Christophe Dousson, Kostas Pentikousis, Tiia Sutin...
AOSE
2007
Springer
15 years 10 months ago
Extending Gaia with Agent Design and Iterative Development
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
Jorge Gonzalez-Palacios, Michael Luck
GECCO
2007
Springer
210views Optimization» more  GECCO 2007»
15 years 10 months ago
Markov chain models of bare-bones particle swarm optimizers
We apply a novel theoretical approach to better understand the behaviour of different types of bare-bones PSOs. It avoids many common but unrealistic assumptions often used in an...
Riccardo Poli, William B. Langdon
GECCO
2007
Springer
191views Optimization» more  GECCO 2007»
15 years 10 months ago
A biologically inspired solution for an evolved simulated agent
Biologically inspired designs can improve the design of artificial agents. In this paper we explain and explore the role of directional light sensors from an Evolutionary Robotic...
Edgar Bermudez Contreras