1503 search results - page 203 / 301 » Generalized Parity Games |
197
click to vote
EICS
2011
ACM
14 years 5 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
103
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
111
click to vote
ESWS
2007
Springer
15 years 7 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...
115
click to vote
SIGCSE
2005
ACM
15 years 7 months ago
2005
ACM
The paper advocates a wider use of puzzles and puzzle-like games in teaching the analysis of algorithms. It discusses many specific examples—from classic puzzles of recreational...
SIGECOM
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents HYRIWYG (How You Rate Influences What You Get), a reputation system applicable to Internet Recommendation Systems (RS). The novelty lies in the incentive mecha...