Sciweavers

6355 search results - page 258 / 1271
» From Logic to Games
Sort
View
VTC
2010
IEEE
114views Communications» more  VTC 2010»
15 years 5 months ago
Power Control Game with SINR-Pricing in Variable-Demand Wireless Data Networks
—Game theory has been applied to model power control in wireless systems for years. Conventional power control games tend to consider unlimited backlogged user traffic. Differen...
Fu-Yun Tsuo, Wei-Lin Lee, Chih-Yu Wang, Hung-Yu We...
AAMAS
2011
Springer
15 years 1 months ago
Benchmarking hybrid algorithms for distributed constraint optimisation games
In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose six distributed DCOP...
Archie C. Chapman, Alex Rogers, Nicholas R. Jennin...
MSS
2011
IEEE
177views Hardware» more  MSS 2011»
14 years 10 months ago
Discrimination in festival games with limited observability and accessibility
This paper provides an analysis of discrimination and prejudices from the perspective of inductive game theory. We extend the festival game, originally given by Kaneko-Matsui, to ...
Mamoru Kaneko, Aniruddha Mitra
POPL
2010
ACM
16 years 4 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
SLOGICA
2011
15 years 1 months ago
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
Ofer Arieli, Arnon Avron, Anna Zamansky