155 search results - page 3 / 31 » Towards an Error Model for OpenMP |
165
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
110
Voted
ACL
2001
15 years 5 months ago
2001
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
77
Voted
ITC
1998
IEEE
15 years 7 months ago
1998
IEEE
107
Voted
EMNLP
2009
15 years 1 months ago
2009
In this work we present a novel technique to rescore fragments in the Data-Oriented Translation model based on their contribution to translation accuracy. We describe three new re...
111
Voted
TSD
2004
Springer
15 years 9 months ago
2004
Springer
We investigate techniques for acoustic modeling in automatic recognition of context-independent phoneme strings from the TIMIT database. The baseline phoneme recognizer is based on...