3856 search results - page 148 / 772 » Models for Automated Earthmoving |
197
Voted
CSL
2011
Springer
15 years 1 days ago
2011
Springer
We describe a new approach to speech recognition, in which all Hidden Markov Model (HMM) states share the same Gaussian Mixture Model (GMM) structure with the same number of Gauss...
118
click to vote
ICSE
2005
IEEE-ACM
16 years 5 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
145
click to vote
LPNMR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
149
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
128
click to vote
DLOG
2008
15 years 7 months ago
2008
Abstract. From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a mor...