New up-to techniques for weak bisimulation.

Published in: Theor. Comput. Sci. (2007)

Keyphrases

database
neural network
real world
database systems
data analysis
data mining
computer vision
multiscale
object recognition