Time abstraction in timed μCRL a la regions.

Jan Friso Groote Michel A. Reniers Yaroslav S. Usenko

Published in: IPDPS (2006)

Keyphrases

object recognition
petri net
salient features
input image
image regions
segmented images
homogeneous regions