Data reification in a concurrent rely-guarantee algebra.
Larissa A. MeinickeIan J. HayesCliff B. JonesPublished in: CoRR (2024)
Keyphrases
- data sets
- data analysis
- data processing
- high quality
- knowledge discovery
- data collection
- data mining techniques
- complex data
- statistical analysis
- database
- small number
- image data
- data structure
- data sources
- computer systems
- information systems
- sensor data
- raw data
- original data
- data objects
- machine learning
- historical data