Verification of Data-Aware Processes via Array-Based Systems (Extended Version).
Diego CalvaneseSilvio GhilardiAlessandro GianolaMarco MontaliAndrey RivkinPublished in: CoRR (2018)
Keyphrases
- raw data
- data sets
- computer systems
- data processing
- original data
- data collection
- data analysis
- high quality
- database
- expert systems
- storage systems
- training data
- high dimensional data
- synthetic data
- experimental data
- support systems
- data objects
- commercial systems
- data acquisition
- model checking
- spatial data
- missing data
- statistical analysis
- input data
- distributed systems
- data sources
- prior knowledge
- clustering algorithm