ACM SIGIR workshop on mathematical/formal methods in information retrieval MF/IR 2005.
Sándor DominichIadh OunisJian-Yun NiePublished in: SIGIR Forum (2005)
Keyphrases
- information retrieval
- formal methods
- formal analysis
- knowledge based systems
- test collection
- model checking
- information retrieval systems
- formal specification
- software engineering
- process algebra
- matrix factorization
- learning to rank
- query expansion
- ir models
- safety critical
- development lifecycle
- term weighting
- artificial intelligence
- text retrieval
- relevant documents
- document collections
- web ir
- ir evaluation
- databases
- formal specification language
- selected papers
- modeling language
- retrieval effectiveness
- language model
- object oriented
- information systems
- search engine
- retrieval model
- acm conference