Ranking Abstraction as Companion to Predicate Abstraction.

Ittai Balaban Amir Pnueli Lenore D. Zuck

Published in: FORTE (2005)

Keyphrases

high level
computer vision
case study
information retrieval
evolutionary algorithm
learning to rank
data abstraction
decision theoretic planning