AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.

Antonio Anastasio Bruto da Costa Shriya Dharade Sudipa Mandal Pallab Dasgupta

Published in: VLSI Design (2018)

Keyphrases

interval arithmetic
constraint propagation
data mining
floating point
real numbers
knowledge base
special case
upper bound
image features
scale space