Skip to main content Skip to main navigation

Publications

Displaying results 91 to 100 of 506.
  1. Faisal Shafait; Joost van Beusekom; Daniel Keysers; Thomas Breuel

    Background Variability Modeling for Statistical Layout Analysis

    In: Proceedings of the 19th International Conference on Pattern Recognition. International Conference on Pattern Recognition (ICPR-2008), December 8-11, Tampa, Florida, USA, IEEE, 2008.

  2. Faisal Shafait; Joost van Beusekom; Daniel Keysers; Thomas Breuel

    Document cleanup using page frame detection

    In: International Journal on Document Analysis and Recognition, Vol. 11, No. 2, Pages 81-96, Springer-Verlag, 11/2008.

  3. Faisal Shafait; Daniel Keysers; Thomas Breuel

    GREC 2007 Arc Segmentation Contest: Evaluation of Four Participating Algorithms

    In: Graphics Recognition: Recent Advances and New Opportunities (GREC 2007 post-proceedings). IAPR International Workshop on Graphics Recognition (GREC-2007), 7th, September 20-21, Curitiba, Brazil, Springer-Verlag, 2008.

  4. Joost van Beusekom; Faisal Shafait; Thomas Breuel

    Automated OCR Ground Truth Generation

    In: Proceedings of the 8th IAPR International Workshop on Document Analysis Systems. IAPR International Workshop on Document Analysis Systems (DAS-2008), September 16-19, Nara, Japan, IEEE, 9/2008.

  5. Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner

    Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

    In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008.

  6. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 208, Proceedings. Conferences on Intelligent Computer Mathematics (CICM-08), July 31 - August 1, Birmingham, United Kingdom, Pages 398-414, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5144, Springer, Berlin, Heidelberg, 2008.

  7. Dominik Dietrich; Ewaryst Schulz

    CRStL: A Declarative Language for the Encoding of Proof Techniques

    In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, Birmingham, United Kingdom, Pages 16-28, 2008.

  8. Harm op den Akker; Christian Husodo Schulz

    Exploring Features and Classifiers for Dialogue Act Segmentation

    In: Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction (MLMI-08), 5th International Workshop, September 8-10, Utrecht, Netherlands, Pages 196-207, Lecture Notes in Computer Science (LNCS), Vol. 5237/2008, No. 0302-9743 (Print) 1611-3349 (Online), ISBN 978-3-540-85852-2. Springer, Berlin / Heidelberg, 9/2008.

  9. Udo Frese; Tim Laue

    (A) VISION FOR 2050: The Road Towards Image Understanding for a Human-Robot Soccer Match

    In: Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics. International Conference on Informatics in Control, Automation and Robotics (ICINCO-2008), May 11 - April 15, Funchal, Madeira, Portugal, 2008.

  10. S. Huang; Z. Wang; G. Dissanayake; Udo Frese

    Iterated SLSJF: A Sparse Local Submap Joining Algorithm with Improved Consistency

    In: Proceedings of the Australasian Conference on Robotics and Automation. Australasian Conference on Robotics and Automation (ACRA-08), December 3-5, Canberra, Australia, 2008.