Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 121 bis 130 von 15111.

  1. Martha Schnieber; Rolf Drechsler

    Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits

    In: Microprocessors and Microsystems (MICPRO), Vol. 124, Science Direct, 2026.

  2. Khushboo Qayyum; Qurrat Ul Ain; Muhammad Hassan; Asjad Afnan Asjad Afnan; Rolf Drechsler

    Towards Reliable LLM-Assisted Verification Artifact Generation in EDA

    In: IEEE International Conference on Omni-Layer Intelligent Systems (COINS). IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS), September 7-9, Bologna, Italy, IEEE, 2026.

  3. Brian Moser; Shalini Sarode; Federico Raue; Stanislav Frolov; Krzysztof Adamkiewicz; Arundhati Shanbhag; Joachim Folz; Tobias Christian Nauen; Andreas Dengel

    PRISM: Diversifying Dataset Distillation by Decoupling Architectural Priors

    In: Transactions on Machine Learning Research (TMLR), Pages 1-17, Journal of Machine Learning Research, 1/2026.

  4. Chantale Lauer; Peter Pfeiffer; Nijat Mehdiyev

    Human-Centered Evaluation of an LLM-Based Process Modeling Copilot: A Mixed-Methods Study with Domain Experts

    CHI 2026 Workshop on Human-centered Evaluation and Auditing of Language Models, 3/2026.

  5. Daniel Sonntag; Martin Atzmueller; Frederic Theodor Stahl; Thiago Gouvea; Martin Günther; Christoph Manss; Lisa Dawel; Siting Liang; Felix Igelbrink

    Amenable — Accessible AI in Sensor-Based Systems for Environment Monitoring

    German Research Center for AI, DFKI Technical Report, 2026.

  6. Siting Liang; Omar Adjali; Omair Shahzad Bhatti; Daniel Sonntag

    A Scalable Cross-Domain Event Extraction System via a Unified Generative Training Framework

    In: IJCAI. International Joint Conference on Artificial Intelligence (IJCAI-2026), The 35th International Joint Conference on Artificial Intelligence, located at IJCAI-2026, August 15-21, Bremen, Germany, IJCAI, 2026.

  7. Siting Liang; Luca Rippe; Omar Adjali; Daniel Sonntag

    Evaluating Explanation-Driven Vision–Language Reasoning via Generation Order Interventions

    In: IJCAI-ECAI 2026 - Workshop on Explainable Artificial Intelligence (XAI) - Proceedings. IJCAI Workshop on Explainable Artificial Intelligence (XAI-2026), located at IJCAI-ECAI 2026, August 15-16, Bremen, Germany, Pages 203-209, IJCAI, 2026.

  8. Robert Leist; Thiago Gouvea; Daniel Sonntag (Hrsg.)

    Computer Vision for Ecology

    European Conference on Computer Vision (ECCV-2026), Computer Vision for Ecology at the 19th European Conference on Computer Vision, located at ECCV-2026, September 8-12, Malmö, Sweden, Springer, 2026.

  9. Sabine Janzen; Prajvi Saxena; Muhammad Ebad Ullah Khan; Wolfgang Maaß

    Privacy-Preserving Edge AI for Rehabilitation Support: Lessons from a Field Study

    In: Proceedings of "Digital Health Perspectives - Bridging Healthcare, Technology and Society" at Informatik 2026. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2026), Dresden, 9/2026.

  10. André Meyer-Vitali; Rosa Esther Martin Pena; Jan de Meer; Timo Felser; Martin Haimerl; Matthias Heck; Wolfgang Hildesheim; Taras Holoyad; Mihai Maftei; Iris Merget; Otto Obert; Samantha Morgaine Prange; Kai Wanstrath

    DIN SPEC 91528:2026-08 Application-Oriented Transparency Requirements for AI Systems

    DIN Media GmbH, 8/2026.

Jahr

Mehr Optionen