Skip to main content Skip to main navigation

Publications

Displaying results 2011 to 2020 of 15048.

  1. Chandan Jha; Muhammad Hassan; Rolf Drechsler

    cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  2. Pascal Pieper; Rolf Drechsler

    Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

    Springer, 2024.

  3. Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr

    Software doping analysis for human oversight

    In: Formal Methods in System Design, Vol. 62, Pages 1-50, Springer, 4/2024.

  4. Jean-Francois Nies; Syed Tahseen Raza Rizvi; Mohsin Munir; Ludger van Elst; Andreas Dengel

    Knowledge-aware Object Detection in Traffic Scenes

    In: INSTICC (Hrsg.). Proceedings of the 16th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome (ONLINE), Italy, ISBN 978-989-758-680-4, SciTePress, 2/2024.

  5. Hannes Kath; Thiago Gouvea; Daniel Sonntag

    Active Learning in Multi-label Classification of Bioacoustic Data

    In: Dietmar Seipel; Alexander Steen (Hrsg.). KI 2024: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2024), 47th German Conference on AI, Würzburg, Germany, September 25–27, 2023, Proceedings, located at 47th German Conference on AI, September 25-27, Würzburg, Germany, Germany, LNAI, Springer, Heidelberg, 9/2024.

  6. Hannes Kath; Patricia P. Serafin; Ivan B. Campos; Thiago Gouvea; Daniel Sonntag

    Demo: Enhancing Wildlife Acoustic Data Annotation Efficiency through Transfer and Active Learning

    In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2024), located at IJCAI, August 03-09, Jeju. International Joint Conference on Artificial Intelligence (IJCAI-2024), August 3-9, Jeju, Korea, Republic of, International Joint Conferences on Artificial Intelligence, 8/2024.

  7. Benedikt Droste; David Fitzek; Ruben Härle; Lukas Henrik Helff; Maximilian Idahl; Alex Jude; Abbas Goher Khan; Maurice Kraus; Timm Ruland; Richard Rutmann; Sebastian Sztwiertnia; Markus Frey; Daniil Gurgurov; Jan Pfister; Tom Röhr; Sebastian von Rohrscheidt; Jörg Bienert; Nicolas Flores-Herr; Simon Gottschalk; Andreas Hotho; Kristian Kersting; Joachim Köhler; Alexander Löser; Wolfgang Nejdl; Simon Ostermann; Jan Plogsties; Björn Plüster; Patrick Putzky; Mehdi Vali; Michael Fromm; Max Lübbering

    A Sovereign, Open-Source Foundation Model for German and English

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2607.09424, Pages 1-61, arXiv, 2026.

  8. Sophia Koehler; Antonia Wüst; Inga Ibs; Wasu Top Piriyakulkij; Wolfgang Stammer; Constantin A. Rothkopf; Kevin Ellis; Kristian Kersting

    Playing ZendoWorld: Challenging AI Agents on Active Visual Concept Induction

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2607.08233, Pages 1-31, arXiv, 2026.

  9. David Steinmann; Antonia Wüst; Kristian Kersting; Wolfgang Stammer

    COCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-Negatives

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2606.28194, Pages 1-61, arXiv, 2026.

  10. Jonathan Rainer Lippert; Kai Ploeger; Abir Chowdhury; Hermann Müller; Jan Peters; Alap Kshirsagar

    Catch, Throw, Repeat: Planning for Human-Robot Partner Juggling

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2607.15129, Pages 1-7, arXiv, 2026.

Year

More options