Towards a Systematic Method for Proving Termination of Graph Transformation Systems.
H. J. Sander BrugginkPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- high accuracy
- high precision
- detection method
- error rate
- fully automatic
- optimization algorithm
- neural network
- pairwise
- cost function
- classification accuracy
- computer systems
- optimization method
- matching algorithm
- data sets
- evaluation method
- detection algorithm
- main contribution
- maximum likelihood
- input data
- image registration
- support vector machine
- computational cost
- experimental evaluation
- prior knowledge
- artificial neural networks
- computational complexity
- multiscale
- bayesian networks
- information systems
- computer vision
- learning algorithm