Program verification with interacting analysis plugins.

Nathaniel Charlton

Published in: Formal Aspects Comput. (2007)

Keyphrases

special case
quantitative analysis
data mining
machine learning
genetic algorithm
social networks
computer vision
information systems
metadata
cooperative
computational complexity
object recognition
data analysis
image analysis