Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.
Mario BravettiAdrian FrancalanzaIaroslav GolovanovHans HüttelMathias JakobsenMikkel KettunenAntónio RavaraPublished in: CoRR (2020)
Keyphrases
- synthetic data
- detection method
- main contribution
- experimental evaluation
- optimization method
- objective function
- cost function
- high accuracy
- similarity measure
- optimization algorithm
- preprocessing
- pairwise
- prior knowledge
- classification method
- classification accuracy
- computationally efficient
- high precision
- computational cost
- data sets
- significant improvement
- computational complexity
- image processing