429 search results - page 54 / 86 » Turing computations on ordinals |
AI
2007
Springer
14 years 9 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
CIE
2009
Springer
15 years 4 months ago
2009
Springer
We give a combinatorial proof of a tight relationship between the Kanamori-McAloon principle and the Paris-Harrington theorem with a number-theoretic parameter function. We show th...
COLING
1992
14 years 11 months ago
1992
We propose a new method to resolve ambiguity in translation and meaning interpretation using linguistic statistics extracted from dual corpora of sourcu aud target languages in ad...
COLING
2010
14 years 4 months ago
2010
Position information has been proved to be very effective in document summarization, especially in generic summarization. Existing approaches mostly consider the information of se...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Game-theoretic solution concepts, such as Nash equilibrium, are playing an ever increasing role in the study of systems of autonomous computational agents. A common criticism of N...