Verification of complex dynamic data tree with mu-calculus.
María-del-Mar GallardoDavid SanánPublished in: Autom. Softw. Eng. (2013)
Keyphrases
- complex data
- synthetic data
- data sets
- image data
- statistical analysis
- small number
- data quality
- spatial data
- data processing
- input data
- knowledge discovery
- probability distribution
- database
- multi dimensional
- data sources
- raw data
- original data
- high quality
- data points
- end users
- data collection
- feature space
- data analysis
- data structure
- search engine
- complex queries