Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 14769.
  1. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Linear Formal Verification of Sequential Circuits using Weighted-AIGs

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2026.

  2. 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.

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

    In: Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2026), Singapur, Singapore, Pages 38772-38780, Vol. 40, No. 45, AAAI, 2026.

  4. 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.

  5. A Critical Study of Automatic Evaluation in Sign Language Translation

    In: Proceedings of the 15th edition of the Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2026), May 11-16, Palma de Mallorca, Spain, Pages 0-0, European Language Resources Association, 5/2026.

  6. 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.

  7. LiREC-Net: A Target-Free and Learning-Based Network for LiDAR, RGB, and Event Calibration

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). International Conference on Computer Vision and Pattern Recognition (CVPR-2026), Computer Vision and Pattern Recognition, located at IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR), June 3-7, Denver, Colorado, USA, Computer Vision Foundation (CVF) and IEEE, 2026.

  8. Martha Schnieber; Rolf Drechsler

    Path Delay Fault Testable KFDD Circuits with Polynomial Test Pattern Generation

    In: 31st IEEE European Test Symposium. IEEE European Test Symposium (ETS-2026), May 25-29, Chania, Greece, IEEE, 2026.