Login / Signup
An implementation of Deflate in Coq.
Christoph-Simon Senjak
Martin Hofmann
Published in:
CoRR (2016)
Keyphrases
</>
efficient implementation
implementation details
knowledge base
trade off
implementation issues
databases
information retrieval
search engine
feature selection
multiscale
digital libraries
relational databases