Model transformation verification using similarity and graph comparison algorithm.
Jong-Won KoKyung-Yong ChungJung-Soo HanPublished in: Multim. Tools Appl. (2015)
Keyphrases
- mathematical model
- similarity measure
- objective function
- theoretical analysis
- cost function
- recognition algorithm
- probabilistic model
- hyper graph
- graph model
- parameter estimation
- estimation algorithm
- bayesian framework
- kalman filter
- classification algorithm
- dynamic programming
- detection algorithm
- learning algorithm
- tree structure
- matching algorithm
- verification method
- graph based algorithm
- input data
- graph structure
- graph representation
- energy function
- em algorithm
- expectation maximization
- genetic algorithm
- np hard
- bipartite graph
- inexact graph matching
- fully connected
- similarity metric
- spanning tree
- computational complexity
- search space
- random walk
- directed graph
- particle filter
- distance metric
- clustering method