A Method for Invariant Generation for Polynomial Continuous Systems.
Andrew SogokonKhalil GhorbalPaul B. JacksonAndré PlatzerPublished in: VMCAI (2016)
Keyphrases
- prior knowledge
- computational cost
- synthetic data
- objective function
- high precision
- support vector machine svm
- computationally efficient
- pairwise
- dynamic programming
- experimental evaluation
- optimization method
- model selection
- high accuracy
- management system
- significant improvement
- expert systems
- preprocessing
- neural network
- artificial neural networks
- edge detection
- distributed systems
- similarity measure
- clustering method
- computer vision
- classification method
- high order
- data sets