570 search results - page 85 / 114 » The Complexity of Reasoning with Global Constraints |
168
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Current UWB systems apply convolutional codes as their channel coding scheme. For next generation systems LDPC codes are in discussion due to their outstanding communications p...
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
102
click to vote
AGP
1996
IEEE
15 years 1 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
WEBI
2001
Springer
15 years 2 months ago
2001
Springer
In the proposed data model for XML databases, an XML element is directly represented as a ground (variable-free) XML expression—a generalization of an XML element by incorporatio...