Achievability proof via output statistics of random binning.

Mohammad Hossein Yassaee Mohammad Reza Aref Amin Gohari

Published in: ISIT (2012)

Keyphrases

linear logic
randomly generated
theorem proving
database
artificial neural networks
data mining
machine learning
knowledge base
feature space
input data
theorem prover