Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 121 bis 130 von 8850.
  1. Pragati Jaiswal; Tewodros Amberbir Habtegebrial; Didier Stricker

    1D-DiffNPHR: 1D Diffusion Neural Parametric Head Reconstruction using a single image

    In: Proceedings of the 14th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2025), February 23-25, Porto, Portugal, SCITEPRESS (Science and Technology Publications, Lda), 2025.

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

  3. 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), December 17-19, Oxford, United Kingdom, Pages 47-60, ISBN 978-3-031-77915-2, Springer Nature Switzerland, 2025.

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

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

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

  7. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

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

  9. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: Proceedings of the 7th International Workshop on Secure Hardware, Architecture, and Software (SeHAS'2025). International Workshop on Secure Hardware, Architecture, and Software (SeHAS-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.

  10. Large-Scale Evolutionary Optimization of Artificial Neural Networks Using Adaptive Mutations

    In: Proceedings of the 7th Workshop on Accelerated Machine Learning (AccML). Workshop on Accelerated Machine Learning (AccML-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.