DEMO: top-k cardinality estimation with HyperLogLog sketches | IEEE Conference Publication | IEEE Xplore