1631 search results - page 139 / 327 » Observing Functional Logic Computations |
113
Voted
GECCO
2007
Springer
15 years 10 months 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...
98
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
We propose a novel variant of the (1 + 1)-CMA-ES that updates the distribution of mutation vectors based on both successful and unsuccessful trial steps. The computational costs o...
116
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
171
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
138
Voted
TCS
1998
15 years 3 months ago
1998
We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...