Verifying a Class: combining Testing and Proving.

Grazyna Mirkowska Andrzej Salwicki Oskar Swida

Published in: Fundam. Informaticae (2009)

Keyphrases

artificial intelligence
machine learning
computer vision
clustering algorithm
similarity measure
multiresolution
probabilistic model
dimensionality reduction