Grouping-Based Nonadditive Verification.

Arnon Amir Michael Lindenbaum

Published in: IEEE Trans. Pattern Anal. Mach. Intell. (1998)

Keyphrases

model checking
face verification
formal verification
grouping algorithm
perceptual grouping
formal analysis
verification method
database
machine learning
artificial intelligence
image processing
database systems
image sequences
multi agent
expert systems