4962 search results - page 274 / 993 » Stochastic Model Checking |
161
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...
202
click to vote
ACL
1998
15 years 8 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...
193
click to vote
IEEEARES
2006
IEEE
16 years 18 days 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...
191
click to vote
PE
2010
Springer
15 years 1 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...
171
click to vote
WSC
2007
15 years 9 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...