Sciweavers

278 search results - page 3 / 56
» Quantitative Fairness Games
Sort
View
CSR
2010
Springer
15 years 2 months ago
Equilibria in Quantitative Reachability Games
In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In this framework each player aims at reaching...
Thomas Brihaye, Véronique Bruyère, J...
CVPR
2009
IEEE
16 years 4 months ago
A Collaborative Benchmark for Region of Interest Detection Algorithms
This paper presents a collaborative benchmark for region of interest (ROI) detection in images. ROI detection has many useful applications and many algorithms have been proposed...
Tz-Huan Huang, Kai-Yin Cheng and Yung-Yu Chuang
VALUETOOLS
2006
ACM
166views Hardware» more  VALUETOOLS 2006»
15 years 4 months ago
Fairness considerations of scheduling in multi-server and multi-queue systems
— Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motiva...
David Raz, Benjamin Avi-Itzhak, Hanoch Levy
SIGMETRICS
2005
ACM
154views Hardware» more  SIGMETRICS 2005»
15 years 3 months ago
Fair operation of multi-server and multi-queue systems
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...
David Raz, Benjamin Avi-Itzhak, Hanoch Levy
CONCUR
2010
Springer
14 years 11 months ago
Simulation Distances
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
Pavol Cerný, Thomas A. Henzinger, Arjun Rad...