4457 search results - page 23 / 892 » Tests of Machine Intelligence |
HAIS
2010
Springer
13 years 9 months ago
2010
Springer
KI
2008
Springer
13 years 8 months ago
2008
Springer
AI
2010
Springer
13 years 3 months ago
2010
Springer
HAIS
2009
Springer
14 years 19 days ago
2009
Springer
One of the most important challenges in supervised learning is how to evaluate the quality of the models evolved by different machine learning techniques. Up to now, we have relied...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...