4451 search results - page 35 / 891 » Continuous model synthesis |
126
Voted
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
132
click to vote
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
108
click to vote
EVOW
2008
Springer
15 years 1 months ago
2008
Springer
We propose an alternative algorithm for solving continuous review inventory model problems for deteriorating items over a ļ¬nite horizon. Our interest focuses on the case of timeā...
90
Voted
INTERSPEECH
2010
14 years 7 months ago
2010
Information retrieval methods are frequently used for indexing and retrieving spoken documents, and more recently have been proposed for voice-search amongst a pre-defined set of ...
122
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we investigate a simple, mistakedriven learning algorithm for discriminative training of continuous density hidden Markov models (CD-HMMs). Most CD-HMMs for automat...