Quantifier Localization for DQBF.

Aile Ge-Ernst Christoph Scholl Ralf Wimmer

Published in: CoRR (2019)

Keyphrases

decision making
localization algorithm
localization method
data sets
web services
decision trees
image segmentation
object recognition
activity detection
source localization
quantifier elimination
accurate localization