117 search results - page 24 / 24 » Program Extraction from Classical Proofs |
WWW
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we propose a semi-supervised learning approach for classifying program (bot) generated web search traffic from that of genuine human users. The work is motivated by...
ICDM
2010
IEEE
13 years 5 months ago
2010
IEEE
Thousands of scientific conferences happen every year, and each involves a laborious scientific peer review process conducted by one or more busy scientists serving as Technical/Sc...