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 111 to 120 of 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 …