8768 search results - page 332 / 1754 » Generalizing the notion of support |
185
click to vote
DEXA
2009
Springer
16 years 2 months ago
2009
Springer
In this article we define a new type of integrity constraint in XML, called an XML inclusion constraint (XIND), and show that it extends the semantics of a relational inclusion de...
165
click to vote
IWOCA
2009
Springer
16 years 2 months ago
2009
Springer
The notion of submodular partition functions generalizes many of well-known tree decompositions of graphs. For fixed k, there are polynomial-time algorithms to determine whether ...
201
click to vote
RTA
2009
Springer
16 years 2 months ago
2009
Springer
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...
194
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Location awareness and mobility are main factors in pervasive computing. There is a lot of work focusing on develop location aware applications. Generalizing from location awarene...
173
click to vote
RTA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...