User Experience with Language-Independent Formal Verification.
Suhabe BugraraPublished in: CoRR (2019)
Keyphrases
- language independent
- user experience
- formal verification
- model checking
- n gram
- bounded model checking
- machine translation
- user behavior
- text retrieval
- end users
- model checker
- automated verification
- text classification
- user interface
- user interaction
- cross language
- word segmentation
- user engagement
- information access
- cross lingual
- word level
- user perceptions
- information extraction
- information filtering
- document retrieval
- question answering
- language specific
- active learning
- knowledge base
- information retrieval