Special track on Software Verification: editorial message.

Published in: SAC (2008)

Keyphrases

computer vision
image processing
special issue
image segmentation
email
data sets
genetic algorithm
learning algorithm
search engine
hidden markov models