艾伦·P·塞克斯顿
人员信息
附属: 英国伯明翰大学
优化列表
2010 – 2019
2016 [公元29年] 莫里茨·舒博茨 , 艾伦·P·塞克斯顿 :
使用自动视觉回归测试在维基百科中平滑过渡到基于现代mathoid的数学渲染。 FM4M/MathUI/ThEdu/DP公司/ 在制品@CIKM 2016 : 132-145 2014 [电子4] 马修·英格兰 , 詹姆斯·H·达文波特 , 安德烈亚·科尔哈斯 , 迈克尔·科尔哈斯 , 保罗·利布雷希特 , 沃尔瑟·诺伊珀 , 佩德罗·夸雷斯马 , 艾伦·P·塞克斯顿 , 彼得·索伊卡 , 约瑟夫·乌尔班 , 斯蒂芬·瓦特 :
2014年7月7日至11日,葡萄牙科英布拉,CICM与智能计算机数学会议(CICM 2014)合办的MathUI、OpenMath和ThEdu研讨会联合会议记录和工作进展跟踪。 CEUR研讨会记录 1186, CEUR-WS.org公司 2014 [目录] [电子3] 斯蒂芬·瓦特 , 詹姆斯·H·达文波特 , 艾伦·P·塞克斯顿 , 彼得·索伊卡 , 约瑟夫·乌尔班 :
2014年7月7日至11日,智能计算机数学-国际会议,CICM 2014,葡萄牙科英布拉。 诉讼程序。 计算机科学课堂讲稿 8543, 施普林格 2014 ,国际标准图书编号 978-3-319-08433-6 [目录] 2012 [j1] 兰达·阿尔莫门 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
符号矩阵的抽象——人工智能和符号计算专题。 安。数学。 Artif公司。 智力。 64 ( 4 ) : 343-368 ( 2012 ) [c28] 艾伦·P·塞克斯顿 :
Abramowitz和Stegun-数学文献分析资源。 AISC/MKM/结石 2012 : 159-168 [公元27年] 约瑟夫·贝克 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
MaxTract:将PDF转换为$\mbox\LaTeX$、MathML和Text。 AISC/MKM/结石 2012 : 422-426 [公元26年] 弗洛里娜·皮罗伊 , 米海卢浦 , 艾伦·汉伯里 , 艾伦·P·塞克斯顿 , 瓦利德·马格迪 , 伊戈尔·菲利波夫 :
CLEF-IP 2012:知识产权领域的检索实验。 CLEF(在线工作笔记/实验室/研讨会) 2012 [公元25年] 努里丁·萨达维 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
2012年CLEF上的MolRec——结果概述和分析。 CLEF(在线工作笔记/实验室/研讨会) 2012 [公元24年] 努里丁·萨达维 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
化学结构识别:基于规则的方法。 灾难风险纾解 2012 : 82970E(东经) 2011 【c23】 约瑟夫·贝克 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 铃木Masakazu Suzuki :
从PDF中比较数学文档分析的方法。 ICDAR公司 2011 : 463-467 [公元22年] 努里丁·萨达维 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
2011年TREC MolRec的表现概述和结果分析。 TREC公司 2011 2010 【c21】 雅克·卡雷特 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 斯蒂芬·瓦特 :
符号域分解。 AISC/MKM/结石 2010 : 172-188 [公元20年] 约瑟夫·贝克 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
从PDF文档中识别出忠实的数学公式。 文件分析系统 2010 : 485-492 [电子2] 谢尔盖·奥特西耶 , 雅克·卡尔梅特 , 大卫·德拉哈耶 , 帕特里克·D·F·伊昂 , 劳伦斯·里多 , 雷诺德·里奥博奥 , 艾伦·P·塞克斯顿 :
智能计算机数学,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,以及第九届国际会议(MKM 2010,法国巴黎,2010年7月5日至10日)。 诉讼程序。 计算机科学课堂讲稿 6167, 施普林格 2010 ,国际标准图书编号 978-3-642-14127-0 [目录] [i2] 艾伦·P·塞克斯顿 , 理查德·斯温班克 :
对称M树。 CoRR公司 abs/1004.4216 ( 2010 ) [i1] 雅克·卡雷特 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 斯蒂芬·瓦特 :
符号域分解。 CoRR公司 abs/1004.5549 ( 2010 )
2000 – 2009
2009 [第19条] 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 斯蒂芬·瓦特 :
使用抽象矩阵结构进行计算。 ISSAC公司 2009 : 325-332 [第18条] 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 斯蒂芬·瓦特 :
抽象矩阵算法中的一般事例推理。 结石/MKM 2009 : 138-153 [第17条] 约瑟夫·贝克 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
从PDF中识别数学公式的线性语法方法。 结石/MKM 2009 : 201-216 [电子1] 艾伦·P·塞克斯顿 :
数据空间:《最后的边界》,第26届英国国家数据库会议,BNCOD 26,英国伯明翰,2009年7月7日至9日。 诉讼程序。 计算机科学课堂讲稿 5588, 施普林格 2009 ,国际标准图书编号 978-3-642-02842-7 [目录] 2008 [c16] 艾伦·P·塞克斯顿 , 理查德·斯温班克 :
虚拟强制拆分、降级和BV-Tree。 BNCOD公司 2008 : 139-152 [c15] 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 斯蒂芬·瓦特 :
抽象矩阵算术。 SYNASC公司 2008 : 61-68 [第14条] 艾伦·P·塞克斯顿 , Hayo Thielecke先生 :
基于操作语义和分离逻辑的B+树推理。 MFPS公司 2008 : 355-369 2006 [第13条] 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
符号计算中的抽象矩阵。 ISSAC公司 2006 : 318-325 [第12条] Toshihiro Kanahori先生 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 铃木正一 :
从纸上获取抽象矩阵。 MKM公司 2006 : 124-138 [第11条] 阿马尔·拉贾 , 马修·雷纳 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
面向数学公式识别解析器。 MKM公司 2006 : 139-151 2005 [第10条] 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
数据库驱动的数学字符识别。 GREC集团 2005 : 218-230 【c9】 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
矩阵结构的语义分析。 ICDAR公司 2005 : 1141-1145 【c8】 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
处理教科书样式矩阵。 MKM公司 2005 : 111-125 【c7】 艾伦·P·塞克斯顿 , 沃尔克·索尔格 :
用于数学文档OCR的字形数据库。 MKM公司 2005 : 203-216 2004 【c6】 艾伦·P·塞克斯顿 , 理查德·斯温班克 :
批量加载M树以提高查询性能。 BNCOD公司 2004 : 190-202
1990 – 1999
1997 【c5】 艾伦·P·塞克斯顿 :
查询索引文件。 国家开发银行 1997 : 263-281 【c4】 斯特凡·布雷桑 , 艾伦·P·塞克斯顿 , 马克·华莱士 :
使用约束逻辑编程实现索引数据结构。 国家开发银行 1997 : 294-301 1990 【c3】 汉斯·本克 , 米歇尔·多罗切夫斯基 , 雅克·诺伊 , 艾伦·P·塞克斯顿 :
知识粉碎系统。 ARCS公司 1990 : 9-21 【c2】 K.-F.Wong先生 , 加州大学男爵 , 汉斯·本克 , 西尔维·贝斯科斯 , A.B.奶酪 , 弗朗索瓦·J·N·考斯克 , 塞尔吉奥·德尔加多·兰纳罗 , 米歇尔·多罗切夫斯基 , P.海泽 , M.Ibanez-Espiga先生 , 雅克·诺伊 , 毛里齐奥·帕西 , M.J.拉特克利夫 , M.J.里夫 , 基斯·舒尔曼 , 艾伦·P·塞克斯顿 , 安德烈·维伦 , 徐济阳 :
作为并行逻辑编程平台的欧洲声明系统(EDS)。 SPDP公司 1990 : 339-342
1980 – 1989
1989 【c1】 汉斯·本克 , Jean-Michel海滩 , 西尔维·贝斯科斯 , 米歇尔·多罗切夫斯基 , 托马斯·杰弗里 , 安妮塔·波尔曼 , 雅克·诺伊 , 布鲁诺陶器 , 艾伦·P·塞克斯顿 , Jean-Claude糖浆 , 奥利弗·蒂鲍特 , Günter Watzlawik公司 :
KCM:知识粉碎机器。 国际标准协会 1989 : 186-194