Computer Certified Efficient Exact Reals in Coq.

Robbert Krebbers Bas Spitters

Published in: Calculemus/MKM (2011)

Keyphrases

computationally efficient
computationally expensive
information retrieval
image segmentation
cost effective
data sets
data mining
probabilistic model
lightweight