Verification of Population Protocols with Unordered Data is undecidable.
Roland GuttenbergPublished in: CoRR (2023)
Keyphrases
- data sets
- data collection
- data quality
- database
- neural network
- data analysis
- data sources
- raw data
- image data
- small number
- experimental data
- statistical analysis
- statistical methods
- data distribution
- missing data
- high quality
- training data
- probability distribution
- high dimensional data
- data processing
- data acquisition
- data mining techniques
- distributed databases
- data structure