Skip to main content Skip to main navigation

Publications

Displaying results 1071 to 1080 of 13862.
  1. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  2. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

  3. AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering. Model-Based Software and Systems Engineering (MBSE-2024), February 21-23, Rome, Italy, Pages 357-364, Vol. 1: MBSE-AI Integration, ISBN 978-989-758-682-8, SciTePress Digital Library, 2/2024.

  4. Sabisan Santhakumaran; Tobias Rossol; Elsa Andrea Kirchner

    Towards muscle sensing by a non-contact optical systemusing photogrammetry

    In: Biomedical Engineering / Biomedizinische Technik, Vol. 68, No. s1 - Abstracts of the 57th Annual Meeting of the German Society of Biomedical Engineering 26 - 28 September 2023, Duisburg, including: The Artificial Vision Symposium - The International Symposium on Visual Prosthetics, De Gruyter, 9/2023.

  5. Hans-Georg Fill; Jordi Cabot; Wolfgang Maaß; Marten Van Sinderen

    AI-Driven Software Engineering – The Role of Conceptual Modeling

    In: Enterprise Modelling and Information Systems Architectures (EMISAJ) (Hrsg.). Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling (EMISAJ), Vol. 19, Pages 1-11, Gesellschaft für Informatik e.V. 2024.

  6. Markus Freitag; Nitika Mathur; Chi-kiu Lo; Eleftherios Avramidis; Ricardo Rei; Brian Thompson; Tom Kocmi; Frederic Blain; Daniel Deutsch; Craig Stewart; Chrysoula Zerva; Sheila Castilho; Alon Lavie; George Foster

    Results of WMT23 Metrics Shared Task: Metrics Might Be Guilty but References Are Not Innocent

    In: Philipp Koehn; Barry Haddow; Tom Kocmi; Christof Monz (Hrsg.). Proceedings of the Eighth Conference on Machine Translation. Conference on Machine Translation (WMT-2023), located at EMNL2023, December 6-7, Singapore, Singapore, Pages 578-628, Association for Computational Linguistics, 12/2023.

  7. Challenging the State-of-the-art Machine Translation Metrics from a Linguistic Perspective

    In: Philipp Koehn; Barry Haddow; Tom Kocmi; Christof Monz (Hrsg.). Proceedings of the Eighth Conference on Machine Translation. Conference on Machine Translation (WMT-23), located at EMNL2023, December 6-7, Singapore, Pages 713-729, Association for Computational Linguistics, 2023.

  8. Nils Dycke; Matej Zecevic; Ilia Kuznetsov; Beatrix Suess; Kristian Kersting; Iryna Gurevych

    Diagnostic Reasoning in Natural Language: Computational Model and Application

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2409.05367, Pages 1-27, arXiv, 2024.

  9. Subhabrata Dutta; Timo Kaufmann; Goran Glavas; Ivan Habernal; Kristian Kersting; Frauke Kreuter; Mira Mezini; Iryna Gurevych; Eyke Hüllermeier; Hinrich Schütze

    Problem Solving Through Human-AI Preference-Based Cooperation

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2408.07461, Pages 1-34, arXiv, 2024.

  10. Harsh Poonia; Moritz Willig; Zhongjie Yu; Matej Zecevic; Kristian Kersting; Devendra Singh Dhami

    (chi)SPN: Characteristic Interventional Sum-Product Networks for Causal Inference in Hybrid Domains

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2408.07545, Pages 1-17, arXiv, 2024.