4790 search results - page 237 / 958 » Reverse Query Processing |
113
click to vote
FORTE
2001
15 years 4 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 ...
118
click to vote
CORR
2006
Springer
15 years 3 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 ...
139
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. In ...
207
click to vote
VLDB
1998
ACM
15 years 2 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
131
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
To deal with the problem of empty or too little answers returned from a Web database in response to a user query, this paper proposes a novel approach to provide relevant and rank...