Symbolic Methods in Testing (Dagstuhl Seminar 13021).

Thierry Jéron Margus Veanes Burkhart Wolff

Published in: Dagstuhl Reports (2013)

Keyphrases

neural network
preprocessing
computationally expensive
real world
image processing
semi supervised
machine learning methods
search methods