70 search results - page 6 / 14 » Distributed Language Modeling for N-best List Re-ranking |
EMSOFT
2008
Springer
14 years 20 days ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
BMCBI
2004
13 years 10 months ago
2004
Background: An important challenge for transcript counting methods such as Serial Analysis of Gene Expression (SAGE), "Digital Northern" or Massively Parallel Signature ...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
ICDCS
1995
IEEE
14 years 2 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...