Keyphrases
- question answering
- query expansion
- information retrieval
- formal verification
- model checking
- machine learning
- european languages
- face verification
- cross language
- cross lingual
- case study
- itc irst
- test collection
- person identification
- asynchronous circuits
- verification method
- concurrent systems
- database
- evaluation campaigns
- multilingual information retrieval
- multilingual information access