Relevant S is Undecidable.

Søren Brinck Knudstorp

Published in: LICS (2024)

Keyphrases

image processing
real world
digital libraries
image retrieval
np complete
machine learning
case study
image segmentation
high level
image sequences
multiscale
sufficient conditions
higher level
closely related
highly relevant