467 search results - page 12 / 94 » Detecting errors using multi-cycle invariance information |
102
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
This paper uses the techniques of spatial data mining (SDM) and change detection (CD) in the field of geospatial information processing. Assuming the feasibility of discovering kno...
ACL
2003
14 years 11 months ago
2003
This paper describes a method of detecting grammatical and lexical errors made by Japanese learners of English and other techniques that improve the accuracy of error detection wi...
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
ISSTA
2010
ACM
14 years 11 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
CICLING
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...