15372 search results - page 2810 / 3075 » The Semantics of Semantic Annotation |
129
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Schema matching is the task of finding semantic correspondences between elements of two schemas. It is needed in many database applications, such as integration of web data source...
122
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
144
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
We present a framework for publishing relational data in XML with respect to a fixed DTD. In data exchange on the Web, XML views of relational data are typically required to confo...
161
click to vote
ENTCS
2007
15 years 4 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
143
click to vote
MST
2007
15 years 3 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...