A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
Luca AcetoMatteo CiminiAnna IngólfsdóttirPublished in: SOS (2009)
Keyphrases
- synthetic data
- cost function
- high precision
- objective function
- clustering method
- high accuracy
- classification accuracy
- expressive power
- support vector machine svm
- theoretical analysis
- fully automatic
- input data
- edge detection
- semi supervised
- probabilistic model
- experimental evaluation
- dynamic programming
- significant improvement
- artificial neural networks
- pairwise
- similarity measure
- optimization method
- data sets
- language independent
- mathematical model
- model selection
- image processing
- machine learning