Bounded Model Construction for Monadic Second-Order Logics.

Abdelwaheb Ayari David A. Basin

Published in: CAV (2000)

Keyphrases

model construction
higher order
expressive power
valued logic
influence diagrams
object recognition
pose estimation
data mining
three dimensional
image sequences