SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications.
Alessandro GianolaPublished in: BPM (PhD/Demos) (2022)
Keyphrases
- data sets
- complex data
- probability distribution
- data collection
- raw data
- data structure
- knowledge discovery
- image data
- experimental data
- data quality
- data distribution
- social media
- data sources
- data mining techniques
- input data
- synthetic data
- database
- sensor data
- neural network
- statistical analysis
- computer systems
- data processing
- prior knowledge
- high quality
- clustering algorithm
- artificial intelligence