Skip to main content Skip to main navigation

Publications

Displaying results 81 to 90 of 807.
  1. Jonas Rebstadt; Florian Remark; Philipp Fukas; Pascal Meier; Oliver Thomas

    Towards Personalized Explanations for AI Systems: Designing a Role Model for Explainable AI in Auditing

    In: Wirtschaftsinformatik Proceedings (2022). Internationale Tagung Wirtschaftsinformatik (WI-2022), February 21-23, Erlangen-Nürnberg, Germany, Springer, 2022.

  2. Christian Post; Sabrina Elsholz; Alexandra Reith; Marco Rieckmann; Gero Corzilius; Barbara Grabkowsky; Stefan Christ; Joachim Hertzberg; Sarah Reddig; Annika Greven; Justus von Geibler; Imke Traulsen

    Digitale Simulation von Konzepten und Handlungsoptionen zur Verminderung von Stickstoffemissionen in der Schweinehaltung: Das Serious Game pigNplay

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). Künstliche Intelligenz in der Agrar-und Ernährungswirtschaft?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2022), Künstliche Intelligenz in der Agrar- und Ernährungswirtschaft?, located at 42. GIL-Jahrestagung, February 21-22, Ettenhausen, Switzerland, Vol. P-317, ISBN 978-3-88579-711-1, Köllen Druck & Verlag GmbH, Bonn, 2022.

  3. Weiyan Zhang; Mehran Goli; Rolf Drechsler

    Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic, 2022.

  4. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic, 2022.

  5. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Complex Multipliers

    In: 25. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022), February 17-18, virtual, 2022.

  6. Karlheinz Steinmüller; Aljoscha Burchardt; Kai Gondlach; Heiko von der Gracht; Stefanie Kisgen; Kai Ellermann; Melanie Martini; Marcus John

    Kann Künstliche Intelligenz Zukunftsforschung? – Ein spekulativer Impuls

    In: Zeitschrift für Zukunftsforschung, Vol. 2022, No. 1, Pages 4-26, Zeitschrift für Zukunftsforschung e.V. 2022.

  7. Advancing Proxy-Based Haptic Feedback in Virtual Reality

    PhD-Thesis, Universität des Saarlandes, 2022.

  8. Comparing Unsupervised Algorithms to Construct Argument Graphs

    In: Joint Proceedings of Workshops, Tutorials and Doctoral Consortium. German Conference on Artificial Intelligence (KI-2022), located at 45th German Conference on Artificial Intelligence, Virtual Event, Trier, Germany, CEUR Workshop Proceedings, Vol. 3457, CEUR, 2022.

  9. User-Centric Argument Mining with ArgueMapper and Arguebuf

    In: Computational Models of Argument. International Conference on Computational Models of Argument (COMMA-2022), September 14-16, Cardiff, United Kingdom, Pages 367-368, Frontiers in Artificial Intelligence and Applications, Vol. 353, IOS Press, 2022.

  10. Priyank Jaini; Kristian Kersting; Antonio Vergari; Max Welling

    Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161)

    In: Dagstuhl Reports, Vol. 12, No. 4, Pages 13-25, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022.