567 search results - page 3 / 114 » Decomposing replicable functions |
KES
2005
Springer
14 years 26 days 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
13 years 7 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
14 years 24 days 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
13 years 7 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...
CAV
1998
Springer
13 years 11 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...