155 search results - page 3 / 31 » Towards an Error Model for OpenMP |
PPOPP
2009
ACM
14 years 8 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...
ACL
2001
13 years 9 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
13 years 11 months ago
1998
IEEE
EMNLP
2009
13 years 5 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
14 years 27 days 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...