Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 391 bis 400 von 14763.
  1. FitCF: A Framework for Automatic Feature Importance-guided Counterfactual Example Generation

    In: Mohammad Taher Pilehvar; Ekaterina Shutova; Wanxiang Che; Joyce Nabende (Hrsg.). Findings of the Association for Computational Linguistics: ACL 2025. Annual Meeting of the Association for Computational Linguistics (ACL-2025), The 63rd Annual Meeting of the Association for Computational Linguistics, located at ACL 2025 Findings, July 27 - August 1, Vienna, Austria, Association for Computational Linguistics, 2025.

  2. Thorsten Krause; Lorena Göritz; Robin Gratz

    The Effect of Gender De-biased Recommendations — A User Study on Gender-specific Preferences

    In: CHI '25: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2025), Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, April 26 - May 1, Yokohama, Japan, Pages 1-16, No. 1000, ISBN 9798400713941, Association for Computing Machinery, New York, NY, USA, 5/2025.

  3. Conversational Business Process Modeling using LLMs: Initial Results and Challenges

    In: Luise Pufahl; Jana-Rebecca Rehse (Hrsg.). EMISA 2025. International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA-2025), 15th International Workshop on Enterprise Modelling and Information Systems Architectures, located at EMISA 2025, Heilbronn, Germany, Gesellschaft für Informatik e.V. Bonn, 5/2025.

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

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

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

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

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

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