278 search results - page 40 / 56 » Quantitative Fairness Games |
91
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Certain observable features (tags), shared by a group of similar agents, can be used to signal intentions and can be effectively used to infer unobservable properties. Such infere...
101
click to vote
SIMUTOOLS
2008
15 years 1 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a novel approach to the causal temporal analysis of event data from video content. Our key observation is that the sequence of visual words produced by a space-time dic...
102
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
107
click to vote
OTM
2007
Springer
15 years 6 months ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...