Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System.
Joseph RazaviRichard BanachSuzanne LesecqOlivier DebickiNicolas MareauJulie FoucaultMarc CorrevonGabriela DudnikPublished in: ICSOFT (2018)
Keyphrases
- formal verification
- data pre processing
- preprocessing
- model checking
- data analysis
- data mining
- feature selection
- dimension reduction
- pattern extraction
- post processing
- missing values
- decision tree algorithm
- text classification
- real world
- genetic programming
- rough set theory
- machine learning
- data mining process
- data preparation