2479 search results - page 195 / 496 » Quantum complexity theory |
151
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
It is widely assumed and observed in experiments that the use of diversity mechanisms in evolutionary algorithms may have a great impact on its running time. Up to now there is no...
157
Voted
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
Geometric particle swarm optimization (GPSO) is a recently introduced generalization of traditional particle swarm optimization (PSO) that applies to all combinatorial spaces. The...
234
click to vote
JSAI
2007
Springer
16 years 27 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
214
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate t...
193
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...