Some constructions on ω-groupoids.

Thorsten Altenkirch Nuo Li Ondrej Rypacek

Published in: LFMTP (2014)

Keyphrases

stereo matching
intrusion detection
nearest neighbor
low cost
distributed systems
image compression
coding scheme
error correction