Sciweavers

5777 search results - page 27 / 1156
» The palladio component model
Sort
View
ICST
2010
IEEE
13 years 6 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
ICPR
2010
IEEE
13 years 5 months ago
Information Theoretic Expectation Maximization Based Gaussian Mixture Modeling for Speaker Verification
The expectation maximization (EM) algorithm is widely used in the Gaussian mixture model (GMM) as the state-of-art statistical modeling technique. Like the classical EM method, th...
Sheeraz Memon, Margaret Lech, Namunu Chinthaka Mad...
PE
2011
Springer
266views Optimization» more  PE 2011»
13 years 2 months ago
Lumping partially symmetrical stochastic models
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
Souheib Baarir, Marco Beccuti, Claude Dutheillet, ...
NN
1998
Springer
102views Neural Networks» more  NN 1998»
13 years 7 months ago
A learning model for oscillatory networks
A learning model for coupled oscillators is proposed. The proposed learning rule takes a simple form by which the intrinsic frequencies of the component oscillators and the coupli...
Jun Nishii
JBCS
2002
102views more  JBCS 2002»
13 years 7 months ago
Configurable Data Integration Middleware System
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
Álvaro Cesar P. Barbosa, Fabio Porto, Ruben...