8499 search results - page 106 / 1700 » cans 2009 |
GIS
2009
ACM
15 years 7 months ago
2009
ACM
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...
KDD
2009
ACM
15 years 7 months ago
2009
ACM
While many clever techniques have been proposed for visual analysis, most of these are “one of” and it is not easy to see how to combine multiple techniques. We propose an alg...
112
click to vote
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
CRV
2009
IEEE
15 years 7 months ago
2009
IEEE
The problem of online sampling of data, can be seen as a generalization of the classical secretary problem. The goal is to maximize the probability of picking the k highest scorin...
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Recently researchers have argued that the prevailing view of Web search, as a solitary activity, is flawed: that, in reality, Web search can be an inherently collaborative task...