Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2008
Remove all filters
Displaying results 91 to 100 of 506.

  1. 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.

  2. 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.

  3. 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.

  4. Mihai Codescu; Till Mossakowski

    Heterogeneous colimits

    In: Frédéric Boulanger; Christophe Gaston; Pierre-Yves Schobbens (Hrsg.). Workshop on Modeling, Validation and Heterogeneity. Workshop on Modeling, Validation and Heterogeneity (MoVaH-08), located at IEEE International Conference on Software Testing Verification and Validation, April 9-11, Lillehammer, Norway, IEEE press, 2008.

  5. Hui Shi; Yohei Kurata

    Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models

    In: Björn Gottfried; Hamid K. Aghajan (Hrsg.). 2nd International Workshop on Behavioral Monitoring and Interpretation. International Workshop on Behavioral Monitoring and Interpretation (BMI-08), 2nd, located at 31st Annual Conference on Artificial Intelligence (KI-2008), September 23, Kaiserslautern, Germany, Pages 42-56, CEUR Workshop Proceedings, Vol. 396, CEUR-WS.org, 2008.

  6. Yohei Kurata; Hui Shi

    RfDL: Models for Capturing Directional and Topological Characteristics of Path-Landmark Arrangements

    In: Nico Van de Weghe; Roland Billen; Bart Kuijpers; Peter Bogaert (Hrsg.). International Workshop on Moving Objects: From Natural to Formal Language. International Workshop on Moving Objects, located at GIScience 2008, September 23, Park City, UT, USA, 2008.

  7. Hui Shi; Yohei Kurata

    Reasoning on the Patterns of Spatial Arrangments between a Path and a Region-Like Landmarks

    In: Electric Poster Proceedings of GIScience 2008. International Conference on Geographic Information Science (GIScience-2008), September 23-26, Park City, UT, USA, 2008.

  8. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

    In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

  9. 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.

  10. 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.

Year