Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2009
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 533

  1. Christoph Lüth

    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. Goce Trajcevski; Oliviu Ghica; René Schubotz; Marco Zuniga; Manfred Hauswirth; Peter Scheuermann

    Discrepancy and Multipath Routing in Wireless Sensor Networks - Semantic Scholar

    Technical Report, Northwestern University, Northwestern University Technical Reports, Vol. NWU-EECS-09-18, 2009.

  3. Udo Frese; Tim Laue; Oliver Birbach; Jörg Kurlbaum; Thomas Röfer

    (A) Vision for 2050 Context-Based Image Understanding for a Human-Robot Soccer Match

    In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festkolloquium for Bernd Krieg-Brückner's 60th birthday. Pages 273-289, Sichere Kognitive …

  4. Thomas Röfer; Tim Laue; Judith Müller; Oliver Bösche; Armin Burchardt; Eric Damrose; Katharina Gillmann; Colin Graf; Thijs Jeffry de Haas; Alexander Härtl; Andrik Rieskamp; André Schreck; Ingo Sieverdingbeck et al.

    B-Human Team Report and Code Release 2009

    2009.

  5. Thomas Röfer; Christian Mandel; Axel Lankenau; Bernd Gersdorf; Udo Frese

    15 Years of Rolland

    In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Pages …

  6. Matthias Böhmer; Gernot Bauer

    Improving the recommendation of mobile services by interpreting the user's icon arrangement

    In: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services. International Conference on …

  7. Alexandre Hanft; Norman Ihle; Kerstin Bach; Régis Newo

    CookIIS -- Competing in the First Computer Cooking Contest

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

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

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

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

Jahr