4902 search results - page 185 / 981 » Structures, Semantics and Statistics |
118
click to vote
JCSS
2000
15 years 4 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
134
click to vote
IWPC
2008
IEEE
15 years 10 months ago
2008
IEEE
Reusing syntax specifications without embedded arbitrary semantic actions is straightforward because the semantic analysis phases of new applications can feed off trees or other ...
132
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—The integration of semantic representation and retrieval technologies into mainstream web applications depends on the ease of adoption and re-use of existing information...
138
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
121
click to vote
AIMSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...