2914 search results - page 91 / 583 » Optimization by Stochastic Continuation |
138
Voted
ENTCS
2006
15 years 3 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
111
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
140
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
173
click to vote
BICOB
2011
Springer
14 years 3 months ago
2011
Springer
Although the populations of biological systems are inherently discrete and their dynamics are strongly stochastic, it is usual to consider their limiting behaviour for large envir...
105
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
This article presents a novel integrated approach to object of interest extraction, including learning to define target pattern and extracting by combining detection and segmenta...