2951 search results - page 236 / 591 » Trustable Task Processing Systems |
177
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
173
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Many applications of spoken-language systems can benefit from having access to annotations of prosodic events. Unfortunately, obtaining human annotations of these events, even se...
164
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Conditional Random Fields (CRFs) have proven to perform well on natural language processing tasks like name transliteration, concept tagging or grapheme-to-phoneme (g2p) conversio...
174
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—Build systems are responsible for transforming static source code artifacts into executable software. While build systems play such a crucial role in software development and ma...
261
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...