312 search results - page 23 / 63 » A Formal Measure of Machine Intelligence |
MM
2005
ACM
15 years 3 months ago
2005
ACM
Social and emotional intelligence are aspects of human intelligence that have been argued to be better predictors than IQ for measuring aspects of success in life, especially in s...
AGI
2011
14 years 1 months ago
2011
Comparing humans and machines is one important source of information about both machine and human strengths and limitations. Most of these comparisons and competitions are performe...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Decentralized reinforcement learning (DRL) has been applied to a number of distributed applications. However, one of the main challenges faced by DRL is its convergence. Previous ...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
WILF
2009
Springer
15 years 4 months ago
2009
Springer
Measuring the similarity between clusterings is a classic problem with several proposed solutions. In this work we focus on measures based on coassociation of data pairs and perfor...