1636 search results - page 30 / 328 » Type-Theoretic Functional Semantics |
123
click to vote
JODS
2006
14 years 11 months ago
2006
This paper addresses the various facets of emergent semantics in content retrieval systems such as Knowledge Sifter, an architecture and system based on the use of specialized agen...
108
click to vote
DASFAA
2008
IEEE
15 years 6 months ago
2008
IEEE
Twig pattern matching (TPM) is the core operation of XML query processing. Existing approaches rely on either efficient data structures or novel labeling/indexing schemes to reduce...
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
120
click to vote
SEMWEB
2011
Springer
14 years 2 months ago
2011
Springer
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...