858 search results - page 48 / 172 » One Is Enough! |
CIE
2005
Springer
14 years 2 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...
ICANN
2005
Springer
14 years 2 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...
DSOM
2005
Springer
14 years 2 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...
PAKDD
2010
ACM
14 years 1 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...
CEC
2009
IEEE
14 years 1 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 ...