A Lean-Congruence Format for EP-Bisimilarity.

Rob van Glabbeek Peter Höfner Weiyou Wang

Published in: EXPRESS/SOS (2023)

Keyphrases

artificial intelligence
metadata
databases
socio technical
multiresolution
multiscale
human readable
computer vision
user interface
high level
image segmentation
xml format
three dimensional
case study
web services
image processing
genetic algorithm