Interflow: interprocedural flow-sensitive type inference and method duplication.
Denys ShabalinMartin OderskyPublished in: SCALA@ICFP (2018)
Keyphrases
- experimental evaluation
- high precision
- high accuracy
- similarity measure
- fully automatic
- parameter estimation
- significant improvement
- machine learning
- classification accuracy
- pairwise
- synthetic data
- em algorithm
- theoretical analysis
- computationally efficient
- prior information
- objective function
- segmentation method
- detection method
- clustering method
- preprocessing
- medical images
- support vector machine
- computational cost
- moving objects
- cost function