Sciweavers

441 search results - page 19 / 89
» Convex Graph Invariants
Sort
View
159
Voted
MICCAI
2010
Springer
15 years 1 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
15 years 19 days ago
Recognizable Graph Languages for Checking Invariants
Christoph Blume, Harrie Jan Sander Bruggink, Barba...
121
Voted
DATE
2007
IEEE
101views Hardware» more  DATE 2007»
15 years 9 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»
15 years 29 days 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»
15 years 3 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...