Login / Signup
Formalization of Shannon's Theorems in SSReflect-Coq.
Reynald Affeldt
Manabu Hagiwara
Published in:
ITP (2012)
Keyphrases
</>
information theory
theorem prover
formal methods
operational semantics
knowledge representation
formal model
high level
feature extraction
real time
data mining
artificial intelligence
image segmentation
cooperative