4962 search results - page 687 / 993 » Stochastic Model Checking |
108
Voted
JAIR
2010
15 years 28 days ago
2010
We study a setting where a principal needs to motivate a team of agents whose combination of hidden efforts stochastically determines an outcome. In a companion paper we devise an...
139
click to vote
INFOCOM
2010
IEEE
15 years 12 days ago
2010
IEEE
This paper studies the problem of congestion control and scheduling in ad hoc wireless networks that have to support a mixture of best-effort and real-time traffic. Optimization an...
145
click to vote
CDC
2009
IEEE
15 years 9 days ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
ESIAT
2009
IEEE
15 years 8 days ago
2009
IEEE
In the past, we evaluated the damage effectiveness of shrapnel pill without considering the dispersing blind area. Research and experiment show that dispersing dead area of shrapne...
128
click to vote
ALT
2010
Springer
14 years 11 months ago
2010
Springer
We focus on the estimation of a probability distribution over a set of trees. We consider here the class of distributions computed by weighted automata - a strict generalization of...