2516 search results - page 157 / 504 » Integrity Constraints for XML |
137
click to vote
APIN
2002
15 years 6 months ago
2002
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
171
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
177
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
183
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
128
click to vote
COLING
1996
15 years 7 months ago
1996
We present a hybrid text understanding methodology for the resolution of textual ellipsis. It integrates language-independent conceptual criteria and language-dependent functional...