
Möbius
 Referenced in 25 articles
[sw04098]
 numerical solution, based on compact MDDbased Markov processes, are both supported...

OpenBUGS
 Referenced in 80 articles
[sw08316]
 determines an appropriate MCMC (Markov chain Monte Carlo) scheme (based on the Gibbs sampler...

PRISM
 Referenced in 442 articles
[sw01186]
 chains, Markov decision processes and continuoustime Markov chains. Analysis is performed through model checking ... diagrams) and MTBDDs (multiterminal BDDs); one based on sparse matrices; and one which combines...

MLwiN
 Referenced in 105 articles
[sw04837]
 likelihood estimation and Markov Chain Monte Carlo (MCMC) methods. MLwiN is based on an earlier...

MCQueue
 Referenced in 147 articles
[sw05198]
 analysis of discretetime and continuoustime Markov chains up to 100 states. The other ... algorithms in this software package are based on methods discussed in the book H.C. Tijms...

BioProspector
 Referenced in 29 articles
[sw09375]
 sequence motifs. BioProspector uses Markov background to model the base dependencies of nonmotif bases...

geoRglm
 Referenced in 17 articles
[sw06328]
 posterior and predictive inference is based on Markov chain Monte Carlo methods. Package geoRglm...

latentnet
 Referenced in 20 articles
[sw10550]
 Bayesian inference for the models based on an Markov chain Monte Carlo algorithm...

LiQuor
 Referenced in 18 articles
[sw04136]
 language with an operational semantics based on (finite) Markov decision processes. LiQuor provides the facility ... linear time properties by means of automatabased model checking algorithms...

PennCNV
 Referenced in 16 articles
[sw19390]
 present PennCNV, a hidden Markov model (HMM) based approach, for kilobaseresolution detection of CNVs...

BDIPOMDP
 Referenced in 6 articles
[sw03092]
 performance analysis under uncertainty. Distributed partially observable Markov decision problems (POMDPs) are well suited ... that end, we introduce RMTDP (Rolebased Markov Team Decision Problem), a new distributed POMDP...

smerfs
 Referenced in 8 articles
[sw23987]
 numerical applications. A fast algorithm based on Markov properties and fast Fourier transforms...

Alchemy
 Referenced in 11 articles
[sw16040]
 learning and probabilistic logic inference, based on the Markov logic representation. Alchemy allows...

sns
 Referenced in 4 articles
[sw17406]
 Sampler (SNS) is a MetropolisHastingsbased, Markov Chain Monte Carlo sampler for twice differentiable...

Venture
 Referenced in 9 articles
[sw14670]
 Gibbs sampling, and blocked proposals based on particle Markov chain Monte Carlo and meanfield...

GeneMarkS
 Referenced in 6 articles
[sw23024]
 gene start within an iterative Hidden Markov model based algorithm. The new gene prediction method ... gene finding program GeneMark.hmm, heuristic Markov models of coding and noncoding regions...

LatticeKrig
 Referenced in 6 articles
[sw15594]
 package LatticeKrig: Multiresolution Kriging Based on Markov Random Fields. Methods for the interpolation of large...

Copula.Markov.survival
 Referenced in 3 articles
[sw40998]
 corresponding analysis under the copulabased Markov chain model for serially dependent event times with...

Infernal
 Referenced in 12 articles
[sw17000]
 homology search based on accelerated profile hidden Markov model (HMM) methods and HMMbanded...

BDgraph
 Referenced in 14 articles
[sw14815]
 transdimensional Markov Chain Monte Carlo (MCMC) approach based on a continuoustime birthdeath...