5525 search results - page 566 / 1105 » Verification of Model Transformations |
153
click to vote
SPEECH
2002
15 years 6 months ago
2002
In this paper we present a hypothesis-verification approach for a Spanish Recognizer of continuously spelled names over the telephone. We give a detailed description of the spelli...
204
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
224
click to vote
MICAI
2007
Springer
16 years 1 months ago
2007
Springer
The wavelet transform has been used for feature extraction in many applications of pattern recognition. However, in general the learning algorithms are not designed taking into acc...
181
click to vote
SPLC
2008
15 years 8 months ago
2008
Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
187
click to vote
IJCAI
2003
15 years 8 months ago
2003
With the proliferation of heterogeneous devices (desktop computers, personal digital assistants, phones), multimedia documents must be played under various constraints (small scre...