2496 search results - page 4 / 500 » Error-detecting properties of languages |
TASE
2007
IEEE
14 years 4 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
14 years 3 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...
NAACL
2010
13 years 7 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 ...
POPL
2012
ACM
12 years 5 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
14 years 3 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...