756 search results - page 61 / 152 » Leveraging the CAPTCHA Problem |
CIKM
2011
Springer
12 years 9 months ago
2011
Springer
Machine learning often relies on costly labeled data, and this impedes its application to new classification and information extraction problems. This has motivated the developme...
AAAI
2012
11 years 11 months ago
2012
Much work has been done on predicting where is one going to be in the immediate future, typically within the next hour. By contrast, we address the open problem of predicting huma...
SOSP
2005
ACM
14 years 5 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Publishing personal content on the web is gaining increased popularity with dramatic growth in social networking websites, and availability of cheap personal domain names and host...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...