Multiple Pre/Post Specifications for Heap-Manipulating Methods.

Wei-Ngan Chin Cristina David Huu Hai Nguyen Shengchao Qin

Published in: HASE (2007)

Keyphrases

significant improvement
image processing
machine learning algorithms
benchmark datasets
databases
case study
high dimensional
computationally expensive