4962 search results - page 349 / 993 » Stochastic Model Checking |
117
click to vote
ISCAS
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, we have proposed a thermal aware routing based parameterization to generate a clock model that takes the stochastic temperature variation into consideration. The...
133
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a document understanding system in which the arrangement of lines of text and block separators within a document are modeled by stochastic context free grammars. A gram...
117
Voted
STACS
2005
Springer
15 years 9 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
131
click to vote
ICGI
1998
Springer
15 years 7 months ago
1998
Springer
We present in this paper a new learning problem called learning distributions from experts. In the case we study the experts are stochastic deterministic finite automata (sdfa). W...
104
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...