A Proof-Based Method for Modelling Timed Systems.
Alexei IliasovJeremy W. BryansPublished in: Ershov Memorial Conference (2014)
Keyphrases
- high precision
- preprocessing
- high accuracy
- synthetic data
- experimental evaluation
- classification method
- main contribution
- similarity measure
- clustering method
- theoretical analysis
- computational cost
- dynamic programming
- significant improvement
- prior knowledge
- model selection
- computationally efficient
- cost function
- support vector machine svm
- pairwise
- mathematical model
- expert systems
- decision trees
- evaluation method