Sciweavers

852 search results - page 131 / 171
» Using graph parsing for automatic graph drawing
Sort
View
VCBM
2010
13 years 3 months ago
A General Approach to Model Biomedical Data from 3D Unorganised Point Clouds with Medial Scaffolds
We present the latest developments in modeling 3D biomedical data via the Medial Scaffold (MS), a 3D acyclic oriented graph representation of the Medial Axis (MA) [LK07, SP08]. Th...
Frederic F. Leymarie, Ming-Ching Chang, Celina Imi...
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 6 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
ICPR
2004
IEEE
14 years 9 months ago
A System to Detect Houses and Residential Street Networks in Multispectral Satellite Images
ACT Maps are vital tools for most government agencies and consumers. However, their manual generation and updating is tedious and time consuming. As a step toward automatic map gen...
Cem Ünsalan, Kim L. Boyer
WIAMIS
2009
IEEE
14 years 3 months ago
Graph-based approach for 3D object duplicate detection
In this paper, we consider the challenging problem of object duplicate detection and localization. Several applications require efficient object duplicate detection methods, such ...
Peter Vajda, Frédéric Dufaux, Thien ...
GBRPR
2007
Springer
14 years 2 months ago
Matching of Tree Structures for Registration of Medical Images
Many medical applications require a registration of different images of the same organ. In many cases, such a registration is accomplished by manually placing landmarks in the ima...
Jan Hendrik Metzen, Tim Kröger, Andrea Schenk...