6 search results - page 1 / 2 » Verifying the Evolution of Probability Distributions Governe... |
TSE
2011
12 years 11 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
ICCV
2001
IEEE
14 years 6 months ago
2001
IEEE
Diffusion processes which are widely used in low level vision are presented as a result of an underlying stochastic process. The short-time non-linear diffusion is interpreted as ...
BIOINFORMATICS
2006
13 years 4 months ago
2006
Motivation: Intervention in a gene regulatory network is used to avoid undesirable states, such as those associated with a disease. Several types of intervention have been studied...
SP
2000
IEEE
13 years 9 months ago
2000
IEEE
Although open-source software development has virtues, there is reason to believe that the approach would not have a significant effect on the security of today’s systems. The ...
MPC
2010
Springer
13 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...