Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
Mohit TekriwalAndrew W. AppelAriel E. KellisonDavid BindelJean-Baptiste JeanninPublished in: CICM (2023)
Keyphrases
- high accuracy
- computational cost
- gauss seidel
- error rate
- high precision
- segmentation method
- detection method
- computational complexity
- optimization method
- classification accuracy
- synthetic data
- clustering method
- rapid convergence
- accuracy rate
- highly accurate
- computational efficiency
- pairwise
- preprocessing
- objective function
- image restoration
- neural network
- optimization algorithm
- least squares
- probabilistic model
- dynamic programming
- convergence rate
- correlation coefficient
- training data
- quadratic programming
- feature selection
- genetic algorithm