Bisimulations Generated from Corecursive Equations.

Venanzio Capretta

Published in: MFPS (2010)

Keyphrases

databases
artificial intelligence
cooperative
randomly selected
information retrieval
computer vision
image processing
image segmentation
probabilistic model
automatically generating