Sciweavers

887 search results - page 76 / 178
» Representing Systems with Hidden State
Sort
View
ICPR
2006
IEEE
16 years 5 months ago
Mixture of Support Vector Machines for HMM based Speech Recognition
Speech recognition is usually based on Hidden Markov Models (HMMs), which represent the temporal dynamics of speech very efficiently, and Gaussian mixture models, which do non-opt...
Sven E. Krüger, Martin Schafföner, Marce...
CEC
2008
IEEE
15 years 11 months ago
Evolutionary optimization of a bipedal gait in a physical robot
— Evolutionary optimization of a gait for a bipedal robot has been studied, combining structural and parametric modifications of the system responsible for generating the gait. ...
Krister Wolff, David Sandberg, Mattias Wahde
CIMCA
2006
IEEE
15 years 10 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 6 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
COMPLIFE
2006
Springer
15 years 8 months ago
Adaptive Approach for Modelling Variability in Pharmacokinetics
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...
Andrea Y. Weiße, Illia Horenko, Wilhelm Huis...