- Chakraborty, S., Meel, K.S., Vardi, M.Y. Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls. IJCAI/AAAI, 2016.Google Scholar
- Gibbons, P.B. and Tirthapura, S. Estimating simple functions on the union of data streams. SPAA, 2001.Google ScholarDigital Library
- Stockmeyer, L. The complexity of approximate counting. STOC, 1983.Google ScholarDigital Library
Index Terms
- Technical Perspective: Tapping the Link between Algorithmic Model Counting and Streaming
Recommendations
Unfolding the Practices of Live Streaming: A Dramaturgical Theory Perspective
HCI in Business, Government and OrganizationsAbstractLive steaming become an emerging significant phenomenon for creating huge market value in business. When it is reposed successful stories about the live streaming economy, researchers are interested in how a live streaming can be successful. ...
Heuristic Intervention for Algorithmic Literacy: From the Perspective of Algorithmic Awareness and Knowledge
Wisdom, Well-Being, Win-WinAbstractImproving algorithmic literacy empowers people to engage with algorithm-driven products across myriad applications with material impact. However, there remains a shortage of interventions aimed at nurturing algorithmic literacy within everyday ...
Model Counting meets F0 Estimation
PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database SystemsConstraint satisfaction problems (CSP's) and data stream models are two powerful abstractions to capture a wide variety of problems arising in different domains of computer science. Developments in the two communities have mostly occurred independently ...
Comments