Fast Coalgebraic Bisimilarity Minimization.

Jules Jacobs Thorsten Wißmann

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

objective function
real time
knowledge base
image processing
multiresolution
geometric interpretation
high level
pattern recognition