2756 search results - page 212 / 552 » Computation-Centric Memory Models |
158
click to vote
ECEASST
2008
15 years 4 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
161
Voted
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
152
click to vote
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Careful modeling of the radio channel characteristics is an important issue for system level simulations. While a number of detailed path loss, shadowing and fast fading...
162
click to vote
ACL
2010
15 years 3 months ago
2010
We present cdec, an open source framework for decoding, aligning with, and training a number of statistical machine translation models, including word-based models, phrase-based m...
141
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we propose a new method for computing and applying language model look-ahead in a dynamic network decoder, exploiting the sparseness of backing-off n-gram language ...