339 search results - page 16 / 68 » The Retrieval Problem in a Concept Language with Number Rest... |
CADE
2005
Springer
14 years 8 months ago
2005
Springer
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
ECIR
2004
Springer
13 years 9 months ago
2004
Springer
Content-only retrieval of XML documents deals with the problem of locating the smallest XML elements that satisfy the query. In this paper, we investigate the application of a spec...
JACM
2010
13 years 6 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
CIKM
2010
Springer
13 years 4 months ago
2010
Springer
The field of information retrieval still strives to develop models which allow semantic information to be integrated in the ranking process to improve performance in comparison to...
ECIR
2003
Springer
13 years 9 months ago
2003
Springer
As more and more structured documents, such as SGML or XML documents become available on the Web, there is a growing demand to develop effective structured document retrieval which...