Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 14713.

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

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  3. Julia Mayer; Martin Memmel

    Wenn die KI mitentscheidet - ein praxisnahes Bewertungskonzept für datenbasierte Smart City Technologien als Grundlage für besseres Verständnis und transparente Kommunikation

    In: Maximilian Wanderwitz (Hrsg.). Risikoanalyse Künstliche Intelligenz. Pages 229-257, ISBN 978-3-662-72660-0, Springer, Berlin, Heidelberg, Germany, 1/2026.

  4. Mohammad Minouei

    Structural Information Extraction from Document Images: Addressing Challenges in Layout Analysis, Table Detection, and Classification

    PhD-Thesis, RPTU, 2026.

  5. Jonas Bley; Eva Rexigel; Alda Arias; Lars Krupp; Nikolas Longen; Paul Lukowicz; Stefan Küchemann; Jochen Kuhn; Maximilian Kiefer-Emmanouilidis; Artur Widera

    Visualization enhances problem solving in multiqubit systems

    In: Physical Review Physics Education Research (PRPER), Vol. 22, No. 1, Pages 0-0, APS, 2026.

  6. Lars Krupp; Daniel Geißler; Vishal Banwari; Paul Lukowicz; Jakob Karolus

    Promoting Sustainable Web Agents: Benchmarking and Estimating Energy Consumption through Empirical and Theoretical Analysis

    In: Proceedings of the AAAI Conference on Artificial Intelligence, 40. AAAI Conference on Artificial Intelligence (AAAI-2026), Singapur, Singapore, AAAI, 2026.

  7. Christian Schuler; Raman Ahmad; Ānrán Wáng; Daniil Gurgurov; Timo Baumann; Simon Ostermann; Josef van Genabith

    Dialectal Filtering: Synthesizing Kurdish Corpora for Low-Resource Varieties by Utilizing “Noise” in Large Textual Data

    In: TBA. International Conference on Language Resources and Evaluation (LREC-2026), May 11-16, Palma de Mallorca, Spain, TBA, 2026.

  8. Shakib Yazdani; Yasser Hamidullah; Cristina España-Bonet; Eleftherios Avramidis; Josef van Genabith

    A Critical Study of Automatic Evaluation in Sign Language Translation

    In: Language Resources and Evaluation, Pages 0-0, European Language Resources Association, 5/2026.

  9. Yasser Hamidullah; Koel Dutta Chowdhury; Yusser Al Ghussin; Shakib Yazdani; Cennet Oguz; Josef van Genabith; Cristina España-Bonet

    Grounding or Guessing? Visual Signals for Detecting Hallucinations in Sign Language Translation

    In: The Fourteenth International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2026), April 23-27, Brazil, ICLR, 4/2026.

  10. Dimitrios Rakovitis; Vamsi Krishna Origanti; Vinzenz Bargsten; Adrian Danzglock; Dennis Mronga; Frank Kirchner

    Fast reprogramming and adaptive reproduction of contact-rich assembly

    In: Frontiers in Robotics and AI, Vol. Volume 13 - 2026, Frontiers, 2026.

Jahr

Mehr Optionen