72 search results - page 2 / 15 » Markov Chain Modelling of the Probabilistic Packet Marking A... |
TACAS
2007
Springer
13 years 10 months ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...
NAACL
2007
13 years 6 months ago
2007
This paper presents two Markov chain Monte Carlo (MCMC) algorithms for Bayesian inference of probabilistic context free grammars (PCFGs) from terminal strings, providing an altern...
IJBRA
2006
13 years 4 months ago
2006
: Probabilistic models for biological sequences (DNA and proteins) are frequently used in bioinformatics. We describe statistical tests designed to detect the order of dependency a...
FSTTCS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
IROS
2008
IEEE
13 years 11 months ago
2008
IEEE
— Robots acting in populated environments must be capable of safe but also time efficient navigation. Trying to completely avoid regions resulting from worst case predictions of...