4242 search results - page 251 / 849 » An Event Spacing Experiment |
182
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
227
click to vote
IS
2011
14 years 10 months ago
2011
In this paper we present algorithms for building and maintaining efficient collection trees that provide the conduit to disseminate data required for processing monitoring queries...
180
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Twitter summarizes the great deal of messages posted by users in the form of trending topics that reflect the top conversations being discussed at a given moment. These trending ...
149
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We explore the concept of social landmarks in complex, shared information and coordination environments. Previous research in navigation and shared spaces has tended to emphasize ...
209
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...