A Propositional Logic-Based Method for Verification of Feature Models.
Wei ZhangHaiyan ZhaoHong MeiPublished in: ICFEM (2004)
Keyphrases
- neural network
- significant improvement
- probabilistic model
- multiscale
- prior knowledge
- dynamic programming
- experimental evaluation
- computational cost
- classification method
- synthetic data
- parameter estimation
- verification method
- monte carlo simulation
- high precision
- segmentation method
- model selection
- high accuracy
- pairwise
- clustering method
- semi supervised
- statistical model
- classification accuracy
- k means
- machine learning methods
- prediction model
- feature representation
- computational complexity