System FC with explicit kind equality.

Stephanie Weirich Justin Hsu Richard A. Eisenberg

Published in: ICFP (2013)

Keyphrases

information systems
image segmentation
database systems
multiscale
objective function
pattern recognition
digital libraries
preprocessing
lower bound
expert systems
np complete