Extended Floyd-Hoare Logic over Relational Nominative Data.
Mykola NikitchenkoIevgen IvanovArtur KornilowiczAndrii KryvolapPublished in: ICTERI (Revised Selected Papers) (2017)
Keyphrases
- data sets
- data collection
- image data
- synthetic data
- databases
- data analysis
- statistical analysis
- high quality
- experimental data
- database
- data processing
- small number
- data quality
- first order logic
- sensor data
- input data
- probability distribution
- end users
- data points
- background knowledge
- data sources
- prior knowledge
- complex data