Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 13837.

  1. Rune Krauss; Jan Zielasko; Rolf Drechsler

    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.

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

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

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

  5. Desiree Heim; Christian Jilek; Adrian Ulges; Andreas Dengel

    Towards Synthesizing E-Mail Conversations as Part of Knowledge Work Datasets with Large Language Models

    In: Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 24th International Conference on Knowledge Engineering and Knowledge Management (EKAW-PDWT 2024). International Conference on Knowledge Engineering and Knowledge Management (EKAW-2024), 24th International Conference on Knowledge Engineering and Knowledge Management, November 26-28, Amsterdam, Netherlands, Vol. 3967, CEUR-WS.org, 5/2025.

  6. Siddhant Shete; Raúl Domínguez; Ravisankar Selvaraju; Mariela De Lucas Alvarez; Frank Kirchner

    Prediction-Based Tip Over Prevention for Planetary Exploration Rovers

    In: Spiros Pantelakis; Andreas Strohmayer; Nikolaos Michailidis (Hrsg.). 14th EASN International Conference. EASN International Conference on Innovation in Aviation and Space for opening New Horizons, Innovation in Aviation & Space towards sustainability today & tomorrow, October 8-11, Thessaloniki, Greece, Engineering Proceedings Journal (Eng. Proc. 2025), Vol. 90(1), No. 44, MDPI, Thessaloniki, Greece, 3/2025.

  7. Qianli Wang; Nils Feldhus; Simon Ostermann; Luis Felipe Villa Arenas; Sebastian Möller; Vera Schmitt

    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.

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

  9. Summra Saleem; Muhammad Nabeel Asim; Ludger van Elst; Andreas Dengel

    Generative language models potential for requirement engineering applications: insights into current strengths and limitations

    In: Complex & Intelligent Systems, Vol. 11, No. 6, Pages 1-22, Springer, 2025.

  10. Guillaume Perution-Khili; Ahmad Kadi; Nikolas Müller; David Carral; Pierre Bisquert; Akira Charoensit; Federico Ulliana; Ansgar Bernardi; Marie-Laure Mugnier

    Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization

    In: The 9th International Joint Conference on Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2025), September 22-24, Istanbul, Turkey, Springer, 2025.

Jahr

Mehr Optionen