Enhancements in formal process description by using a formal method.

Cheng Xin Lukas Grunau Mario Thron Matthias Riedl

Published in: Autom. (2023)

Keyphrases

significant improvement
similarity measure
clustering method
matching process
cost function
probabilistic model
classification method

formal model
synthetic data
optimization process
computational cost
support vector machine
high accuracy
color images

preprocessing
computational complexity
training data
recognition process
training process
data sets
iterative process

mathematical model
segmentation method
main contribution
theoretical analysis
expectation maximization
experimental evaluation
objective function