207 search results - page 35 / 42 » A Temporal Proof System for General Game Playing |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
87
Voted
EICS
2009
ACM
15 years 2 months ago
2009
ACM
dTouch is a novel 3D pointing system that allows interaction with large displays from the use of a single webcam. An initial evaluation demonstrating the feasibility of our pointi...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...