Alan P. Sexton

According to our database, Alan P. Sexton authored at least 31 papers between 1989 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing.

Moritz Schubotz, Alan P. Sexton

Proceedings of the Joint Proceedings of the FM4M, 2016

2012

Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation.

Randa Almomen, Alan P. Sexton, Volker Sorge

Ann. Math. Artif. Intell., 2012

Chemical structure recognition: a rule-based approach.

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge

Proceedings of the Document Recognition and Retrieval XIX, 2012

MolRec at CLEF 2012 - Overview and Analysis of Results.

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge

Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

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

Florina Piroi, Mihai Lupu, Allan Hanbury, Alan P. Sexton, Walid Magdy, Igor V. Filippov

Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

Abramowitz and Stegun - A Resource for Mathematical Document Analysis.

Alan P. Sexton

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text.

Josef B. Baker, Alan P. Sexton, Volker Sorge

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Performance of MolRec at TREC 2011 Overview and Analysis of Results.

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge

Proceedings of The Twentieth Text REtrieval Conference, 2011

Comparing Approaches to Mathematical Document Analysis from PDF.

Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki

Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

2010

Symmetric M-tree

Alan P. Sexton, Richard Swinbank

CoRR, 2010

Faithful mathematical formula recognition from PDF documents.

Josef B. Baker, Alan P. Sexton, Volker Sorge

Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010

Symbolic Domain Decomposition.

Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.

Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the Intelligent Computer Mathematics, 2009

A Linear Grammar Approach to Mathematical Formula Recognition from PDF.

Josef B. Baker, Alan P. Sexton, Volker Sorge

Proceedings of the Intelligent Computer Mathematics, 2009

Computing with abstract matrix structures.

Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Reasoning about B+ Trees with Operational Semantics and Separation Logic.

Alan P. Sexton, Hayo Thielecke

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Abstract Matrix Arithmetic.

Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the SYNASC 2008, 2008

Virtual Forced Splitting, Demotion and the BV-Tree.

Alan P. Sexton, Richard Swinbank

Proceedings of the Sharing Data, 2008

2006

Towards a Parser for Mathematical Formula Recognition.

Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Capturing Abstract Matrices from Paper.

Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Abstract matrices in symbolic computation.

Alan P. Sexton, Volker Sorge

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005

A Database of Glyphs for OCR of Mathematical Documents.

Alan P. Sexton, Volker Sorge

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Processing Textbook-Style Matrices.

Alan P. Sexton, Volker Sorge

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Semantic Analysis of Matrix Structures.

Alan P. Sexton, Volker Sorge

Proceedings of the Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August, 2005

Database-Driven Mathematical Character Recognition.

Alan P. Sexton, Volker Sorge

Proceedings of the Graphics Recognition. Ten Years Review and Future Perspectives, 2005

2004

Bulk Loading the M-Tree to Enhance Query Performance.

Alan P. Sexton, Richard Swinbank

Proceedings of the Key Technologies for Data Management, 2004

1997

Querying Indexed Files.

Alan P. Sexton

Proceedings of the Constraint Databases and Their Applications, 1997

Implementing Index Data Structures Using Constraint Logic Programming.

Stéphane Bressan, Alan P. Sexton, Mark Wallace

Proceedings of the Constraint Databases and Their Applications, 1997

1990

The European Declarative System (EDS) as a platform for parallel logic programming.

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

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

A Knowledge Crunching System.

Hans Benker, Michel Dorochevsky, Jacques Noyé, Alan P. Sexton

Proceedings of the Architektur von Rechensystemen, 1990

1989

KCM: A Knowledge Crunching Machine.

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

Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, 1989