Abstracting C with abC.

Dennis Dams William Hesse Gerard J. Holzmann

Published in: CAV (2002)

Keyphrases

artificial bee colony algorithm
artificial bee colony
swarm intelligence
data structure
video sequences
multi objective
scheduling problem
optimization algorithm
neural network
fuzzy logic
particle swarm optimization
combinatorial optimization
imperialist competitive algorithm