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 101 bis 110 von 533
  1. Dominik Dietrich; Ewaryst Schulz

    Crystal: Integrating Structured Queries into a Tactic Language

    In: Journal of Automated Reasoning (JAR), Vol. 43, No. 3, Pages 1-32, Springer, 2009.

  2. Oliver Birbach; Udo Frese

    A Multiple Hypothesis Approach for a Ball Tracking System

    In: Proceedings of the 7th International Conference on Computer Vision Systems. International Conference on Computer Vision Systems (ICVS-2009), …

  3. Udo Frese; Holger Täubig

    Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage

    Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Research Report, Vol. RR0901, 2009.

  4. Gutachten zur Spezifikation des Odometriealgorithmus

    Industrieauftrag der Fa. Deuta Werke, Bergisch-Gladbach, 2009.

  5. S. Haddadin; Tim Laue; Udo Frese; S. Wolf; A. Albu-Schäffer; G. Hirzinger

    Kick it with Elasticity: Safety and Performance in Human-Robot Soccer

    In: Robotics and Autonomous Systems (RAS), Vol. 57, No. 8, Pages 761-775, Elsevier, 2009.

  6. Shoudong Huang; Zhan Wang; Gamini Dissanayake; Udo Frese

    Iterated D-SLAM Map Joining -- Evaluating its performance in terms of consistency, accuracy and efficiency

    In: Autonomous Robots, Vol. 27, No. 4, Pages 409-429, Springer Netherlands, 2009.

  7. J. Kurlbaum; Udo Frese

    A Benchmark Dataset for Data Association

    SFB/TR 8, SFB/TR 8 Technical Report, Vol. 017-02/2009, 2009.

  8. Christian Mandel; Thorsten Lüth; Tim Laue; Thomas Röfer; Axel Gräser; Bernd Krieg-Brückner

    Navigating a Smart Wheelchair with a Brain-Computer Interface Interpreting Steady-State Visual Evoked Potentials

    In: Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent …

  9. Tim Laue; Thomas Röfer

    Pose Extraction from Sample Sets in Robot Self-Localization - A Comparison and a Novel Approach

    In: I. Petrovic; A. J. Lilienthal (Hrsg.). 4th European Conference on Mobile Robots. European Conference on Mobile Robots (ECMR-2009), September …

  10. Christoph Lüth; Dennis Walter

    Certifiable specification and verification of C programs

    In: FM 2009: Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands, Pages 419-434, Lecture Notes …