5671 search results - page 212 / 1135 » A Semantic Approach to Interpolation |
129
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
146
click to vote
IFIP12
2007
15 years 6 months ago
2007
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
129
click to vote
ENTCS
2006
15 years 4 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
117
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...