2496 search results - page 4 / 500 » Error-detecting properties of languages |
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
IJCNLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses the issue of post-transfer process in paraphrasing. Our previous investigation into transfer errors revealed that case assignment tends to be incorre...
105
click to vote
NAACL
2010
14 years 11 months ago
2010
We present results from a range of experiments on article and preposition error correction for non-native speakers of English. We first compare a language model and errorspecific ...
130
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
VTS
2003
IEEE
15 years 6 months ago
2003
IEEE
We present a novel analog checker that adjusts dynamically the error threshold to the magnitude of its input signals. We demonstrate that this property is crucial for accurate con...