Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 241 bis 250 von 15198.
  1. Jiacheng Qiu; Christopher E. Mower; Jan Peters; Haitham Bou-Ammar; Matthieu Zimmer

    Does This Action Still Explain the Task? Reverse Scoring for Diffusion Language Model Agents

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2609.38536, Pages 1-24, arXiv, 2026.

  2. Tan-Dzung Do; Phuong Tuan Dat; Nico Bohlinger; Cuc T. Trinh; Siwei Ju; Vien Anh Ngo; Jan Peters; Xinchao Wang; An T. Le

    CrossBFM: Distilling a Shared Latent Behavior Space Across Humanoid Embodiments

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2609.38087, Pages 1-23, arXiv, 2026.

  3. Nico Bohlinger; Jan Peters

    ChronoSRL: Temporal Geometry for Self-Supervised Reinforcement Learning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2609.36238, Pages 1-27, arXiv, 2026.

  4. Automation of Polynomial Formal Verification using Large Language Models

    In: 44th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2026), April 27-29, Napa, USA, 2026.

  5. LLM-based Generation of High-Level Benchmarks for MVL Designs

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2026), May 19-21, Sendai, Japan, 2026.

  6. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Integrating Optical Probing Security Evaluation Framework Into ASIC Design Flow

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

  7. Caroline Dominik; Rolf Drechsler

    Using Virtual Prototypes for Causal Fault Explanation at System Level

    In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.

  8. Sara-Jane Bittner; Michael Barz; Daniel Sonntag

    FunduScope: a human-centered, machine learning-based interactive tool for training junior ophthalmologists in diabetic retinopathy detection

    In: Frontiers in Big Data, Vol. Volume 9 - 2026, Pages 1-14, Frontiers Media SA, 3/2026.

  9. Heads Up!: Towards In Situ Photogrammetry Annotations and Augmented Reality Visualizations for Guided Backcountry Skiing

    In: AlpCHI Demos: Hands-On Innovation: Interactive Demos. International Conference on Human-Computer Interaction in the Alps (AlpCHI-2026), March 1-5, Ascona, Switzerland, AlpCHI, 3/2026.

  10. Vitor Fortes Rey; Pedro Martelleto Bressane Rezende; Bo Zhou; Sungho Suh; Paul Lukowicz

    COA-HAR: Exploring contrastive online test-time adaptation for wearable sensor-based human activity recognition using sensor data augmentation

    In: Expert Systems with Applications (ESWA), Vol. 297, Page 129288, Elsevier, 2026.