3374 search results - page 277 / 675 » Explaining Similarity of Terms |
272
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...
181
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
174
click to vote
CIA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Recent advances in peer to peer (P2P) search algorithms have presented viable structured and unstructured approaches for full-text search. We posit that these existing ap...
189
click to vote
WIDM
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we propose a new approach to automatically clustering e-commerce search engines (ESEs) on the Web such that ESEs in the same cluster sell similar products. This all...
177
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...