27756 search results - page 445 / 5552 » Process Query Systems |
142
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
163
click to vote
SIGIR
2012
ACM
13 years 7 months ago
2012
ACM
Content on the Internet is always changing. We explore the value of biasing search result snippets towards new webpage content. We present results from a user study comparing trad...
150
click to vote
DLOG
2004
15 years 6 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
129
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
A number of existing information retrieval systems propose the notion of query context to combine the knowledge of query and user into retrieval to reveal the most exact descripti...
153
click to vote
COOPIS
2003
IEEE
15 years 10 months ago
2003
IEEE
We consider the problem of query evaluation in Peer-to-Peer (P2P) systems that support semantic-based retrieval services. We confine ourselves to the case where the peers employ t...