101 search results - page 21 / 21 » Generating Text with a Theorem Prover |
JCDL
2006
ACM
14 years 4 months ago
2006
ACM
Citation matching, or the automatic grouping of bibliographic references that refer to the same document, is a data management problem faced by automatic digital libraries for sci...