Soundness and Completeness Proofs by Coinductive Methods.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: J. Autom. Reason. (2017)

Keyphrases

data sets
search engine
preprocessing
empirical studies
database
databases
three dimensional
pairwise
active learning
significant improvement
high dimensional data
benchmark datasets
optimization methods