Sciweavers

1046 search results - page 164 / 210
» Evolution of Embodied Intelligence
Sort
View
LFCS
2007
Springer
14 years 3 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine ļ¬rst-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
ECAL
2005
Springer
14 years 2 months ago
CelloS: A Multi-level Approach to Evolutionary Dynamics
We study the evolution of simple cells that are equipped with a genome, a rudimentary gene regulation network at transcription level and two classes of functional genes: motion eļ¬...
Camille Stephan-Otto Attolini, Peter F. Stadler, C...
GECCO
2005
Springer
135views Optimization» more  GECCO 2005»
14 years 2 months ago
Improving particle swarm optimization with differentially perturbed velocity
This paper introduces a novel scheme of improving the performance of particle swarm optimization (PSO) by a vector differential operator borrowed from differential evolution (DE)....
Swagatam Das, Amit Konar, Uday Kumar Chakraborty
GECCO
2005
Springer
190views Optimization» more  GECCO 2005»
14 years 2 months ago
An efficient evolutionary algorithm applied to the design of two-dimensional IIR filters
This paper presents an efficient technique of designing twodimensional IIR digital filters using a new algorithm involving the tightly coupled synergism of particle swarm optimiza...
Swagatam Das, Amit Konar, Uday Kumar Chakraborty
GECCO
2005
Springer
145views Optimization» more  GECCO 2005»
14 years 2 months ago
Evolving an ecology of two-tiered organizations
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levelsā€”an ā€œorganizationalā€...
Travis Kriplean