2152 search results - page 392 / 431 » On Automating the Calculus of Relations |
148
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
While lots of research in ontology matching is related to the issue of computing and reļ¬ning similarity measures, only little attention has been paid to question how to extract t...
96
Voted
SIGSOFT
2004
ACM
15 years 6 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
AH
2004
Springer
15 years 5 months ago
2004
Springer
Current search engines rely on centralized page ranking algorithms which compute page rank values as single (global) values for each Web page. Recent work on topic-sensitive PageRa...
106
Voted
COOPIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Webās distributed nature mak...