A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung Toshiaki Aoki Takuya Katayama

Published in: ICTAC (2009)

Keyphrases

generation method
feature generation
real world
single image
search algorithm
high quality
database systems
bayesian networks
image segmentation
pattern recognition
preprocessing
image retrieval
user interface
computer vision
information retrieval
databases
universal relation