• Möbius

  • Referenced in 25 articles [sw04098]
  • numerical solution, based on compact MDD-based 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 continuous-time Markov chains. Analysis is performed through model checking ... diagrams) and MTBDDs (multi-terminal 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 discrete-time and continuous-time 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 non-motif 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 automata-based model checking algorithms...
  • PennCNV

  • Referenced in 16 articles [sw19390]
  • present PennCNV, a hidden Markov model (HMM) based approach, for kilobase-resolution detection of CNVs...
  • BDI-POMDP

  • Referenced in 6 articles [sw03092]
  • performance analysis under uncertainty. Distributed partially observable Markov decision problems (POMDPs) are well suited ... that end, we introduce RMTDP (Role-based 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 Metropolis-Hastings-based, 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 mean-field...
  • 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 non-coding 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 copula-based 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 HMM-banded...
  • BDgraph

  • Referenced in 14 articles [sw14815]
  • trans-dimensional Markov Chain Monte Carlo (MCMC) approach based on a continuous-time birth-death...