Anytime Approximate Formal Feature Attribution.

Jinqiang Yu Graham Farr Alexey Ignatiev Peter J. Stuckey

Published in: SAT (2024)

Keyphrases

feature vectors
image processing
image features
formal model
preprocessing step
data sets
search engine
computer vision
database systems
bayesian networks
support vector