4962 search results - page 274 / 993 » Stochastic Model Checking |
108
click to vote
Lecture Notes
This is a long lecture note about Financial Stochastic. It covers several topics such as Martingale Representation, Finite Economies, Black-Scholes Models, American Options, Paymen...
136
click to vote
ACL
1998
15 years 4 months ago
1998
We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine transla...
149
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
142
click to vote
PE
2010
Springer
14 years 9 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
115
click to vote
WSC
2007
15 years 5 months ago
2007
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...