Sciweavers

1323 search results - page 163 / 265
» Moment-Linear Stochastic Systems
Sort
View
138
Voted
WSC
2007
15 years 7 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
NIPS
2007
15 years 6 months ago
Variational Inference for Diffusion Processes
Diffusion processes are a family of continuous-time continuous-state stochastic processes that are in general only partially observed. The joint estimation of the forcing paramete...
Cédric Archambeau, Manfred Opper, Yuan Shen...
MASCOTS
2003
15 years 6 months ago
PEPA Nets
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
Stephen Gilmore, Jane Hillston, Leïla Kloul
COLING
2000
15 years 6 months ago
Tagging and Chunking with Bigrams
In this paper we present an integrated system for tagging and chunking texts from a certain language. The approach is based on stochastic finite-state models that are learnt autom...
Ferran Pla, Antonio Molina, Natividad Prieto
140
Voted
FORMATS
2006
Springer
15 years 8 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue