A formal analysis of conservative update based approximate counting.

Gil Einziger Roy Friedman

Published in: ICNC (2015)

Keyphrases

formal analysis
ban logic
agent model
formal methods
information systems
software engineering
exact solution
neural network
artificial intelligence