Symbolic Monitoring against Specifications Parametric in Time and Data.
Masaki WagaÉtienne AndréIchiro HasuoPublished in: CoRR (2019)
Keyphrases
- data sets
- training data
- high quality
- database
- data collection
- data analysis
- sensor data
- synthetic data
- original data
- raw data
- data processing
- data sources
- high dimensional data
- statistical analysis
- small number
- experimental data
- data acquisition
- missing data
- data quality
- complex data
- data gathering
- data mining techniques
- computer systems
- sensor networks
- data points
- end users
- data model
- prior knowledge
- data structure
- database systems
- databases
- real time