Author of the publication

CLEF-IP 2012: Retrieval Experiments in the Intellectual Property Domain.

, , , , , and . CLEF (Online Working Notes/Labs/Workshop), volume 1178 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Capturing Abstract Matrices from Paper., , , and . MKM, volume 4108 of Lecture Notes in Computer Science, page 124-138. Springer, (2006)Processing Textbook-Style Matrices., and . MKM, volume 3863 of Lecture Notes in Computer Science, page 111-125. Springer, (2005)A Database of Glyphs for OCR of Mathematical Documents., and . MKM, volume 3863 of Lecture Notes in Computer Science, page 203-216. Springer, (2005)Reasoning about B+ Trees with Operational Semantics and Separation Logic., and . MFPS, volume 218 of Electronic Notes in Theoretical Computer Science, page 355-369. Elsevier, (2008)Comparing Approaches to Mathematical Document Analysis from PDF., , , and . ICDAR, page 463-467. IEEE Computer Society, (2011)Towards a Parser for Mathematical Formula Recognition., , , and . MKM, volume 4108 of Lecture Notes in Computer Science, page 139-151. Springer, (2006)Abramowitz and Stegun - A Resource for Mathematical Document Analysis.. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 159-168. Springer, (2012)A Linear Grammar Approach to Mathematical Formula Recognition from PDF., , and . Calculemus/MKM, volume 5625 of Lecture Notes in Computer Science, page 201-216. Springer, (2009)Reasoning with Generic Cases in the Arithmetic of Abstract Matrices., , and . Calculemus/MKM, volume 5625 of Lecture Notes in Computer Science, page 138-153. Springer, (2009)Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation., , and . Ann. Math. Artif. Intell., 64 (4): 343-368 (2012)