Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm.

Mariano M. Moscato Laura Titolo Marco A. Feliú César A. Muñoz

Published in: FM (2019)

Keyphrases

provably correct
floating point
dynamic programming
np hard
interval arithmetic
instruction set
convex hull
constraint propagation
parallel implementation
reverse engineering
square root
memory efficient
similarity measure
energy function
higher order
probabilistic model
search space