Modular reasoning about invariants over shared state with interposed data members.
Stephanie BalzerThomas R. GrossPublished in: PLPV (2010)
Keyphrases
- data sets
- original data
- raw data
- data collection
- synthetic data
- small number
- data analysis
- prior knowledge
- statistical analysis
- data distribution
- machine learning
- reinforcement learning
- application domains
- experimental data
- search engine
- historical data
- complex data
- neural network
- statistical methods
- attribute values
- high dimensional data
- database
- information systems
- image data
- data structure