Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 201 bis 210 von 15157.

  1. Novruz Mammadli; Rida Saghir; Kanwar Ammar Ali; Prathmesh Prakash Doddanawar; Thiago Gouvea; Daniel Sonntag

    Making Weak Supervision Interactive: Exploring Transfer from Sound Libraries to Passive Acoustic Monitoring Data

    In: Proceedings of the 35th International Joint Conference on Artificial Intelligence (IJCAI 2026) Demonstrations Track. International Joint Conference on Artificial Intelligence (IJCAI-2026), located at IJCAI-ECAI 2026, August 15-21, Bremen, Germany, IJCAI Organization, 2026.

  2. Alexander Fabisch; Melvin Laux; Mariela De Lucas Alvarez; Edoardo Caroselli; Julian Theis

    Deep Reinforcement Learning for Spacecraft Attitude Control During Atmospheric Re-Entry

    In: Reinforcement Learning Journal (RLJ), Vol. 7, Pages 1-36, 8/2026.

  3. Wolfgang Maaß; Hyoil Han; Hasan Yasar

    Bridging conceptual modeling and machine learning

    In: Data & Knowledge Engineering (DKE), Vol. 0, Pages 0-0, Elsevier, 8/2026.

  4. Wolfgang Maaß; Iris Reinhartz-Berger

    AI-Intent: A Conceptual Modeling Framework for Accountable Multi-Agent AI Systems

    In: ER 2026. International Conference on Conceptual Modeling (ER-2026), 45th International Conference on Conceptual Modeling, located at ER 2026, October 5-8, St. John's, NL, Canada, Springer, 10/2026.

  5. Muhammad Saif Ullah Khan; Chen-Yu Wang; Tim Prokosch; Michael Lorenz; Bertram Taetz; Didier Stricker

    Amortized Inverse Kinematics via Graph Attention for Real-Time Human Avatar Animation [version 1; peer review: awaiting peer review]

    In: Open Research Europe, Vol. 6, No. 314, Pages 1-21, Open Research Europe, 8/2026.

  6. Milan Funck; Christoph Lüth; Rolf Drechsler

    FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  7. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 9-11, Rom, Italy, 2026.

  8. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of Structurally Simple Multipliers

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  9. Till Schnittka; Majd Assaad; Abhoy Kole; Rolf Drechsler

    Low T-Depth Clifford+T Decomposition of Large Toffoli Gates using Dynamic Phase Correction

    In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE-2026), September 13-18, Toronto, Canada, IEEE, 2026.

  10. Sutirtha Bhattacharyya; Chandan Jha; Rolf Drechsler

    Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking

    In: 8th ACM/IEEE International Symposium on Machine Learning for CAD. ACM/IEEE Workshop on Machine Learning for CAD (MLCAD-2026), September 7-9, Seogwipo, Korea, Democratic People's Republic of, 2026.

Jahr

Mehr Optionen