Verifying and Generating WP Transformers for Procedures on Complex Data.

Patrick Michel Arnd Poetzsch-Heffter

Published in: ITP (2012)

Keyphrases

complex data
model checking
automatically generating
high dimensional data
data mining
computer vision
image processing
similarity measure
areas of data mining