2317 search results - page 314 / 464 » Model based testing for agent systems |
164
click to vote
CORR
2009
Springer
15 years 27 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
117
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper studies the influence of n-gram language models in the recognition of sung phonemes and words. We train uni-, bi-, and trigram language models for phonemes and bi- and...
111
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, an off-line, text independent system for writer identification using Hidden Markov Model (HMM) based recognizers is described. For each writer we build an individua...
122
click to vote
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
130
click to vote
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...