858 search results - page 48 / 172 » One Is Enough! |
143
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
127
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...
121
click to vote
DSOM
2005
Springer
15 years 11 months ago
2005
Springer
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...
160
click to vote
PAKDD
2010
ACM
15 years 11 months ago
2010
ACM
Abstract. Discovering interesting patterns in long sequences, and finding confident association rules within them, is a popular area in data mining. Most existing methods define...
145
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In the commonly used DE/rand/1 variant of differential evolution the primary mechanism of generating new solutions is the perturbation of a randomly selected point by a ...