Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.
Mario BravettiAdrian FrancalanzaIaroslav GolovanovHans HüttelMathias JakobsenMikkel KettunenAntónio RavaraPublished in: APLAS (2020)
Keyphrases
- classification method
- computational cost
- detection method
- optimization algorithm
- main contribution
- evaluation method
- segmentation method
- preprocessing
- experimental evaluation
- neural network
- error rate
- support vector machine svm
- theoretical analysis
- computationally efficient
- classification accuracy
- significant improvement
- objective function
- similarity measure
- cost function
- support vector machine
- high accuracy
- prior knowledge
- artificial neural networks
- pairwise
- support vector
- detection algorithm
- clustering method
- decision trees
- feature selection
- data sets
- memory usage