2525 search results - page 436 / 505 » A Framework for Semantic Gossiping |
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
GI
2001
Springer
14 years 1 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
RTA
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
SSDBM
2000
IEEE
14 years 1 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
PLDI
2000
ACM
14 years 1 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...