3652 search results - page 638 / 731 » A study of query length |
136
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Keyword search for smallest lowest common ancestors (SLCAs) in XML data has recently been proposed as a meaningful way to identify interesting data nodes in XML data where their s...
119
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
We describe ELVIS (the Ecosystem Location Visualization and Information System), a suite of tools for constructing food webs for a given location. We express both ELVIS input and ...
145
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Organizing Web search results into a hierarchy of topics and subtopics facilitates browsing the collection and locating results of interest. In this paper, we propose a new hierar...
253
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
129
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
We initiate the cryptographic study of order-preserving symmetric encryption (OPE), a primitive suggested in the database community by Agrawal et al. (SIGMOD '04) for allowin...