Sign in
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