3658 search results - page 443 / 732 » The logic of proofs, semantically |
208
click to vote
ESWS
2005
Springer
16 years 7 days ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....
176
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
168
click to vote
WETICE
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
181
click to vote
ESWS
2005
Springer
16 years 7 days ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
179
Voted
ER
2004
Springer
16 years 2 days 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 ...