Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

Published in: CoRR (2007)

Keyphrases

significant improvement
empirical studies
computationally expensive
real world
benchmark datasets
machine learning methods
information retrieval
preprocessing
real time
feature selection
low level
probabilistic model
information extraction
semi supervised
high precision
sensitivity analysis