A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory.
Makoto MizuguchiAkitoshi TakayasuTakayuki KuboShin'ichi OishiPublished in: SIAM J. Numer. Anal. (2017)
Keyphrases
- experimental evaluation
- significant improvement
- high accuracy
- cost function
- computational cost
- support vector machine
- clustering method
- objective function
- computational complexity
- preprocessing
- evolutionary algorithm
- detection method
- computationally efficient
- probabilistic model
- energy function
- optimization method
- convergence rate
- search methods
- neural network
- support vector machine svm
- edge detection
- dynamic programming
- k means
- image processing