Lemma localization: a practical method for downsizing SMT-interpolants.

Florian Pigorsch Christoph Scholl

Published in: DATE (2013)

Keyphrases

high precision
segmentation method
detection method
high accuracy
dynamic programming
cost function
experimental evaluation
objective function
significant improvement
multiresolution
real world
classification accuracy
support vector machine
pairwise
feature set
support vector
synthetic data
feature selection