5671 search results - page 185 / 1135 » A Semantic Approach to Interpolation |
176
click to vote
DOOD
1997
Springer
15 years 8 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
129
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
140
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
134
click to vote
ICALT
2007
IEEE
15 years 6 months ago
2007
IEEE
Semantic web is an emerging paradigm that has great potential for the management of web content in a meaningful manner. With more and more semantic information appended to web, th...
144
click to vote
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...