A case study in programming coinductive proofs: Howe's method.
Alberto MomiglianoBrigitte PientkaDavid ThibodeauPublished in: Math. Struct. Comput. Sci. (2019)
Keyphrases
- clustering method
- detection method
- high precision
- synthetic data
- experimental evaluation
- high accuracy
- error rate
- computational complexity
- input data
- fully automatic
- segmentation method
- support vector machine
- classification accuracy
- cost function
- similarity measure
- case study
- medical images
- model selection
- theoretical analysis
- significant improvement
- pairwise
- feature selection
- machine learning
- neural network