Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 51 bis 60 von 533
  1. User Interfaces for Theorem Provers: Necessary Nuisanec or Unexplored Potential?

    In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems …

  2. Ralph Bergmann; Klaus-Dieter Althoff; Mirjam Minor; Meike Reichle; Kerstin Bach

    Case-Based Reasoning -- Introduction and Recent Developments

    In: Ralph Bergmann; Klaus-Dieter Althoff (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches …

  3. Meike Reichle; Kerstin Bach; Alexander Reichle-Schmehl; Klaus-Dieter Althoff

    Management of Distributed Knowledge Sources for Complex Application Domains

    In: Knut Hinkelmann; Holger Wache (Hrsg.). Proceedings of the 5th Conference on Professional Knowledge Manegement -- Experiences and Visions (WM2009). …

  4. Kerstin Bach; Meike Reichle; Klaus-Dieter Althoff

    A Value Supplementation Method for Case Bases with Incomplete Information

    In: Lorraine McGinty; David C. Wilson (Hrsg.). Case-based Reasoning in Research and Development. International Conference on Case-Based Reasoning …

  5. Norman Ihle; Régis Newo; Alexandre Hanft; Kerstin Bach; Meike Reichle

    CookIIS - A Case-Based Recipe Advisor

    In: Sarah Jane Delany (Hrsg.). Workshop Proceedings of the 8th International Conference on Case-Based Reasoning. International Conference on …

  6. Meike Reichle; Kerstin Bach; Klaus-Dieter Althoff

    The SEASALT Architecture and its Realization within the docQuery Project

    In: Bärbel Mertsching; Marcus Hund; Zaheer Aziz (Hrsg.). Proceedings of the 32nd Annual Conference on Artificial Intelligence. German Conference on …

  7. Meike Reichle; Kerstin Bach; Alexander Reichle-Schmehl; Klaus-Dieter Althoff

    Management of Distributed Knowledge Sources for Complex Application Domains (Resubmission)

    In: Frederik Janssen; Melanie Hartmann (Hrsg.). Proceedings of LWA 2009. GI-Workshop-Tage "Lernen, Wissen, Adaption" (LWA-09), Workshop Wissens- und …

  8. Marcus Liwicki; Andreas Dengel

    Requirements for Intelligent Pen-Based Annotation Systems --- An Exemplary Study with Semantic eInk

    In: Proceedings of the 14th Conference of the International Graphonomics Society. International Graphonomics Society Conference (IGS-09), September …

  9. Marcus Liwicki

    Evaluation of Novel Features and Different Models for Online Signature Verification in a Real-World Scenario

    In: Proceedings of the 14th Conference of the International Graphonomics Society. International Graphonomics Society Conference (IGS-09), September …

  10. Marcus Liwicki

    Enhancing a Multi-touch Table with Write Functionality

    In: Proceedings of the 5th Joint Workshop on Machine Perception and Robotics. Joint Workshop on Machine Perception and Robotics (MPR-2009), October …