Enhancements in formal process description by using a formal method.
Cheng XinLukas GrunauMario ThronMatthias RiedlPublished 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