Alan P. Sexton

36 papers A* 1A 2B 4C 1Misc 1Journal 3Unranked 21

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. FM4M/MathUI/ThEdu/DP/WIP@CIKM Moritz Schubotz, Alan P. Sexton
2014	C	`ed.`	Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings CICM Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban
2014	—	`ed.`	Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CICM Workshops Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt
2012	—	`conf`	Abramowitz and Stegun - A Resource for Mathematical Document Analysis. AISC/MKM/Calculemus Alan P. Sexton
2012	J	`jnl`	Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. Ann. Math. Artif. Intell. Randa Almomen, Alan P. Sexton, Volker Sorge
2012	—	`conf`	CLEF-IP 2012: Retrieval Experiments in the Intellectual Property Domain. CLEF (Online Working Notes/Labs/Workshop) Florina Piroi, Mihai Lupu, Allan Hanbury, Alan P. Sexton, Walid Magdy, Igor V. Filippov
2012	—	`conf`	Chemical structure recognition: a rule-based approach. DRR Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
2012	—	`conf`	MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus Josef B. Baker, Alan P. Sexton, Volker Sorge
2012	—	`conf`	MolRec at CLEF 2012 - Overview and Analysis of Results. CLEF (Online Working Notes/Labs/Workshop) Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
2011	A	`conf`	Comparing Approaches to Mathematical Document Analysis from PDF. ICDAR Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
2011	—	`conf`	Performance of MolRec at TREC 2011 Overview and Analysis of Results. TREC Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
2010	B	`conf`	Faithful mathematical formula recognition from PDF documents. Document Analysis Systems Josef B. Baker, Alan P. Sexton, Volker Sorge
2010	—	`ed.`	Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings AISC/MKM/Calculemus Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
2010	—	`conf`	Symbolic Domain Decomposition. AISC/MKM/Calculemus Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2010	J	`jnl`	Symbolic Domain Decomposition. CoRR Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2010	J	`jnl`	Symmetric M-tree CoRR Alan P. Sexton, Richard Swinbank
2009	—	`conf`	A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM Josef B. Baker, Alan P. Sexton, Volker Sorge
2009	B	`conf`	Computing with abstract matrix structures. ISSAC Alan P. Sexton, Volker Sorge, Stephen M. Watt
2009	—	`ed.`	Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings BNCOD Alan P. Sexton
2009	—	`conf`	Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM Alan P. Sexton, Volker Sorge, Stephen M. Watt
2008	Misc	`conf`	Abstract Matrix Arithmetic. SYNASC Alan P. Sexton, Volker Sorge, Stephen M. Watt
2008	B	`conf`	Reasoning about B+ Trees with Operational Semantics and Separation Logic. MFPS Alan P. Sexton, Hayo Thielecke
2008	—	`conf`	Virtual Forced Splitting, Demotion and the BV-Tree. BNCOD Alan P. Sexton, Richard Swinbank
2006	B	`conf`	Abstract matrices in symbolic computation. ISSAC Alan P. Sexton, Volker Sorge
2006	—	`conf`	Capturing Abstract Matrices from Paper. MKM Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
2006	—	`conf`	Towards a Parser for Mathematical Formula Recognition. MKM Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge
2005	—	`conf`	A Database of Glyphs for OCR of Mathematical Documents. MKM Alan P. Sexton, Volker Sorge
2005	—	`conf`	Database-Driven Mathematical Character Recognition. GREC Alan P. Sexton, Volker Sorge
2005	—	`conf`	Processing Textbook-Style Matrices. MKM Alan P. Sexton, Volker Sorge
2005	A	`conf`	Semantic Analysis of Matrix Structures. ICDAR Alan P. Sexton, Volker Sorge
2004	—	`conf`	Bulk Loading the M-Tree to Enhance Query Performance. BNCOD Alan P. Sexton, Richard Swinbank
1997	—	`conf`	Implementing Index Data Structures Using Constraint Logic Programming. CDB Stéphane Bressan, Alan P. Sexton, Mark Wallace
1997	—	`conf`	Querying Indexed Files. CDB Alan P. Sexton
1990	—	`conf`	A Knowledge Crunching System. ARCS Hans Benker, Michel Dorochevsky, Jacques Noyé, Alan P. Sexton
1990	—	`conf`	The European Declarative System (EDS) as a platform for parallel logic programming. SPDP K.-F. Wong, U. C. Baron, Hans Benker, Sylvie Bescos, A. B. Cheese, François J. N. Cosquer, Sergio A. Delgado-Rannauro, Michel Dorochevsky, P. Heuze, M. Ibanez-Espiga, Jacques Noyé, Maurizio Paci, M. J. Ratcliffe, M. J. Reeve, Kees Schuerman, Alan P. Sexton, André Véron, Jiyang Xu
1989	A*	`conf`	KCM: A Knowledge Crunching Machine. ISCA Hans Benker, Jean-Michel Beacco, Sylvie Bescos, Michel Dorochevsky, Thomas Jeffré, Anita Pohlmann, Jacques Noyé, Bruno Poterie, Alan P. Sexton, Jean-Claude Syre, Oliver Thibault, Günter Watzlawik