5671 search results - page 41 / 1135 » A Semantic Approach to Interpolation |
147
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
137
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
156
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
In the context of Dungās argumentation framework, we propose a general recursive schema for argumentation semantics, based on decomposition along the strongly connected componen...
168
click to vote
SEMWEB
2009
Springer
16 years 13 days ago
2009
Springer
This paper outlines the ļ¬rst stage of the ODARyT Tool, a semantic web approach to represent and retrieve information in a corporate memory. After a brief discussion about the mee...
165
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: This paper presents the iQser approach, a new semantic technology promising to overcome some of the shortcomings of current semantic enterprise solutions. The iQser technology is...