Tight Error Analysis in Fixed-point Arithmetic.
Stella SimicAlberto BemporadOmar InversoMirco TribastonePublished in: Formal Aspects Comput. (2022)
Keyphrases
- error analysis
- fixed point
- floating point
- least squares
- lower bound
- sufficient conditions
- upper bound
- worst case
- error correction
- dynamical systems
- fixed point theorem
- belief propagation
- pairwise
- variational inequalities
- three dimensional
- constraint databases
- error estimates
- bargaining solution
- stereo matching
- policy iteration
- computer vision
- image segmentation
- image processing