Verification of Dynamic Data Tree with mu-calculus Extended with Separation.
María-del-Mar GallardoDavid SanánPublished in: SEFM (2010)
Keyphrases
- data collection
- raw data
- high quality
- synthetic data
- statistical analysis
- training data
- data points
- knowledge discovery
- data sets
- data processing
- data analysis
- image data
- data quality
- original data
- experimental data
- web pages
- databases
- computer systems
- prior knowledge
- data structure
- multimedia data
- statistical methods
- neural network