155 search results - page 3 / 31 » Towards an Error Model for OpenMP |
129
click to vote
PPOPP
2009
ACM
16 years 5 days 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...
ACL
2001
15 years 1 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 ...
ITC
1998
IEEE
15 years 3 months ago
1998
IEEE
EMNLP
2009
14 years 9 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...
TSD
2004
Springer
15 years 5 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...