1151 search results - page 115 / 231 » The role of game theory in human computation systems |
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...
ACMACE
2009
ACM
13 years 11 months ago
2009
ACM
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
This paper describes an audience response process and its supporting systems for use in judged sporting events at the 2004 Athens Olympic Games. It consists of a wireless scoreinp...
WIMOB
2008
IEEE
14 years 2 months ago
2008
IEEE
—One popular solution for reducing the resource consumption of Intrusion Detection System (IDS) in MANET is to elect a head-cluster (leader) to provide intrusion detection servic...