Sciweavers

2005 search results - page 98 / 401
» Decisive Markov Chains
Sort
View
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
15 years 6 months ago
Faster and Symbolic CTMC Model Checking
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...
IROS
2007
IEEE
129views Robotics» more  IROS 2007»
15 years 7 months ago
Representability of human motions by factorial hidden Markov models
— This paper describes an improved methodology for human motion recognition and imitation based on Factorial Hidden Markov Models (FHMM). Unlike conventional Hidden Markov Models...
Dana Kulic, Wataru Takano, Yoshihiko Nakamura
148
Voted
MCSS
2008
Springer
15 years 1 months ago
Maximal solution to algebraic Riccati equations linked to infinite Markov jump linear systems
In this paper we deal with a perturbed algebraic Riccati equation in an infinite dimensional Banach space. Besides the interest in its own right, this class of equations appears, ...
Jack Baczynski, Marcelo D. Fragoso
HYBRID
2010
Springer
15 years 8 months ago
On a control algorithm for time-varying processor availability
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
Vijay Gupta
ICMCS
2006
IEEE
113views Multimedia» more  ICMCS 2006»
15 years 7 months ago
Steganalysis based on Markov Model of Thresholded Prediction-Error Image
A steganalysis system based on 2-D Markov chain of thresholded prediction-error image is proposed in this paper. Image pixels are predicted with their neighboring pixels, and the ...
Dekun Zou, Yun Q. Shi, Wei Su, Guorong Xuan