1054 search results - page 10 / 211 » A Formalization of the Turing Test |
FORTEST
2008
15 years 1 months ago
2008
114
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
104
click to vote
WWW
2008
ACM
16 years 15 days ago
2008
ACM
Cell phones are increasingly becoming attractive targets of various worms, which cause the leakage of user privacy, extra service charges and depletion of battery power. In this w...
FM
2005
Springer
15 years 5 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
128
click to vote
ICGA
2010
14 years 6 months ago
2010
The debate in philosophy and cognitive science about the Chinese Room Argument has focused on whether it shows that machines can have minds. We present a quantitative argument whi...