Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 111 bis 120 von 13866.

  1. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Gillian Lovel; Daniel A Porto; Biana Migliori; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    Box it and Track it: A Weakly Supervised Framework for Cell Tracking

    In: DAGM German Conference on Pattern Recognition, Freiburg. Annual Symposium of the German Association for Pattern Recognition (DAGM-2025), September 24-26, Freiburg, Germany, Springer Nature, 2025.

  2. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

  3. Rolf Feichtenbeiner; Lorenz Matthias Reichert; Susan Beudt

    Leveraging AI for Persons with Disabilities: Investigating Their Needs and Gaps in AI-Supported Assistance

    In: Alexandra I. Cristea; Erin Walker; Yu Lu; Olga C. Santos; Seiji Isotani (Hrsg.). Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and WideAIED. International Conference on Artificial Intelligence in Education (AIED-2025), located at AIED-2025, July 22-26, Palermo, Italy, Pages 110-117, ISBN 978-3-031-99264-3, Springer Nature Switzerland, Cham, 2025.

  4. Francisco José Martínez-Peral; Jose Antonio Ferez-Rubio; Dennis Mronga; José de Gea Fernández; José Vicente Segura-Heras; Carlos Perez Vidal

    Collision-Free Robotic Manipulation: A Review and Bibliometric Analysis

    In: International Journal of Systems Science, Pages 1-24, Taylor & Francis, 2025.

  5. Mahdi Chamseddine; Jason Raphael Rambach; Didier Stricker

    CaRaCTO-3D: From Camera-Radar Calibration to Scene Reconstruction

    In: SN Computer Science (SNCS), Springer, 2025.

  6. Alexander Michael Rombach; Peter Fettke

    Deep Learning Based Key Information Extraction from Business Documents: Systematic Literature Review

    In: ACM Computing Surveys (CSUR), Vol. 58, No. 2, Pages 1-37, Association for Computing Machinery, New York, NY, USA, 2025.

  7. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, Canada, IJCAI Organization, 2025.

  8. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  9. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  10. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

Jahr

Mehr Optionen