Reim & ReImInfer: checking and inference of reference immutability and method purity.
Wei HuangAna MilanovaWerner DietlMichael D. ErnstPublished in: OOPSLA (2012)
Keyphrases
- high accuracy
- computational cost
- significant improvement
- synthetic data
- detection method
- image processing
- high precision
- pairwise
- segmentation method
- cost function
- em algorithm
- bayesian inference
- machine learning
- probabilistic inference
- clustering method
- support vector machine svm
- model selection
- classification accuracy
- experimental evaluation
- prior knowledge
- computational complexity
- objective function
- similarity measure