An Isabelle/HOL formalization of AProVE's termination method for LLVM IR.
Max W. HaslbeckRené ThiemannPublished in: CPP (2021)
Keyphrases
- significant improvement
- optimization method
- theoretical analysis
- pairwise
- high precision
- classification method
- cost function
- dynamic programming
- detection method
- markov random field
- detection algorithm
- model selection
- information retrieval systems
- image sequences
- support vector machine
- prior knowledge
- evolutionary algorithm
- multiscale