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. Gutachten zur Spezifikation des Odometriealgorithmus

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

  2. 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.

  3. 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.

  4. J. Kurlbaum; Udo Frese

    A Benchmark Dataset for Data Association

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

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

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

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

  8. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

    The Importance of Being Formal

    In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International …

  9. Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz

    Formal Management of CAD/CAM Processes

    In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, …

  10. Sergey Goncharov; Lutz Schröder; Till Mossakowski

    Kleene Monads: Handling Iteration in a Framework of Generic Effects

    In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …