Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 506.
  1. Andreas Dengel; K. Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.)

    Advances in Artificial Intelligence. 31st Annual German Conference on AI

    German Conference on Artificial Intelligence (KI-2008), September 23-26, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), …

  2. Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow

    Preface. Special Issue on Formal Modeling and Verification of Critical Systems

    In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.

  3. Sergio Roa; Geert-Jan Kruijff; Henrik Jacobsson

    Curiosity-Driven Acquisition of Sensorimotor Concepts Using Memory-Based Active Learning

    In: Proceedings of the 2008 IEEE International Conference on Robotics and Biomimetics. IEEE International Conference on Robotics and Biomimetics …

  4. Damian Borth; Adrian Ulges; Christian Schulze; Thomas Breuel

    Keyframe Extraktion für Video-Annotation und Video-Zusammenfassung

    In: Informatik Spektrum, Vol. 32, No. 1(2009), Pages 50-54, Springer, 3/2008.

  5. Sebastian Bartsch; Frank Kirchner

    Biologically Inspired Locomotion in Humanoid Robots

    In: Andreas Günter; Klaus-Dieter Althoff; Ralph Bergmann; Franziska Klügl; Sven Behnke; Bernd Ludwig; Ute Schmid; Josef Schneeberger; Ubbo Visser …

  6. Gabriele Bleser-Taetz; Didier Stricker

    Using the Marginalised Particle Filter for Real-Time Visual-Inertial Sensor Fusion

    In: Mark A. Livingston; Oliver Bimber; Hideo Saito (Hrsg.). Proceedings of the International Symposium on Mixed and Augmented Reality. IEEE …

  7. Lutz Schröder

    Bootstrapping Inductive and Coinductive Types in HasCASL

    In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, 2008.

  8. Thomas Roth-Berghofer; Daniel Bahls

    Explanation Capabilities of the Open Source Case-Based Reasoning Tool myCBR

    In: Miltos Petridis; Nirmalie Wiratunga (Hrsg.). Proceedings of the thirteenth UK Workshop on Case-Based Reasoning. UK Workshop on Case-Based …

  9. Thomas Roth-Berghofer; Stefan Schulz; Daniel Bahls; David B. Leake (Hrsg.)

    Proceedings of the ECAI-08 Workshop on Explanation-aware Computing ExaCt2008

    International Workshop on Explanation-aware Computing (ExaCt-2008), located at ECAI 2008, July 21-25, Patras, Greece, University of Patras, 7/2008.

  10. Thomas Roth-Berghofer; Florian Mittag

    ReduxExp: A Justification-based Explanation-Support Server.

    In: Miltos Petridis; Frans Coenen; Max Bramer (Hrsg.). Research and Development in Intelligent Systems XXV. SGAI International Conference on …