2063 search results - page 92 / 413 » connection 2007 |
129
click to vote
GC
2007
Springer
15 years 4 months ago
2007
Springer
We develop Gray code enumeration schemes for geometric graphs in the plane. The considered graph classes include plane straight-line graphs, plane spanning trees, and connected pl...
124
click to vote
GC
2007
Springer
15 years 4 months ago
2007
Springer
Let H be a multigraph and G a graph containing a subgraph isomorphic to a subdivision of H, with S ⊂ V (G) (the ground set) the image of V (H) under the isomorphism. We consider...
129
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
This article introduces a fast algorithm for Connected Component Labeling of binary images called Light Speed Labeling. It is segment-based and a line-relative labeling that was e...
116
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
111
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This article focuses on the relationship between eGovernment services and broadband connections. The importance of broadband availability for a sound economic development has been...