Sciweavers

278 search results - page 3 / 56
» Quantitative Fairness Games
Sort
View
CSR
2010
Springer
16 years 6 days 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...
198
Voted
CVPR
2009
IEEE
17 years 1 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
187
Voted
VALUETOOLS
2006
ACM
166views Hardware» more  VALUETOOLS 2006»
16 years 1 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
196
Voted
SIGMETRICS
2005
ACM
154views Hardware» more  SIGMETRICS 2005»
16 years 29 days 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
15 years 8 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...