4962 search results - page 335 / 993 » Stochastic Model Checking |
145
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...
136
click to vote
WIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We use them to model musical styles: a same automaton can be used to...
120
click to vote
GLVLSI
1998
IEEE
15 years 7 months ago
1998
IEEE
A new technology mapper SELF-Map for LookUp Table LUT based Field Programmable Gate Arrays FPGAs is described. SELF-Map is based on the Stochastic Evolution SE algorithm. The stat...
120
click to vote
ICMI
2010
Springer
15 years 1 months ago
2010
Springer
Quantifying the relationship between group dynamics and group performance is a key issue of increasing group performance. In this paper, we will discuss how group performance is r...
117
click to vote
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...