Skip to main content Skip to main navigation

Publications

Displaying results 1581 to 1590 of 15056.

  1. Leonid Schwenke; Martin Atzmueller

    A Global Dataset-Specific Any-Order Minimal Expectation Baseline for Saliency Scores

    In: Proc. IEEE International Conference on Data Science and Advanced Analytics, DSAA 2025. International Conference on Data Science and Advanced Analytics (DSAA), Pages 1-10, IEEE, 2025.

  2. Daniel Neykov; Timo Markert; Niklas Hellinger; Andreas Theissler; Martin Atzmueller; Sebastian Matich

    Differential Six-Axis Force and Torque Measurement in a Prototype Robotic Surgical Instrument

    In: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Pages 11263-11270, IEEE, 10/2025.

  3. Leonid Schwenke; Till Stückemann; Martin Atzmueller

    Evaluating Higher-Level and Symbolic Features in Deep Learning on Time Series: Towards Simpler Explainability

    In: Proc. International Work-Conference on Artificial Neural Networks. International Work-Conference on Artificial Neural Networks (IWANN), Springer, 2025.

  4. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Machines for Observing Continuous-Time Markov Chains

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 153, No. 2, Pages 259-277, Elsevier, Amsterdam, 5/2006.

  5. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Semantics for Stochastic Systems with Nondeterminism

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, Pages 187-204, Elsevier, Amsterdam, 10/2006.

  6. Verena Wolf

    Modelling of Biochemical Reactions by Stochastic Automata Networks

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 171, No. 2, Pages 197-208, Elsevier, Amsterdam, 7/2007.

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

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

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

  10. Shreedhar Govil; Didier Stricker; Jason Raphael Rambach

    DriverGaze360: OmniDirectional Driver Attention with Object-Level Guidance

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). International Conference on Computer Vision and Pattern Recognition (CVPR), June 3-7, Denver, Colorado, United States Minor Outlying Islands, IEEE, 2026.

Year

More options