Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 13438.

  1. Shishir Muralidhara; René Schuster; Didier Stricker

    Domain-Incremental Semantic Segmentation for Autonomous Driving under Adverse Driving Conditions

    In: Proceedings of the International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2025), February 23-25, Porto, Portugal, Scitepress, 2025.

  2. Christoph Tholen; Eike Rodenbäck; Lars Nolle; Robert Rettig; Frederic Stahl

    On the Development of a Pixel-Wise Plastic Waste Identification System for Multispectral Remote Sensing Applications

    In: Max Bramer; Frederic Stahl (Hrsg.). Artificial Intelligence XLI. SGAI International Conference on Artificial Intelligence (AI-2024), Cham, Pages 47-60, ISBN 978-3-031-77915-2, Springer Nature Switzerland, 2025.

  3. Malte Wirkus; Jonathan Babel; Christian Backe

    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. Martina Hutter-Mironovova; Benjamin Blumhofer; Christopher Schneider; Achim Wagner

    Behavior Tree as a Decision Planning Algorithm for Industrial Robot

    In: Leonard Barolli (Hrsg.). Advances on P2P, Parallel, Grid, Cloud and Internet Computing. Advances on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2024), Cham, Pages 385-394, ISBN 978-3-031-76462-2, Springer Nature Switzerland, 2025.

  6. Malte Luttermann; Ralf Möller; Marcel Gehrke

    Lifting Factor Graphs with Some Unknown Factors for New Individuals

    In: Zied Bouraoui; Srdjan Vesic (Hrsg.). International Journal of Approximate Reasoning (IJAR), Vol. 179, Page 109371, Elsevier, 4/2025.

  7. Alexander Mock; Martin Magnusson; Joachim Hertzberg

    RadaRays: Real-time Simulation of Rotating FMCW Radar for Mobile Robotics via Hardware-accelerated Ray Tracing

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2470-2477, IEEE Press, 3/2025.

  8. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  9. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2025.

  10. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

Jahr

Mehr Optionen