4041 search results - page 31 / 809 » time 2009 |
ECBS
2009
IEEE
15 years 4 months 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...
67
Voted
GIS
2009
ACM
15 years 4 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...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
64
Voted
RTCSA
2009
IEEE
15 years 4 months ago
2009
IEEE
COMPLEX
2009
Springer
15 years 4 months 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 ...