1960 search results - page 3 / 392 » The Logic of Large Enough |
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
We describe a user study that examined the relationship between the quality of an Information Retrieval system and the effectiveness of its users in performing a task. The task i...
IJCAI
2007
13 years 9 months ago
2007
This goal of this paper is to defend the plausibility of the argument that passing the Turing test is a sufficient condition for the presence of intelligence. To this effect, we ...
AIR
2006
13 years 7 months ago
2006
Abstract. An over-zealous machine learner can automatically generate large, intricate, theories which can be hard to understand. However, such intricate learning is not necessary i...
JAR
2008
13 years 7 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...