Results 221 to 230 of about 20,562 (272)

An Ant Colony Verification Algorithm

Seventh International Conference on Intelligent Systems Design and Applications (ISDA 2007), 2007
Buchi automata are widely used as a modeling formalism in formal verification. The emptiness check procedure is used to carry on the model checking of a model M. of a system, against an LTL formula Phi, that expresses the desidered properties the system should satisfy.
Rachid Rebiha, Giovanni Luca Ciampaglia
openaire   +1 more source

An improved ant colony algorithm with soldier ants

2015 11th International Conference on Natural Computation (ICNC), 2015
In the traveling Salesman Problem (TSP) research, the global search capability, convergence speed and robustness have become the hot issues. The ant colony algorithm is often used to solve TSP. The paper presents an improved algorithm based on the basic ant colony algorithm.
Shuhua Gu, Xia Zhang
openaire   +1 more source

Home - About - Disclaimer - Privacy