4041 search results - page 31 / 809 » time 2009 |
159
click to vote
ECBS
2009
IEEE
16 years 17 days ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
127
click to vote
GIS
2009
ACM
16 years 16 days 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...
130
click to vote
COMPLEX
2009
Springer
16 years 10 days ago
2009
Springer
In this paper, we present our ongoing work on developing a framework for detecting time-varying communities on human mobile networks. We define the term community in environments ...