5015 search results - page 449 / 1003 » Model Checking a Path |
165
click to vote
WSC
2007
15 years 9 months ago
2007
A credit derivative is a path dependent contingent claim on the aggregate loss in a portfolio of credit sensitive securities. We estimate the value of a credit derivative by Monte...
174
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents an exact approach of calculating float for each activity in linear schedules. It is based on singularity functions, which have been used previously to determin...
176
click to vote
ACSC
2010
IEEE
15 years 1 months ago
2010
IEEE
The importance of networks of coupled oscillators is widely recognized. Such networks occur in biological systems like the heart, in chemical systems, in computational problems, a...
186
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...
223
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Markov jump processes and continuous time Bayesian networks are important classes of continuous time dynamical systems. In this paper, we tackle the problem of inferring unobserve...