1434 search results - page 36 / 287 » Stochastic computation |
UAI
2001
14 years 11 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
120
click to vote
BICOB
2011
Springer
13 years 9 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...
DAC
2001
ACM
15 years 10 months ago
2001
ACM