5012 search results - page 291 / 1003 » Distributed Error Correction |
195
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
162
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
161
click to vote
ACL
2007
15 years 8 months ago
2007
Even in a massive corpus such as the Web, a substantial fraction of extractions appear infrequently. This paper shows how to assess the correctness of sparse extractions by utiliz...
170
click to vote
BDA
2007
15 years 8 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
162
click to vote
LREC
2008
15 years 8 months ago
2008
In this work, we examine and attempt to extend the coverage of a German HPSG grammar. We use the grammar to parse a corpus of newspaper text and evaluate the proportion of sentenc...