Quantitative abstraction refinement.

Pavol Cerný Thomas A. Henzinger Arjun Radhakrishna

Published in: POPL (2013)

Keyphrases

high level
data abstraction
quantitative and qualitative
data sets
qualitative and quantitative
neural network
digital libraries
refinement process
real world
similarity measure
bayesian networks
preprocessing
expert systems
quantitative measures