10051 search results - page 1935 / 2011 » A Dynamic Separator Algorithm |
203
Voted
SIGMOD
2006
ACM
16 years 22 days ago
2006
ACM
Given a dataset P and a preference function f, a top-k query retrieves the k tuples in P with the highest scores according to f. Even though the problem is well-studied in convent...
111
Voted
SIGMOD
2004
ACM
16 years 22 days ago
2004
ACM
Real-time surveillance systems, network and telecommunication systems, and other dynamic processes often generate tremendous (potentially infinite) volume of stream data. Effectiv...
100
click to vote
EDBT
2008
ACM
16 years 22 days ago
2008
ACM
This paper studies the problem of evaluating continuous multi-way joins on top of Distributed Hash Tables (DHTs). We present a novel algorithm, called recursive join (RJoin), that...
97
Voted
ICFP
2007
ACM
16 years 17 days ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
103
Voted
PERCOM
2007
ACM
16 years 6 days ago
2007
ACM
We consider sensor scheduling as the optimal observability problem for partially observable Markov decision processes (POMDP). This model fits to the cases where a Markov process ...