Constructing Quantified Invariants via Predicate Abstraction.

Shuvendu K. Lahiri Randal E. Bryant

Published in: VMCAI (2004)

Keyphrases

first order logic
high level
moment invariants
real time
information retrieval
computer vision
decision making
decision trees
image sequences
edge information