637 search results - page 2 / 128 » Inconsistency-Tolerant Integrity Checking |
DKE
2006
14 years 9 months ago
2006
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies th...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
GPC
2009
Springer
14 years 7 months ago
2009
Springer
Data integrity is an important aspect of storage security and reliability which are prerequisite for most computer systems and network applications. This paper proposes a new tech...
DEXAW
2006
IEEE
15 years 3 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
LPNMR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...