Satisfiability verification of engineering data safety rules of balise based on ROBDD.
Tongdian WangHuibing ZhaoLinfu ZhuPublished in: ITSC (2016)
Keyphrases
- data sets
- raw data
- data collection
- image data
- input data
- synthetic data
- data points
- probability distribution
- neural network
- data analysis
- original data
- data distribution
- sensor data
- attribute values
- background knowledge
- association rule mining
- data processing
- database
- data structure
- data mining
- statistical analysis
- knowledge base
- data mining techniques
- classification rules
- data model