Swarm Verification Techniques.

Gerard J. Holzmann Rajeev Joshi Alex Groce

Published in: IEEE Trans. Software Eng. (2011)

Keyphrases

particle swarm optimization
swarm intelligence
cooperative
model checking
face verification
data sets
collective behavior
formal analysis
search space
face detection
verification method
evolutionary process
decision making
computer vision
search engine
information retrieval
databases