608 search results - page 24 / 122 » Interactive Oracle Proofs |
NIPS
2004
13 years 11 months ago
2004
Machine learning is often used to automatically solve human tasks. In this paper, we look for tasks where machine learning algorithms are not as good as humans with the hope of ga...
ICS
2010
Tsinghua U.
14 years 7 months ago
2010
Tsinghua U.
MKM
2007
Springer
14 years 4 months ago
2007
Springer
MKM
2005
Springer
14 years 3 months ago
2005
Springer
TPHOL
2003
IEEE
14 years 3 months ago
2003
IEEE
