Reasoning about Data Repetitions with Counter Systems.
Stéphane DemriDiego FigueiraM. PraveenPublished in: LICS (2013)
Keyphrases
- data sets
- raw data
- data collection
- training data
- statistical analysis
- information systems
- data points
- data processing
- input data
- management system
- historical data
- data quality
- network structure
- experimental data
- computer systems
- small number
- database
- knowledge discovery
- data analysis
- high quality
- image data
- end users
- data sources
- prior knowledge
- xml documents
- data acquisition
- relational databases
- original data
- noisy data
- machine learning
- repeating patterns