Verifying higher-order concurrency with data automata.
Alex DixonRanko LazicAndrzej S. MurawskiIgor WalukiewiczPublished in: LICS (2021)
Keyphrases
- higher order
- data sets
- data processing
- data analysis
- database
- high dimensional
- knowledge discovery
- experimental data
- computer systems
- data collection
- natural images
- data quality
- image data
- input data
- decision trees
- data warehouse
- attribute values
- small number
- data distribution
- statistical methods
- raw data
- noisy data
- complex data