3151 search results - page 134 / 631 » Using query term order for result summarisation |
131
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
The performance of triple stores is one of the major obstacles for the deployment of semantic technologies in many usage scenarios. In particular, Semantic Web applications, which ...
131
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
This paper proposes a strategy to reduce the amount of hardware involved in the solution of search engine queries. It proposes using a secondary compact cache that keeps minimal i...
163
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
209
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
A primary challenge to large-scale data integration is creating semantic equivalences between elements from different data sources that correspond to the same real-world entity or...
138
click to vote
OPODIS
2004
15 years 5 months ago
2004
Firewalls are crucial elements in network security, and have been widely deployed in most businesses and institutions for securing private networks. The function of a firewall is t...