5284 search results - page 891 / 1057 » Ontologizing Semantic Relations |
184
click to vote
ATVA
2004
Springer
15 years 12 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
177
click to vote
CADE
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
160
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
The problem of encouraging trustworthy behavior in P2P online communities by managing peers’ reputations has drawn a lot of attention recently. However, most of the proposed solu...
202
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
161
click to vote
INEX
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an approach for extending the vector space model (VSM) to perform XML retrieval. The model is extended to support important aspects of XML structural and semant...