Weakest-Congruence Results for Livelock-Preserving Equivalences.

Antti Puhakka Antti Valmari

Published in: CONCUR (1999)

Keyphrases

connected components
object recognition
neural network
artificial intelligence
metadata
multiscale
objective function
data structure
lower bound
image analysis
denoising