7827 search results - page 1213 / 1566 » time 2007 |
132
click to vote
COCO
2007
Springer
16 years 26 days ago
2007
Springer
We present a deterministic logspace algorithm for solving S-T Connectivity on directed graphs if (i) we are given a stationary distribution of the random walk on the graph in whic...
182
click to vote
COCOON
2007
Springer
16 years 26 days ago
2007
Springer
The last decade witnessed the extensive studies of algorithms for data streams. In this model, the input is given as a sequence of items passing only once or a few times, and we ar...
159
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
159
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
Our goal in this study was to explore the potentials of extracting features from eye-tracking data that have the potential to improve performance in implicit relevance feedback. We...
174
click to vote
CP
2007
Springer
16 years 26 days ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...