Automatic Verification of Counter Systems With Ranking Function.

Emmanuelle Encrenaz Alain Finkel

Published in: INFINITY (2009)

Keyphrases

ranking functions
ranking algorithm
learning to rank
information retrieval
real valued
feature space
data sets
data mining
training data
semi supervised
web search