Reasoning about Data Repetitions with Counter Systems.
Stéphane DemriDiego FigueiraM. PraveenPublished in: Log. Methods Comput. Sci. (2016)
Keyphrases
- data analysis
- data sets
- data collection
- computer systems
- data processing
- raw data
- data distribution
- knowledge discovery
- data formats
- database
- noisy data
- network structure
- data streams
- data structure
- training data
- management system
- data mining techniques
- input data
- image data
- end users
- data model
- synthetic data
- experimental data
- original data
- knowledge base
- databases