Sciweavers

441 search results - page 19 / 89
» Convex Graph Invariants
Sort
View
MICCAI
2010
Springer
14 years 10 months ago
3D Knowledge-Based Segmentation Using Pose-Invariant Higher-Order Graphs
Segmentation is a fundamental problem in medical image analysis. The use of prior knowledge is often considered to address the ill-posedness of the process. Such a process consists...
Chaohui Wang, Olivier Teboul, Fabrice Michel, Salm...
ECEASST
2010
14 years 9 months ago
Recognizable Graph Languages for Checking Invariants
Christoph Blume, Harrie Jan Sander Bruggink, Barba...
DATE
2007
IEEE
101views Hardware» more  DATE 2007»
15 years 6 months ago
Polynomial-time subgraph enumeration for automated instruction set extension
This paper proposes a novel algorithm that, given a data-flow graph and an input/output constraint, enumerates all convex subgraphs under the given constraint in polynomial time ...
Paolo Bonzini, Laura Pozzi
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 9 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CORR
2008
Springer
126views Education» more  CORR 2008»
14 years 11 months ago
Path following algorithm for the graph matching problem
We propose a convex-concave programming approach for the labeled weighted graph matching problem. The convex-concave programming formulation is obtained by rewriting the weighted ...
Mikhail Zaslavskiy, Francis Bach, Jean-Philippe Ve...