Asynchronous processing of Coq documents: from the kernel up to the user interface.
Bruno BarrasCarst TankinkEnrico TassiPublished in: CoRR (2015)
Keyphrases
- user interface
- information retrieval
- document collections
- metadata
- document retrieval
- web documents
- digital library systems
- data processing
- real time
- legal documents
- document representation
- vector space model
- information retrieval systems
- document analysis
- support vector
- document classification
- document clustering
- kernel function
- text documents
- human computer interaction
- database
- feature space
- vector space
- user queries
- digital libraries
- multimedia documents
- reproducing kernel hilbert space
- digital documents
- keywords