4962 search results - page 956 / 993 » Stochastic Model Checking |
SIAMCO
2010
15 years 19 days ago
2010
We consider linear-quadratic-Gaussian (LQG) games with a major player and a large number of minor players. The major player has a significant influence on others. The minor playe...
165
click to vote
SIAMCOMP
2010
15 years 19 days ago
2010
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity o...
131
click to vote
GLOBECOM
2010
IEEE
15 years 7 days ago
2010
IEEE
: We propose and analyze a class of trust management protocols for encounter-based routing in delay tolerant networks (DTNs). The underlying idea is to incorporate trust evaluation...
130
Voted
ICTAI
2010
IEEE
15 years 6 days ago
2010
IEEE
A significant body of work in multiagent systems over more than two decades has focused on multi-agent coordination (1). Many challenges in multi-agent coordination can be modeled ...
133
click to vote
MICCAI
2010
Springer
15 years 4 days ago
2010
Springer
The 3-D reconstruction of cardiac vasculature using C-arm CT is an active and challenging field of research. In interventional environments patients often do have arrhythmic heart ...