1636 search results - page 150 / 328 » Type-Theoretic Functional Semantics |
199
click to vote
WWW
2009
ACM
16 years 1 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...
135
click to vote
TPHOL
2007
IEEE
16 years 18 days 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...
204
click to vote
UCS
2007
Springer
16 years 13 days 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...
172
click to vote
DL
1998
Springer
15 years 10 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...
170
click to vote
VLDB
1991
ACM
15 years 9 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...