1534 search results - page 81 / 307 » Error Reporting Logic |
LOPSTR
2001
Springer
15 years 2 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
COLING
1990
14 years 11 months ago
1990
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
BILDMED
2008
14 years 11 months ago
2008
We assessed the targeting precision of a previously reported needle-based soft tissue navigation system in-vivo. Eight 2 ml agar nodules were implanted into the livers of two swine...
COLING
2008
14 years 11 months ago
2008
This article provides description about the grammar checking system developed for detecting various grammatical errors in Punjabi texts. This system utilizes a fullform lexicon fo...