Linearity and bisimulation.

Nobuko Yoshida Kohei Honda Martin Berger

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

data sets
database
computer vision
image processing
search algorithm
pattern recognition
evolutionary algorithm