Formal Verification of Exact Computations Using Newton's Method.

Nicolas Julien Ioana Pasca

Published in: TPHOLs (2009)

Keyphrases

preprocessing
synthetic data
high accuracy
objective function
experimental evaluation
formal verification
dynamic programming
support vector machine
similarity measure
feature set
markov random field
segmentation method
high precision
symbolic representation