752 search results - page 92 / 151 » A Markov Chain Model Checker |
JMLR
2012
11 years 11 months ago
2012
This paper considers additive factorial hidden Markov models, an extension to HMMs where the state factors into multiple independent chains, and the output is an additive function...
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper presents a novel Gaussian process (GP) approach to regression with inputdependent noise rates. We follow Goldberg et al.'s approach and model the noise variance us...
ALDT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Several schemes have been proposed for compactly representing multiattribute utility functions, yet none seems to achieve the level of success achieved by Bayesian and Ma...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
—This paper studies a network under TCP congestion control, in which the number of flows per user is explicitly taken into account. We present a control law for this variable th...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...