Ogre and Pythia: an invariance proof method for weak consistency models.
Jade AlglavePatrick CousotPublished in: POPL (2017)
Keyphrases
- preprocessing
- computational cost
- linear regression
- high accuracy
- pairwise
- autoregressive
- prior knowledge
- machine learning methods
- model selection
- predictive model
- prediction model
- statistical methods
- high precision
- classification method
- statistical model
- mathematical model
- detection method
- clustering method
- data sets
- support vector machine
- knn
- experimental evaluation
- significant improvement
- computational complexity
- neural network