Verifying OpenJDK's Sort Method for Generic Collections.
Stijn de GouwFrank S. de BoerRichard BubelReiner HähnleJurriaan RotDominic SteinhöfelPublished in: J. Autom. Reason. (2019)
Keyphrases
- high precision
- experimental evaluation
- fully automatic
- segmentation method
- computationally efficient
- computational cost
- computer vision
- detection method
- main contribution
- high accuracy
- dynamic programming
- significant improvement
- computational complexity
- similarity measure
- feature selection
- information retrieval
- probabilistic model
- classification accuracy
- image registration
- prior knowledge
- mutual information
- training data
- clustering method
- error rate
- synthetic data
- metadata