Experiments with Multiple Abstraction Heuristics in Symbolic Verification.

Kairong Qian Albert Nymeyer Steven Susanto

Published in: SARA (2005)

Keyphrases

multimedia
high level
search algorithm
feature selection
website
real world
machine learning
information retrieval
artificial intelligence
computer vision
lower bound
multiple objects
symbolic representation
heuristic function