2145 search results - page 275 / 429 » Lax Logical Relations |
ICDT
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. We deļ¬ne and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
CLUSTER
2005
IEEE
14 years 1 months ago
2005
IEEE
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
ER
2004
Springer
14 years 1 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
ISMIR
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerā...
ISMIS
2003
Springer
14 years 1 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...