Monadic bounded hoops.

Juntao Wang Xiaolong Xin Pengfei He

Published in: Soft Comput. (2018)

Keyphrases

deductive databases
datalog programs
image segmentation
datalog queries
data sets
image processing
database systems
strictly convex