1636 search results - page 150 / 328 » Type-Theoretic Functional Semantics |
157
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
This paper proposes an effective approach to provide relevant search terms for conceptual Web search. ‘Semantic Term Suggestion’ function has been included so that users can f...
108
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
168
click to vote
UCS
2007
Springer
15 years 10 months ago
2007
Springer
COMPASS is a location framework where location sources are realized as plugins that contribute probability density functions to the overall localization result. In addition, COMPAS...
143
click to vote
DL
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
135
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
Domain mismatch and schema mismatch are two of the important semantic integration problems for interoperating heterogeneous databases. This paper structures the domain mismatch pr...