Skip to main content Skip to main navigation

Publications

Displaying results 1801 to 1810 of 14712.

  1. Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Sliding Window Abstraction for Infinite Markov Chains

    In: Ahmed Bouajjani; Oded Maler. International Conference on Computer Aided Verification. Pages 337-352, ISBN 9783642026584, Springer Berlin Heidelberg, Heidelberg, 6/2009.

  2. Uchechukwu Solomon Onyeabor; Okechukwu Onwuasoigwe; Wilfred Okwudili Okenwa; Thorsten Schaaf; Niels Pinkwart; Felix Balzer

    Exploring user experiences of clinicians engaged with the digital healthcare interventions across the referral and university teaching hospitals in Nigeria: a qualitative study

    In: Frontiers in Digital Health, Vol. 7, PubMed, 5/2025.

  3. Samuel Hill; Joy Belgassem; Felix Nadolni

    Mapping and Calibrating User Trust with LLMs: First Steps Towards Developing a Framework for Shaping Trust

    In: Asbjørn Følstad; Sebastian Hobert; Symeon Papadopoulos; Effie L.-C. Law; Theo Araujo; Petter Bae Brandtzæg (Hrsg.). Proceedings of the 9th International Symposium on Chatbots and Human-Centred AI. International Symposium on Chatbots and Human-Centred AI (CONVERSATIONS-2025), November 12-13, Lübeck, Germany, Lecture Notes in Computer Science (LNCS), Springer, 11/2025.

  4. Anindita Ghosh; Vladislav Golyanik; Taku Komura; Philipp Slusallek; Christian Theobalt; Rishabh Dabral

    SceMoS: Scene-Aware 3D Human Motion Synthesis by Planning with Geometry-Grounded Tokens

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

  5. Aheli Saha; René Schuster; Didier Stricker

    Sensor Generalization for Adaptive Sensing in Event-based Object Detection via Joint Distribution Training

    In: Proceedings of the 15th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2026), 15th International Conference on Pattern Recognition Applications and Methods, March 2-4, Marbella, Spain, Pages 113-124, ISBN 978-989-758-797-9, Scitepress, 2026.

  6. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits

    In: 27th International Symposium on Quality Electronic Design. International Symposium on Quality Electronic Design (ISQED-2026), April 8-10, San Francisco, USA, 2026.

  7. Aditya Ranjan Dash; Ramy Battrawy; René Schuster; Didier Stricker

    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.

  9. Mhd Rashed Al Koutayni; Mohamed Selim; Gerd Reis; Alain Pagani; Didier Stricker

    TinyIceNet: Low-Power SAR Sea Ice Segmentation for On-Board FPGA Inference

    In: Proceedings of the 2026 Computer Vision Conference (CVC). Computer Vision Conference (CVC-2026), May 21-22, Amsterdam, Netherlands, Springer, 2026.

  10. Rajai Alhimdiat; Ramy Battrawy; René Schuster; Didier Stricker; Wesam Ashour

    SF3D-RGB: Scene Flow Estimation from Monocular Camera and Sparse LiDAR

    In: Proceedings of the 2026 Computer Vision Conference (CVC). Computer Vision Conference (CVC-2026), May 21-22, Amsterdam, Netherlands, Springer, 5/2026.

Year

More options