7904 search results - page 336 / 1581 » Sequence Query Processing |
188
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
The key of overlapping structures or concurrent markup hierarchies in XML encodings of documents is that markup in one hierarchy is not necessarily well-formed with respect to the...
108
click to vote
FORTE
2001
15 years 3 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
113
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
202
click to vote
VLDB
2005
ACM
16 years 2 months ago
2005
ACM
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
110
click to vote
SIGIR
2006
ACM
15 years 8 months ago
2006
ACM
We present a novel language modeling approach to capturing the query reformulation behavior of Web search users. Based on a framework that categorizes eight different types of “...