Verification of Top-K Algorithm for a Family of Non-monotonic Ranking Functions.

Nicolás Madrid Pavel Rusnok

Published in: SMC (2015)

Keyphrases

learning algorithm
optimal solution
ranking functions
image processing
decision trees
k means
probabilistic model
scoring function
face recognition
digital libraries
image retrieval
model checking
learning to rank
beam search