FOCI
2007
IEEE
14 years 18 days ago
2007
IEEE
Abstract-- In this paper, we empirically analyze the convergence behavior of evolutionary algorithms (evolution strategies
FOCI
2007
IEEE
14 years 18 days ago
2007
IEEE
AiNet is an immune-inspired algorithm for data compression, i.e. the reduction of redundancy in data sets. In this paper we investigate the compression quality of aiNet. Therefore,...
FOCI
2007
IEEE
14 years 18 days ago
2007
IEEE
Abstract-- The dual notions of discernibility and indiscernibility play an important role in intelligent data analysis. While discernibility focuses on the differences, the indisce...
FOCI
2007
IEEE
14 years 18 days ago
2007
IEEE
A large body of research has investigated the advantages of combining phenotype adaptation and genotype adaptation. The hybridization of genetic search and local search methods, of...
FCT
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. In recent years we have witnessed the proliferation of semidefinite programming bounds in combinatorial optimization [1,5,8], quantum computing [9,2,3,6,4,16] and even in...
FCT
2007
Springer
14 years 18 days ago
2007
Springer
We investigate issues regarding two hard problems related to voting, the optimal weighted lobbying problem and the winner problem for Dodgson elections. Regarding the former, Chris...
FCT
2007
Springer
14 years 18 days ago
2007
Springer
We study the multi-dimensional version of the bin packing problem with conflicts. We are given a set of squares V = {1, 2, . . . , n} with sides s1, s2, . . . , sn [0, 1] and a co...
FCT
2007
Springer
14 years 18 days ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
FCT
2007
Springer
14 years 18 days ago
2007
Springer
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, a...
FCT
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...