Preservation of Proof Pbligations for Hybrid Verification Methods.
Gilles BartheCésar KunzDavid PichardieJulián Samborski-ForlesePublished in: SEFM (2008)
Keyphrases
- computer vision
- significant improvement
- tomographic image reconstruction
- databases
- search methods
- computationally expensive
- real time
- benchmark datasets
- computational cost
- hybrid approaches
- statistical methods
- cross validation
- empirical studies
- support vector machine
- preprocessing
- bayesian networks
- image processing
- artificial intelligence
- data sets