Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).

Markus Schordan Dirk Beyer Jonas Lundberg

Published in: ISoLA (1) (2016)

Keyphrases

comparative evaluation
neural network
real world
learning algorithm
image processing
evaluation method
real time
data sets
machine learning
computer vision
search algorithm
empirical evaluation
evaluation model
face verification