Multi-Stage Math Formula Search: Using Appearance-Based Similarity Metrics at Scale
作者： Richard Zanibbi , Kenny Davila , Andrew Kane , Frank Wm. Tompa
关键词:
摘要: When using a mathematical formula for search (query-by-expression), the suitability of retrieved formulae often depends more upon symbol identities and layout than deep …
sigir.org
acm.org
rit.edu 参考文章(26)
Martin Líška, Petr Sojka, Indexing and searching mathematics in digital libraries: architecture, design and scalability issues MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics. pp. 228- 243 ,(2011)
Bruce R. Miller, Abdou Youssef, Technical Aspects of the Digital Library of Mathematical Functions Annals of Mathematics and Artificial Intelligence. ,vol. 38, pp. 121- 136 ,(2003) , 10.1023/A:1022967814992
Ferruccio Guidi, Claudio Sacerdoti Coen, A Survey on Retrieval of Mathematical Knowledge Proceedings of the International Conference on Intelligent Computer Mathematics - Volume 9150. ,vol. 9150, pp. 296- 315 ,(2015) , 10.1007/978-3-319-20615-8_20
Peter Graf, Substitution Tree Indexing rewriting techniques and applications. pp. 117- 131 ,(1995) , 10.1007/3-540-59200-8_52
Michael Kohlhase, Ioan Sucan, None, A Search Engine for Mathematical Formulae Artificial Intelligence and Symbolic Computation. pp. 241- 253 ,(2006) , 10.1007/11856290_21
Shahab Kamali, Frank Wm. Tompa, Structural similarity search for mathematics retrieval CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics. pp. 246- 262 ,(2013) , 10.1007/978-3-642-39320-4_16
Jon Louis Bentley, Andrew Chi-Chih Yao, An almost optimal algorithm for unbounded searching Information Processing Letters. ,vol. 5, pp. 82- 87 ,(1976) , 10.1016/0020-0190(76)90071-5
Keita Del Valle Wangari, Richard Zanibbi, Anurag Agarwal, Discovering real-world use cases for a multimodal math search interface international acm sigir conference on research and development in information retrieval. pp. 947- 950 ,(2014) , 10.1145/2600428.2609481
Lidan Wang, Jimmy Lin, Donald Metzler, A cascade ranking model for efficient ranked retrieval international acm sigir conference on research and development in information retrieval. pp. 105- 114 ,(2011) , 10.1145/2009916.2009934
Tam T. Nguyen, Siu Cheung Hui, Kuiyu Chang, A lattice-based approach for mathematical search using Formal Concept Analysis Expert Systems With Applications. ,vol. 39, pp. 5820- 5828 ,(2012) , 10.1016/J.ESWA.2011.11.085