Extended sequential reasoning for data-race-free programs.
Laura Effinger-DeanHans-Juergen BoehmDhruva R. ChakrabartiPramod G. JoishaPublished in: MSPC (2011)
Keyphrases
- data sets
- data collection
- data structure
- data sources
- training data
- databases
- database
- data quality
- raw data
- data analysis
- historical data
- domain experts
- missing data
- statistical analysis
- knowledge representation
- probability distribution
- data points
- image data
- small number
- input data
- data processing
- wireless sensor networks
- bayesian networks
- high quality
- attribute values
- knowledge base
- information systems
- artificial intelligence