Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface.
Bruno BarrasCarst TankinkEnrico TassiPublished in: ITP (2015)
Keyphrases
- user interface
- real time
- document collections
- data processing
- information retrieval
- digital library systems
- document retrieval
- information retrieval systems
- human computer interaction
- keywords
- kernel methods
- xml documents
- relevant documents
- web documents
- information processing
- kernel function
- text documents
- document clustering
- expert systems
- retrieval systems
- user interaction
- feature space
- image retrieval
- free text
- vector space model
- legal documents
- probabilistic model