Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance.

Fajar Haifani Sophie Tourret Christoph Weidenbach

Published in: CADE (2021)

Keyphrases

high resolution
low resolution
information retrieval
neural network
digital topology
relevance feedback
data sets
machine learning
search algorithm
probability distribution
test collection
data quality
image resolution
temporal resolution