Two-phase cardinality estimation protocols for sensor networks with provable precision | IEEE Conference Publication | IEEE Xplore