Yu-Cheng Chou, Hsuan-Tien Lin. Machine Learning Approaches for Interactive Verification. In Vincent S. Tseng, Tu Bao Ho, Zhi-Hua Zhou, Arbee L. P. Chen, Hung-Yu Kao, editors, Advances in Knowledge Discovery and Data Mining - 18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 13-16, 2014. Proceedings, Part II. Volume 8444 of Lecture Notes in Computer Science, pages 122-133, Springer, 2014. [doi]
Abstract is missing.