On the axiomatizability of quantitative algebras.

Radu Mardare Prakash Panangaden Gordon D. Plotkin

Published in: LICS (2017)

Keyphrases

qualitative and quantitative
quantitative and qualitative
computer vision
data sets
image segmentation
data structure
information technology
relational databases
temporal reasoning
quantitative measures