567 search results - page 3 / 114 » Decomposing replicable functions |
KES
2005
Springer
15 years 3 months ago
2005
Springer
This paper introduces Dafo, a new multi-agent framework for evolutionary optimization relying on a competitive coevolutionary genetic algorithm, aka LCGA (Loosely Coupled Genetic A...
ENTCS
2002
14 years 9 months ago
2002
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
CSCW
2004
ACM
15 years 2 months ago
2004
ACM
In this paper, we introduce the concept of dynamically changing between centralized, replicated, and hybrid collaboration architectures. It is implemented by providing users a fun...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
A neural network with fixed topology can be regarded as a parametrization of functions, which decides on the correlations between functional variations when parameters are adapted...
76
Voted
CAV
1998
Springer
15 years 1 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...