Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2008
Remove all filters
Displaying results 81 to 90 of 506.

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

  2. 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), …

  3. 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), …

  4. Hui Shi; Bernd Krieg-Brückner

    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 …

  5. Hui Shi; Bernd Krieg-Brückner

    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.

  6. 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 …

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

  8. Lutz Schröder

    Linearizability of Non-expansive Semigroup Actions on Metric Spaces

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

  9. Lutz Schröder

    Expressivity of Coalgebraic Modal Logic: The Limits and Beyond

    In: Theoretical Computer Science, Vol. 390, Pages 230-247, 2008.

  10. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

    Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

    In: Walid Maalej; Bernd Brügge (Hrsg.). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen, …

Year