Contextual Equivalence for State and Control via Nested Data.
Benedict BuntingAndrzej S. MurawskiPublished in: LICS (2024)
Keyphrases
- data sets
- data collection
- data processing
- sensor data
- image data
- data structure
- high quality
- data sources
- training data
- data quality
- statistical analysis
- experimental data
- data analysis
- control system
- knowledge discovery
- raw data
- application domains
- noisy data
- data objects
- data acquisition
- database
- historical data
- missing data
- synthetic data
- data mining techniques
- small number
- data points
- xml documents
- information retrieval
- data mining