Incremental preprocessing methods for use in BMC.
Stefan KupferschmidMatthew LewisTobias SchubertBernd BeckerPublished in: Formal Methods Syst. Des. (2011)
Keyphrases
- preprocessing
- empirical studies
- preprocessing step
- computationally expensive
- information retrieval
- machine learning methods
- cross validation
- benchmark datasets
- image processing
- support vector
- pairwise
- computational cost
- multi class
- image sequences
- post processing
- high dimensional data
- three dimensional
- decision trees
- classification method
- feature selection
- qualitative and quantitative
- real world