Counterexample-Guided Bit-Precision Selection.

Shaobo He Zvonimir Rakamaric

Published in: APLAS (2017)

Keyphrases

model checking
high precision
precision and recall
multiresolution
search algorithm
image compression
fine tuning
data sets
databases
neural network
machine learning
image processing
decision trees
high speed
average precision