Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 101 bis 110 von 13703.

  1. Robert Leist; Hans-Jürgen Profitlich; Tim Hunsicker; Daniel Sonntag

    Towards Trustable Clinical Decision Support Systems: A User Study with Ophthalmologists

    In: IUI '25: Proceedings of the 30th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-2025), March 24-27, Cagliari, Italy, ISBN 979-8-4007-1306-4, Association for Computing Machinery, New York, NY, United States, 3/2025.

  2. Ko Watanabe; Nico Förster; Shoya Ishimaru (Hrsg.)

    SensPS: Sensing Personal Space Comfortable Distance between Human-Human Using Multimodal Sensors

    Human Computer Interaction International Conferences (HCII-2025), Human Computer Interaction International Conferences 2025, located at HCII-2025, June 22-27, Gothia Towers Hotel and Swedish Exhibition & Congress Centre, Gothenburg, Sweden, Springer, 6/2025.

  3. Sahana Yadnakudige Subramanya; Ko Watanabe; Andreas Dengel; Shoya Ishimaru (Hrsg.)

    Human-in-the-Loop Annotation for Image-Based Engagement Estimation: Assessing the Impact of Model Reliability on Annotation Accuracy

    Human Computer Interaction International Conferences (HCII-2025), HCI INTERNATIONAL 2025, located at HCII-2025, June 22-27, Gothenburg, Sweden, Springer, 6/2025.

  4. Haruki Suzawa; Ko Watanabe; Andreas Dengel; Shoya Ishimaru (Hrsg.)

    Augmenting Online Meetings with Context-Aware Real-time Music Generation

    Augmented Humans International Conference (AHs-2025), Augmented Humans 2025, located at AHs-2025, March 16-20, Abu Dhabi, United Arab Emirates, Association for Computing Machinery, 3/2025.

  5. Ryugo Morita; Ko Watanabe; Jinjia Zhou; Andreas Dengel; Shoya Ishimaru (Hrsg.)

    GenAIReading: Augmenting Human Cognition with Interactive Digital Textbooks Using Large Language Models and Image Generation Models

    Augmented Humans International Conference (AHs-2025), Augmented Humans 2025, located at AHs-2025, March 16-20, Abu Dhabi, United Arab Emirates, Association for Computing Machinery, 2025.

  6. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of a RISC-V Processor

    In: IEEE Transactions on Nanotechnology, IEEE, 2025.

  7. Malte Luttermann; Ralf Möller; Marcel Gehrke

    Lifting Factor Graphs with Some Unknown Factors for New Individuals

    In: Zied Bouraoui; Srdjan Vesic (Hrsg.). International Journal of Approximate Reasoning (IJAR), Vol. 179, No. 04/2025 (article 109371), Pages 1-28, Elsevier, 4/2025.

  8. Alexander Mock; Martin Magnusson; Joachim Hertzberg

    RadaRays: Real-time Simulation of Rotating FMCW Radar for Mobile Robotics via Hardware-accelerated Ray Tracing

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2470-2477, IEEE Press, 3/2025.

  9. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  10. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2025.

Jahr

Mehr Optionen