RMIT University at TREC 2005: Terabyte and Robust Track Yaniv Bernstein Bodo Billerbeck Steven Garcia Nicholas Lester Falk Scholer Justin Zobel School of Computer Science and Information Technology RMIT University, GPO B

First Page		Document Content
Date: 2006-02-21 09:28:41 Query expansion Okapi BM25 Relevance Precision and recall Language model Search engine indexing Zettair Relevance feedback Web query classification Information science Information retrieval Query likelihood model		RMIT University at TREC 2005: Terabyte and Robust Track Yaniv Bernstein Bodo Billerbeck Steven Garcia Nicholas Lester Falk Scholer Justin Zobel School of Computer Science and Information Technology RMIT University, GPO B Add to Reading List Source URL: trec.nist.gov Download Document from Source Website File Size: 126,47 KB Share Document on Facebook

	Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich DocID: 1xVPm - View Document
	Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s DocID: 1xVMq - View Document
	Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco DocID: 1xVLw - View Document
	Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science DocID: 1xVun - View Document
	Indian Education for All Model Teaching Units Language Arts - Elementary Level Volume One DocID: 1vpGj - View Document