Machine Learning Approaches for Interactive Verification.

Yu-Cheng Chou, Hsuan-Tien Lin

Browse the full PAKDD paper archive.