1434 search results - page 135 / 287 » Stochastic computation |
108
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
83
Voted
ENTCS
2006
14 years 10 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
TCOM
2010
14 years 8 months ago
2010
—A blind carrier phase derotator can be employed to correct and track carrier phase offset either before or after equalization in a blind adaptive receiver. This work proposes a ...
102
click to vote
PE
2011
Springer
14 years 5 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
ICML
2009
IEEE
15 years 11 months ago
2009
IEEE
The general stochastic optimal control (SOC) problem in robotics scenarios is often too complex to be solved exactly and in near real time. A classical approximate solution is to ...