×

大众数学搜索:多模式搜索界面和基于外观的检索。 (英语) Zbl 1417.68274号

Kerber,Manfred(编辑)等人,《智能计算机数学》。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9150, 18-36 (2015).
摘要:我们总结了文档和模式识别实验室近年来开发的数学搜索引擎和搜索界面,特别是数学搜索界面和切线搜索引擎。这两个系统的源代码都是公开的。“大众”指的是我们强调为数学非专业人士创建系统,他们可能希望定义不熟悉的符号,或者根据公式的视觉外观而非数学语义浏览文档。
关于整个系列,请参见[Zbl 1316.68015号].

MSC公司:

68单位35 信息系统的计算方法(超文本导航、接口、决策支持等)
68第20页 信息存储和数据检索
68吨10 模式识别、语音识别
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aizawa,A.,Kohlhase,M.,Ounis,I.,Schubotz,M.:NTCIR-11数学-2任务概述。摘自:《第十一届NTCIR会议记录》,日本东京,第99-102页,2014年12月
[2] 贝克,JB;美联社塞克斯顿;索尔格,V。;Carette,J。;Dixon,L.公司。;科恩,CS;Watt,SM,PDF中数学公式识别的线性语法方法,智能计算机数学,201-16(2009),海德堡:施普林格·兹比尔1247.68225 ·doi:10.1007/978-3642-02614-0_19
[3] 布洛斯坦,D。;扎尼比,R。;Doermann,D。;Tombre,K.,《处理数学符号》,《文档图像处理和识别手册》,679-702(2014),伦敦:施普林格出版社,伦敦·doi:10.1007/978-0-85729-859-121
[4] Chatbri,H.,Kwan,P.W.,Kameyama,K.:文档图像中查询定位的模块化方法及其使用遗传算法的优化。摘自:IEEE进化计算大会会议记录,中国北京,第2085-2092页,2014年7月
[5] Cordy,JR,TXL源转换语言,科学。计算。程序。,61, 3, 190-10 (2006) ·兹比尔1102.68434 ·doi:10.1016/j.scico.2006.04.002
[6] Davila,K.、Agarwal,A.、Gaborski,R.、Zanibbi,R.和Ludi,S.:访问数学:基于视觉相似性索引和检索包含数学表达式的视频片段。摘自:IEEE纽约西部图像处理研讨会论文集,纽约州罗切斯特,第14-17页(2013)
[7] Davila,K.,Ludi,S.,Zanibbi,R.:使用离线特征和合成数据进行联机手写数学符号识别。摘自:《笔迹识别领域国际会议论文集》,希腊克里特岛,第323-328页(2014年)
[8] Hiroya,H.,Saito,H.:NTCIR-10数学任务中使用结构反射索引的部分匹配检索。摘自:《NII试验台和信息获取研究社区会议录》,日本东京,第692-695页,2013年6月
[9] Hu,L.,Zanibbi,R.:基于HMM的在线手写数学符号识别,使用分段k均值初始化和修改的上下摆动特征。摘自:《国际会议论文分析与识别》,第457-462页(2011年)
[10] Kamali,S.,Tompa,F.W.:一种新的数学检索系统。摘自:《第19届ACM信息和知识管理国际会议记录》,CIKM 2010,第1413-1416页。ACM,纽约(2010年)
[11] 卡马利,S。;汤帕,佛罗里达州;Carette,J。;阿斯皮诺,D。;兰格,C。;Sojka,P。;Windsteiger,W.,《数学检索的结构相似性搜索》,《智能计算机数学》,246-62(2013),海德堡:斯普林格·Zbl 1390.68258号 ·doi:10.1007/978-3-642-39320-4_16
[12] 科尔哈斯,M。;苏姗,I。;Calmet,J。;艾达,T。;Wang,D.,数学公式搜索引擎,人工智能和符号计算,241-53(2006),海德堡:施普林格·Zbl 1156.68306号 ·数字对象标识代码:10.1007/11856290_21
[13] Lamport,L.:(####):文件准备系统。马萨诸塞州艾迪森·韦斯利·雷丁(1986)·兹比尔0852.68115
[14] D.兰迪。;Goldstone,R.,《形式符号是图表:来自生产任务的证据》,Mem。认知。,35, 8, 2033-40 (2007) ·doi:10.358/BF03192935
[15] D.兰迪。;Goldstone,R.,象征思维有多抽象?,《心理学实验杂志》。学习。内存。认知。,35, 8, 720-33 (2007) ·doi:10.1037/0278-7393.33.4.720
[16] Lin,X.,Gao,L.,Hu,X.Tang,Z.,Xiao,Y.,Liu,X.:版面展示中公式的数学检索系统。摘自:ACM SIGIR会议记录,第697-706页(2014年)
[17] 麦克莱恩,S。;Labahn,G.,《使用关系文法和模糊集识别手写数学的新方法》,国际期刊Doc。分析。重新签名。(IJDAR),第16、2、1-25页(2012年)
[18] 米勒,BR;Youssef,A.,《数学函数数字库的技术方面》,Ann.Math。Artif公司。智力。,38, 121-36 (2003) ·Zbl 1019.65002号 ·doi:10.1023/A:1022967814992
[19] Mouchére,H.、Viard-Gaudin,C.、Zanibbi,R.、Garain,U.:2014年国际笔迹识别大赛在线手写数学表达式(CROHME 2014)。摘自:《笔迹识别领域国际会议论文集》,希腊克里特岛,第791-796页(2014年)
[20] Nagy,G.,Seth,S.:光学扫描文件的层次表示法。摘自:《第七届模式识别国际会议论文集》,加拿大蒙特利尔,第347-349页(1984年)
[21] Nguyen,TT;SC Hui;Chang,K.,《使用形式概念分析进行数学搜索的基于格的方法》,专家系统。申请。,39, 5, 5820-8 (2012) ·doi:10.1016/j.eswa.20111.11.085
[22] Pattaniyil,N.,Zanibbi,R.:将TF-IDF文本检索与数学表达式中符号对的倒排索引相结合:NTCIR 2014上的Tangent数学搜索引擎。摘自:《第一届NII试验台和信息获取研究社区会议录》,日本东京(2014)(在线,第8页)
[23] Pollanen,M.、Wisniewski,T.、Yu,X.:Xpress:数学表达式实时通信的新手界面。摘自:数学用户界面研讨会论文集,奥地利林茨,2007年6月
[24] Rath,T。;Manmatha,R.,《历史文献的文字识别》,《国际期刊》。分析。推荐。,9, 2-4, 139-52 (2007) ·doi:10.1007/s10032-006-0027-8
[25] Reichenbach,M.,Agarwal,A.,Zanibbi,R.:渲染表达式以提高数学搜索相关性评估的准确性。摘自:澳大利亚黄金海岸ACM SIGIR会议记录,第851-854页(2014年)
[26] Sasarak,C.、Hart,K.、Pospesel,R.、Stalnaker,D.、Hu,L.、LiVolsi,R.,Zhu,S.、Zanibbi,R.:\(m_{in}\):一种用于web搜索的多模式web界面。收录:Symp。人机交互与信息检索,马萨诸塞州剑桥市,pp.(在线,第4页),2012年10月
[27] Schellenberg,T.,Yuan,B.,Zanibbi,R.:基于布局的替代树索引和数学表达式检索。摘自:《文献识别与检索学报》第十八卷,第OI:1-8页(2012年)
[28] Schubotz,M.:NTCIR-11数学维基百科任务中数学信息检索的挑战。摘自:SIGIR会议记录(2015年,待发布)
[29] Smithies,S.、Novins,K.、Arvo,J.:基于手写的公式编辑器。摘自:《图形界面会议录》,安大略省金斯顿市,1999年6月
[30] Sojka,P。;利什卡,M。;JH达文波特;Farmer,WM;Urban,J。;Rabe,F.,数字图书馆中的索引和搜索数学,智能计算机数学,228-43(2011),海德堡:施普林格,海德堡·Zbl 1335.68292号 ·doi:10.1007/978-3-642-22673-116
[31] Pavan Kumar,P。;阿加瓦尔,A。;巴格瓦蒂,C。;Sombattheera,C。;罗伊,NK;Wankar,R。;Quan,T.,《基于结构的数学表达式检索方法》,《人工智能的多学科趋势》,23-34(2012),海德堡:斯普林格出版社·doi:10.1007/978-3-642-35455-73
[32] Stalnaker,D.,Zanibbi,R.:在符号对上使用反向索引进行数学表达式检索。收录:文献识别和检索学报二十二。程序。SPIE,美国旧金山,第9402卷,第940207-1:12页,2015年2月
[33] 铃木,M。;Kanahori,T。;Ohtake,N。;山口,K。;Miesenberger,K。;克劳斯,J。;Zagler,WL;Burger,D.,《用于数学文档及其可访问性输出的集成OCR软件》,《计算机帮助有特殊需求的人》,648-55(2004),海德堡:斯普林格·数字对象标识代码:10.1007/978-3-540-27817-797
[34] 内田,S。;野村证券。;Suzuki,M.,《数学文献的定量分析》,国际文献杂志。分析。推荐。,7, 4, 211-8 (2005) ·doi:10.1007/s10032-005-0142-y
[35] Wangari,K.,Zanibbi,R.,Agarwal,A.:发现多模态数学搜索界面的真实世界用例。2014年7月,澳大利亚黄金海岸,ACM SIGIR会议记录,第947-950页
[36] Youssef,AS;考尔斯,M。;科伯,M。;Miner,R。;Windsteiger,W.,《数学搜索中的相关性排名和命中率生成方法》,《走向机械化数学助理》,393-406(2007),海德堡:斯普林格,海德伯格·Zbl 1202.68161号 ·doi:10.1007/978-3-540-73086-6_31
[37] 扎尼比,R。;Blostein,D.,《数学表达式的识别和检索》,国际期刊。分析。认可。(IJDAR),第15、4、331-57页(2012年)·doi:10.1007/s10032-011-0174-4
[38] Zanibbi,R.,Yu,L.:数学识别:使用手写查询图像检索技术文档中的数学。摘自:《文件分析与识别国际会议论文集》,中国北京,第446-451页,2011年9月
[39] Zanibbi,R.,Yuan,B.:基于关键词和图像的数学表达式检索。收录于:《文件识别和检索学报》第十八期,第78740I-78740I页(2011年)
[40] Zanibbi,R。;布洛斯坦,D。;Cordy,JR,使用树变换识别数学表达式,IEEE Trans。模式分析。机器。智力。,24, 11, 1455-1467 (2002) ·doi:10.1109/TPAMI.2002.1046157
[41] Zanibbi,R.,Novins,K.,Arvo,J.,Zanibby,K.:通过样式保护变形帮助处理手写数学表达式。摘自:《图形界面会议录》,渥太华,安大略省,2001年6月
[42] Zhao,J.,Kan,M.Y.,Theng,Y.L.:数学信息检索:用户需求和原型实现。收录于:JCDL 2008:第八届ACM/IEEE-CS数字图书馆联合会议记录,第187-196页。ACM,纽约(2008)
[43] Zhu,S.,Hu,L.,Zanibbi,R.:使用外轮廓和图像子采样进行旋转胸像数学符号识别和检索。收录于:《文件识别和检索学报》第XX期,加利福尼亚州旧金山,第5:1-5:12页,2013年2月
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。