5269 search results - page 174 / 1054 » order 2007 |
161
click to vote
JSAI
2007
Springer
15 years 10 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
109
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
124
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
107
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we propose document-centric query answering, a novel form of query answering for the Semantic Web. We discuss how we have built a knowledge base system to support t...
134
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for media interpretation that leverages low-level information on to a higher level of abstraction in order to support semantics-based information retrieval ...