7139 search results - page 924 / 1428 » Language Engineering in Practice |
298
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
187
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Metadata development can be challenging because the vocabulary should be flexible and extensible, widely applicable, interoperable, and both machine and human readable. We describ...
322
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
279
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
169
click to vote
PODS
2004
ACM
16 years 7 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...