Data Flow Analysis and Formal Method.
Yanmei LiShaobin HuangJunyu LinYa LiPublished in: ICYCSEE (2015)
Keyphrases
- synthetic data
- data sets
- input data
- prior knowledge
- detection method
- high accuracy
- database
- preprocessing
- test data
- flow analysis
- correlation analysis
- noisy data
- prior information
- data sources
- knowledge discovery
- statistical methods
- segmentation method
- missing data
- learning algorithm
- training samples
- original data
- information loss
- high dimensional data
- clustering method
- high quality
- mobile phone
- support vector machine
- image data
- significant improvement
- training data
- xml documents
- pairwise
- data analysis