4962 search results - page 361 / 993 » Stochastic Model Checking |
115
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper restates the shape from shading problem regarding both surface modeling and optimization. We combine the use of a B-spline as 3D model for the scene surface and the use...
118
click to vote
WSC
2008
15 years 5 months ago
2008
Suppose one wishes to compare two closely related systems via stochastic simulation. Common random numbers (CRN) involves using the same streams of uniform random variates as inpu...
205
Voted
SMA
2010
ACM
14 years 10 months ago
2010
ACM
Threshold estimation is one of the useful techniques in the inference for jump-type stochastic processes from discrete observations. In this method, a jump-discriminant filter is ...
121
Voted
ENTCS
2010
15 years 26 days ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
153
click to vote
QOSA
2007
Springer
15 years 9 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...