Alan Sexton

1 - 10 out of 40Page size: 10

Publications

  1. 2017
  2. Published

    Modern Approaches to Chemical Image Recognition

    Filippov, I., Lupu, M. & Alan Sexton, 2017, Current Challenges in Patent Information Retrieval. Lupu, M., Mayer, K., Kando, N. & Trippe, A. J. (eds.). 2nd ed. Springer, p. 369-389 20 p. (The Information Retrieval Series; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  3. 2016
  4. Published

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

    Schubotz, M. & Alan Sexton, 22 Jul 2016, Proceedings of the 9th Conference on Intelligent Computer Mathematics. CEUR-WS.org, p. 132-145 14 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  5. 2014
  6. Published

    Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014, Proceedings

    Watt, S. M. (ed.), Davenport, J. H. (ed.), Alan Sexton (ed.), Sojka, P. (ed.) & Urban, J. (ed.), 1 Jul 2014, Springer. 459 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8543)

    Research output: Book/Report › Book

  7. Published

    Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014

    England, M. (ed.), Davenport, J. H. (ed.), Kohlhase, A. (ed.), Kohlhase, M. (ed.), Libbrecht, P. (ed.), Neuper, W. (ed.), Quaresma, P. (ed.), Alan Sexton (ed.), Sojka, P. (ed.), Urban, J. (ed.) & Watt, S. M. (ed.), 1 Jul 2014, CEUR-WS.org. (CEUR Workshop Proceedings; vol. 1186)

    Research output: Book/Report › Book

  8. 2012
  9. Published

    Abstracting symbolic matrices: Special issue on artificial intelligence and symbolic computation

    Almomen, R., Alan Sexton & Volker Sorge, 1 Apr 2012, In : Annals of Mathematics and Artificial Intelligence. 64, 4, p. 343-368

    Research output: Contribution to journal › Article

  10. Published

    Chemical Structure Recognition: A Rule Based Approach

    Sadawi, N., Alan Sexton & Volker Sorge, 1 Jan 2012, In : Proceedings of SPIE - The International Society for Optical Engineering. 8297, 82970E.

    Research output: Contribution to journal › Article

  11. 2011
  12. Published

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

    Sadawi, N., Alan Sexton, Volker Sorge, Voorhees, EM. & Buckland, LP., 1 Nov 2011.

    Research output: Contribution to conference (unpublished) › Paper

  13. Published

    Comparing Approaches to Mathematical Document Analysis from PDF

    Josef Baker, Alan Sexton, Volker Sorge & Suzuki, M., 21 Sep 2011, p. 463-467. 5 p.

    Research output: Contribution to conference (unpublished) › Paper

  14. Published

    Towards Reverse Engineering of PDF Documents

    Josef Baker, Alan Sexton, Volker Sorge, Sojka, P. & Bouche, T., 1 Jul 2011, p. 65-75. 11 p.

    Research output: Contribution to conference (unpublished) › Paper

  15. 2010
  16. Published

    Designing a Semantic Ground Truth for Mathematical Formulae

    Alan Sexton, Volker Sorge, Suzuki, M. & Sojka, P., 7 Jul 2010, p. 37-42. 6 p.

    Research output: Contribution to conference (unpublished) › Paper

Previous 1 2 3 4 Next