Sciweavers

8349 search results - page 6 / 1670
» Introduction to Information Retrieval
Sort
View
83
Voted
CLEF
2010
Springer
15 years 26 days ago
Introduction to the CLEF 2010 labs
Martin Braschler, Donna Harman
KBSE
1999
IEEE
15 years 4 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle