An Object-Based Approach to the B Formal Method.

Alexander Malioukov

Published in: B (1998)

Keyphrases

high accuracy
high precision
significant improvement
computational complexity
dynamic programming
denoising
neural network
preprocessing
pairwise
image retrieval
prior knowledge
feature set
detection algorithm
clustering method
region of interest
target object