Modelling Dynamic Data Structures with the B Method.
Frédéric BadeauVincent LacroixVincent MonfortLaurent VoisinChristophe MétayerPublished in: ABZ (2018)
Keyphrases
- experimental evaluation
- high precision
- synthetic data
- classification accuracy
- main contribution
- preprocessing
- detection method
- high accuracy
- similarity measure
- objective function
- segmentation method
- computational cost
- theoretical analysis
- wavelet transform
- classification method
- clustering method
- support vector machine svm
- neural network
- probabilistic model
- computational complexity
- data structure
- clustering algorithm