Formal Reasoning on Infinite Data Values: An Ongoing Quest.
Taolue ChenFu SongZhilin WuPublished in: SETSS (2016)
Keyphrases
- data sets
- data collection
- training data
- synthetic data
- data points
- data distribution
- data analysis
- data processing
- artificial intelligence
- user defined
- missing values
- statistical methods
- statistical analysis
- raw data
- knowledge discovery
- end users
- data structure
- high quality
- input variables
- highly correlated
- complex data
- numerical data
- data mining
- reasoning process
- experimental data
- spatial data
- high dimensional data
- computer systems
- database
- input data
- image data
- probability distribution
- xml documents