752 search results - page 45 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
SP
2010
IEEE
14 years 12 days ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
ACL
2011
2011
Better Hypothesis Testing for Statistical Machine Translation: Controlling for Optimizer Instability
13 years 4 days ago
In statistical machine translation, a researcher seeks to determine whether some innovation (e.g., a new feature, model, or inference algorithm) improves translation quality in co...
CORR
1999
Springer
13 years 8 months ago
1999
Springer
We argue that grammatical analysis is a viable alternative to concept spotting for processing spoken input in a practical spoken dialogue system. We discuss the structure of the g...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...