Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 506.
  1. Lassaad Cheikhrouhou; Andreas Nonnengart; Werner Stephan; Frank Koob; Georg Rock

    Automating Interactive Protocol Verification

    In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). KI 2008: Advances in Artificial Intelligence. German …

  2. Timo Herborn; Ansgar Mondorf; Babak Mougouie; Maria A. Wimmer

    Semantic Interoperability in the BRITE Project: Ontologies as a Tool for Collaboration, Cooperation and Knowledge Management

    In: R. Meersman; Z. Tari (Hrsg.). On the Move to Meaningful Internet Systems. OnTheMove Federated Conferences & Workshops (OTM-2008), located at OTM …

  3. Babak Mougouie

    Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC)

    In: K.-D. Althoff; R. Bergmann; M. Minor; A. Hanft (Hrsg.). Proceedings of the 9th European Conference on Case-Based Reasoning. European Conference on …

  4. E. Indermühle; Marcus Liwicki; Horst Bunke

    Recognition of Handwritten Historical Documents: HMM-Adaptation vs. Writer Specific Training

    In: Proc. 11th Int. Conference on Frontiers in Handwriting Recognition. International Conference on Frontiers in Handwriting Recognition (ICFHR-2008), …

  5. Marcus Liwicki; Horst Bunke

    Combining On-Line and Off-Line Bidirectional Long Short-Term Memory Networks for Handwritten Text Line Recognition

    In: Proc. 11th Int. Conference on Frontiers in Handwriting Recognition. International Conference on Frontiers in Handwriting Recognition (ICFHR-2008), …

  6. Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  7. Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks

    In: International Journal of Software and Informatics (IJSI), Vol. 2, No. 1, Pages 33-60, 2008.

  8. Lutz Schröder; Dirk Pattinson

    Shallow models for non-iterative modal logics

    In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). Proc. German Conference on Artificial Intelligence …

  9. Lutz Schröder; Dirk Pattinson

    How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics

    In: Gerhard Brewka; Jerôme Lang (Hrsg.). Principles of Knowledge Representation and Reasoning (KR 2008). International Conference on Principles of …

  10. Lutz Schröder

    Linearizability of Non-expansive Semigroup Actions on Metric Spaces

    In: Topology and its Applications, Vol. 155, Pages 1576-1579, 2008.