Checking Z Data Refinements Using Traces Refinement.
André DidierAdalberto FariasAlexandre MotaPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- data sets
- data collection
- training data
- synthetic data
- data processing
- database
- data structure
- small number
- original data
- data mining techniques
- image data
- data analysis
- data sources
- big data
- databases
- data distribution
- spatial data
- information sources
- case study
- knowledge discovery
- prior knowledge
- machine learning
- computer systems
- social networks
- data mining
- missing data
- background knowledge
- website
- data objects
- complex data