Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 13746.
  1. CABSL 2 – Specification Language for Complex Behaviors

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Prof. Dr. Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.

  2. Philip Reichenberg; Thomas Röfer

    Dueling Behavior Leveraging Advanced Motion Control for the NAO Robot

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.

  3. Advantages of Active and Passive Suspension Systems in Obstacle Negotiation for Planetary Rovers

    In: Karsten Berns; Mohammad Osman Tokhi; Arne Roennau; Manuel F. Silva; Rüdiger Dillmann (Hrsg.). Walking Robots into Real World. International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines (CLAWAR-2024), September 4-6, Kaiserslautern, Germany, Pages 169-180, Lecture Notes in Networks and Systems, Vol. 1115, No. 2, ISBN 978-3-031-71300-2 978-3-031-71301-9, Springer Nature Switzerland, Cham, 1/2025.

  4. Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Felix Ingrand; Uwe Köckemann; Fabio Patrizi; Alessandro Saetti; Ivan Serina; Sebastian Stock

    Unified Planning: Modeling, manipulating and solving AI planning problems in Python

    In: SoftwareX, Vol. 29, Elsevier, 2/2025.

  5. Improving Medical Image Classification via Representation Fusion and Contrastive Learning

    In: International Conference on Digital Image Computing: Techniques and Applications (DICTA 2024). International Conference on Digital Image Computing Techniques and Applications (DICTA-2024), November 27-29, Pert, Australia, IEEE Xplore, 2025.

  6. oTTC: Object Time-to-Contact for Motion Estimation in Autonomous Driving

    In: IEEE (Hrsg.). Digital Image Computing: Techniques and Applications. International Conference on Digital Image Computing Techniques and Applications (DICTA-2024), 25th, November 27-29, Perth, WA, Australia, IEEE, 2025.

  7. DTA: Detect Them All for Safe and Reliable Autonomous Driving

    In: IEEE (Hrsg.). Digital Image Computing: Techniques and Applications. International Conference on Digital Image Computing Techniques and Applications (DICTA), 25th, November 27-29, Perth, WA, Australia, IEEE, 2025.

  8. Improving Disease Detection from Social Media Text via Self-Augmentation and Contrastive Learning

    In: 31st International Conference on Neural Information Processing. International Conference on Neural Information Processing (ICONIP-2024), December 2-6, Auckland, New Zealand, Springer Nature, 2025.

  9. FARAD: Automated Formal Verification of Approximate Restoring Array Dividers

    In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bangalore, India, 2025.

  10. Sajjad Parvin; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    True-PolyTronik: Securing Circuits Against Laser Logic State Imaging Attack Using RFET

    In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bengaluru, India, 2025.