2900 search results - page 263 / 580 » On the Convergence of Immune Algorithms |
188
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
199
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
193
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—In this paper, we propose a new interference alignment (IA) scheme designing jointly the linear transmitter and receiver for the MIMO interference channel system, using minimum ...
215
click to vote
UAI
2000
15 years 8 months ago
2000
Stochastic games generalize Markov decision processes MDPs to a multiagent setting by allowing the state transitions to depend jointly on all player actions, and having rewards de...
157
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The Differential Evolution algorithm uses an elitist selection, constantly pushing the population in a strict downhill search, in an attempt to guarantee the conservation of the ...