3105 search results - page 143 / 621 » The Path-Packing Structure of Graphs |
159
Voted
NETWORKING
2011
14 years 6 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...
154
click to vote
ATVA
2011
Springer
14 years 3 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
192
Voted
CC
2012
Springer
13 years 11 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
119
Voted
RIVF
2003
15 years 4 months ago
2003
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...
129
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
In the context of the NAVIDOMASS project, the problematic of this paper concerns the clustering of historical document images. We propose a structural-based framework to handle the...