Sciweavers

1046 search results - page 164 / 210
» Evolution of Embodied Intelligence
Sort
View
124
Voted
LFCS
2007
Springer
15 years 9 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-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
106
Voted
ECAL
2005
Springer
15 years 8 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»
15 years 8 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»
15 years 8 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»
15 years 8 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