820 search results - page 114 / 164 » Inducing Temporal Graphs |
170
click to vote
ASUNAM
2009
IEEE
15 years 11 months ago
2009
IEEE
Community detection in social networks varying with time is a common yet challenging problem whereby efficient visualization of evolving relationships and implicit hierarchical s...
164
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
135
click to vote
ACTAC
2007
15 years 6 months ago
2007
An o-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. Th...
208
click to vote
NETWORKING
2011
14 years 8 months ago
2011
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...
173
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a new algorithm for segmenting video frames into temporally stable colored regions, applying our technique to create artistic stylizations (e.g. cartoons and paintings)...