Extending the SMT-Lib Standard with Theory of Nominative Data.
Liudmyla OmelchukOlena ShyshatskaPublished in: ICTERI Workshops (2019)
Keyphrases
- data sets
- data points
- experimental data
- data analysis
- synthetic data
- image data
- data processing
- raw data
- sensor data
- high dimensional data
- statistical analysis
- computer systems
- database
- input data
- probability distribution
- data sources
- high quality
- data collection
- data mining techniques
- knowledge discovery
- attribute values
- prior knowledge
- application domains
- databases
- data quality
- complex data