Formalization of the Algebra of Nominative Data in Mizar.
Artur KornilowiczAndrii KryvolapMykola S. NikitchenkoIevgen IvanovPublished in: FedCSIS (2017)
Keyphrases
- data sets
- data analysis
- database
- data collection
- synthetic data
- raw data
- high quality
- data model
- probability distribution
- data objects
- data processing
- query language
- data sources
- sensor data
- domain experts
- knowledge discovery
- spatial data
- application domains
- complex data
- statistical analysis
- data mining techniques
- image data
- prior knowledge
- relational databases
- high dimensional
- data mining
- databases
- real time