1518 search results - page 100 / 304 » Cryptographic Test Correction |
139
Voted
APN
2006
Springer
15 years 5 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
95
Voted
ACL
1996
15 years 5 months ago
1996
This paper describes a prototype disambiguation module, KANKEI, which was tested on two corpora of the TRAINS project. In ambiguous verb phrases of form V ... NP PP or V ... NP ad...
145
Voted
COLING
2008
15 years 5 months ago
2008
The WordNet verb hierarchy is tested, with a view to improving the performance of its applications, revealing topological anomalies and casting doubt on its semantic categories. E...
124
Voted
ACL
2004
15 years 5 months ago
2004
This paper describes a noisy channel model of speech repairs, which can identify and correct repairs in speech transcripts. A syntactic parser is used as the source model, and a n...
93
Voted
ANLP
2000
15 years 5 months ago
2000
This paper presents a parsing system for the detection of syntactic errors. It combines a robust partial parser which obtains the main sentence components and a finite-state parse...