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]
@inproceedings{ChouL14, title = {Machine Learning Approaches for Interactive Verification}, author = {Yu-Cheng Chou and Hsuan-Tien Lin}, year = {2014}, doi = {10.1007/978-3-319-06605-9_11}, url = {http://dx.doi.org/10.1007/978-3-319-06605-9_11}, researchr = {https://researchr.org/publication/ChouL14}, cites = {0}, citedby = {0}, pages = {122-133}, booktitle = {Advances in Knowledge Discovery and Data Mining - 18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 13-16, 2014. Proceedings, Part II}, editor = {Vincent S. Tseng and Tu Bao Ho and Zhi-Hua Zhou and Arbee L. P. Chen and Hung-Yu Kao}, volume = {8444}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-06604-2}, }