Verifying Implementation Relations.

Jonathan Burton Maciej Koutny Giuseppe Pappalardo

Published in: FME (2001)

Keyphrases

efficient implementation
computer vision
multiscale
information technology
multiresolution
multi agent
data structure
natural language
special case