MPG.eBooks - Search Results - "approximate counting"

Search alternatives:
"approximate counting" » "approximate computing", "approximate string", "approximate matching"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2015

Springer Berlin Heidelberg

Table of Contents: “... -- Approximate Counting in SMT and Value Estimation for Probabilistic Programs -- Pushing the Envelope...”