1633 search results - page 169 / 327 » Planar Map Graphs |
120
Voted
CADE
2003
Springer
16 years 29 days ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
94
Voted
GIS
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a method for automatically converting raw GPS traces from everyday vehicles into a routable road network. The method begins by smoothing raw GPS traces using a...
94
Voted
STOC
2005
ACM
16 years 29 days ago
2005
ACM
We show that every weighted connected graph G contains as a subgraph a spanning tree into which the edges of G can be embedded with average stretch O log2 n log log n . Moreover, w...
110
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
We present an experimental study of parallel biconnected components algorithms employing several fundamental parallel primitives, e.g., prefix sum, list ranking, sorting, connect...
102
Voted
ICCSA
2004
Springer
15 years 6 months ago
2004
Springer
Research involving different forms of networks, such as internet networks, social networks, and cellular networks, has increasingly become an important field of study. From this wo...