9166 search results - page 1393 / 1834 » A framework for comparing models of computation |
195
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
211
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...
203
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
172
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a new method to automatically add n-grams containing out-of-vocabulary (OOV) words to a baseline language model (LM), where these n-grams are sought to be gram...
194
click to vote
AINA
2011
IEEE
14 years 10 months ago
2011
IEEE
— Next generation wireless networks will be heterogeneous, where several primary users (PU e.g. licensed users) and secondary users (SU e.g. unlicensed users) can operate in the ...