4457 search results - page 398 / 892 » Tests of Machine Intelligence |
180
click to vote
ATAL
2004
Springer
16 years 1 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
211
click to vote
ICCCI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Semantic Web promises increased precision in automated information sorting, searching, organizing and summarizing. Realizing this requires significantly more reliabl...
244
click to vote
UPP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
230
click to vote
AGENTS
1999
Springer
15 years 12 months ago
1999
Springer
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
182
click to vote
ECML
1993
Springer
15 years 11 months ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...