Abstraction Refinement for Trace Inclusion of Data Automata.
Radu IosifAdam RogalewiczTomás VojnarPublished in: CoRR (2014)
Keyphrases
- data sets
- raw data
- data collection
- image data
- complex data
- synthetic data
- data structure
- database
- knowledge discovery
- small number
- spatial data
- statistical analysis
- data points
- training data
- bayesian networks
- website
- missing data
- information systems
- data distribution
- network structure
- social networks
- data objects
- machine learning
- historical data