101
Voted
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
156
click to vote
ANTSW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we present an estimation of distribution particle swarm optimization algorithm that borrows ideas from recent developments in ant colony optimization. In th...
124
Voted
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
139
click to vote
ANTSW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. They appeared in our life some years ago with the awakening of the PC and now the are everywhere : computers have become ubiquitous and, almost, irreplaceable. Classical ...
ANTSW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In previous papers we proposed an algorithm for real parameter optimization called the Aggregation Pheromone System (APS). The APS replaces pheromone trails in traditiona...