Simplified Coalgebraic Trace Equivalence.

Alexander Kurz Stefan Milius Dirk Pattinson Lutz Schröder

Published in: CoRR (2014)

Keyphrases

case study
data sets
computer vision
decision making
multimedia
object recognition
evolutionary algorithm