Skip to main content Skip to main navigation

Publications

Displaying results 1301 to 1310 of 14466.
  1. Addressing the Schema Representation Problem in Process Models Using Petri Nets - First Results Illustrated by the Dining Philosophers Problem

    In: Wirtschaftsinformatik 2024 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2024), September 16-19, Würzburg, Germany, AIS Electronic Library (AISeL), 9/2024.

  2. Akshaya Dharmaraj

    Open Journal Citation Ranking

    Mastersthesis, Rheinland-Pfälzische Technische Universität Kaiserslautern–Landau, 5/2023.

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

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

  5. HD-VoxelFlex: Flexible High-Definition Voxel Grid Representation

    In: VISIGRAPP (4): VISAPP. International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP-2024), SCITEPRESS, 2024.

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

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

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