Sciweavers

2025 search results - page 267 / 405
» Theory as Game: Designing the Game Game
Sort
View
ESWS
2007
Springer
16 years 17 days ago
Measuring Inconsistencies in Ontologies
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...
Xi Deng, Volker Haarslev, Nematollaah Shiri
ICALP
2007
Springer
16 years 16 days ago
Strong Price of Anarchy for Machine Load Balancing
As defined by Aumann in 1959, a strong equilibrium is a Nash equilibrium that is resilient to deviations by coalitions. We give tight bounds on the strong price of anarchy for loa...
Amos Fiat, Haim Kaplan, Meital Levy, Svetlana Olon...
FOSSACS
2005
Springer
15 years 12 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
SIGECOM
2004
ACM
127views ECommerce» more  SIGECOM 2004»
15 years 11 months ago
HYRIWYG: leveraging personalization to elicit honest recommendations
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...
Ana Cristina Bicharra Garcia, Martin Ekstrom, Hans...
FCT
2007
Springer
15 years 10 months ago
Product Rules in Semidefinite Programming
Abstract. In recent years we have witnessed the proliferation of semidefinite programming bounds in combinatorial optimization [1,5,8], quantum computing [9,2,3,6,4,16] and even in...
Rajat Mittal, Mario Szegedy