A generalization of Ryser's theorem on term rank.

Published in: Discret. Math. (1997)

Keyphrases

regularization term
search algorithm
relevance scores
interactive theorem proving
information retrieval
computer vision
multiscale
cost function
graph model