949 search results - page 23 / 190 » On Topological Consistency and Realization |
P2P
2002
IEEE
14 years 15 days ago
2002
IEEE
Emerging peer-to-peer applications require efficient group communication. However, current techniques for group communication are not optimal for peer-to-peer networks, which do n...
DICTA
2007
13 years 9 months ago
2007
This paper presents an appearance–based method to automatically determine places from vision data for topological mapping. The approach exploits the continuity of the visual app...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
We present a novel split and merge based method for dividing a given metric map into distinct regions, thus effectively creating a topological map on top of a metric one. The init...
DGCI
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we address the problem of vectorization of binary images on irregular isothetic grids. The representation of graphical elements by lines is common in document analys...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...