1524 search results - page 95 / 305 » Game Relations and Metrics |
100
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Using a game-theoretic model combined with the evolutionary model, we investigate the conditions under which the desirable interaction rules will evolve and sustain in various ...
125
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
We propose a new class of game-theoretic models for network formation in which strategies are not directly related to edge choices, but instead correspond more generally to the ex...
110
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
126
click to vote
IWEC
2010
15 years 2 months ago
2010
We propose a rule-based camerawork controller for a recently proposed a comic generation system. Five camerawork rules are derived through an analysis of online-game webcomics abou...
98
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...