Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3131 bis 3140 von 14648.
  1. Rolf Drechsler; Alireza Mahzoon

    One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification

    In: Proceedings of the 24th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI-2022), October 24-25, Hirosaki, Japan, 2022.

  2. Leveraging Implicit Gaze-Based User Feedback for Interactive Machine Learning

    In: Ralph Bergmann; Lukas Malburg; Stephanie C. Rodermund; Ingo J. Timm (Hrsg.). KI 2022: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI), Cham, Pages 9-16, ISBN 978-3-031-15791-2, Springer International Publishing, 2022.

  3. Intelligent Reflecting Vehicle Surface: A Novel IRS Paradigm for Moving Vehicular Networks

    In: Proceedings of IEEE MILCOM 2022. IEEE Military Communications Conference (MILCOM-2022), November 28 - December 2, Rockville, Maryland, USA, IEEE, 12/2022.

  4. Deep Learning-Aided Delay-Tolerant Zero-Forcing Precoding in Cell-Free Massive MIMO

    In: Proceedings of the 2022 IEEE 96th Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2022), IEEE VTC 2022 Fall, September 26-29, London, United Kingdom, IEEE, 9/2022.

  5. Multi-User Reconfigurable Intelligent Surface-Aided Communications Under Discrete Phase Shifts

    In: Prof. of IEEE CQR 2022. IEEE International Workshop on Communications Quality and Reliability (IEEE CQR-2022), September 13-16, Arlington,, Virginia, USA, IEEE, 9/2022.

  6. Ariane Ziehn; Christian Mandel; Kathrin Stich; Rolf Dembinski; Karin Hochbaum; Zeuch Steffen; Volker Markl

    IoT-PMA: Patient Health Monitoring in Medical IoT Ecosystems

    In: Open Journal of Internet of Things (OJIOT), Vol. 8, No. 1, Pages 20-31, OJIOT, RonPub UG, Lübeck, 2022.

  7. Oliver Schneider; Bruno Fruchard; Dennis Wittchen; Bibhushan Raj Joshi; Georg Freitag; Donald Degraen; Paul Strohmeier

    Sustainable Haptic Design: Improving Collaboration, Sharing, and Reuse in Haptic Design Research

    In: CHI Conference on Human Factors in Computing Systems Extended Abstracts. ACM International Conference on Human Factors in Computing Systems (CHI-2022), New York, NY, USA, CHI EA '22, ISBN 9781450391566, Association for Computing Machinery, 2022.

  8. Akhmajon Makhsadov; Donald Degraen; André Zenner; Felix Kosmalla; Kamila Mushkina; Antonio Krüger

    VRySmart: A Framework for Embedding Smart Devices in Virtual Reality

    In: CHI Conference on Human Factors in Computing Systems Extended Abstracts. ACM International Conference on Human Factors in Computing Systems (CHI-2022), New York, NY, USA, CHI EA '22, ISBN 9781450391566, Association for Computing Machinery, 2022.

  9. Saadullah Amin; Pasquale Minervini; David Chang; Pontus Stenetorp; Günter Neumann

    MedDistant19: Towards an Accurate Benchmark for Broad-Coverage Biomedical Relation Extraction

    In: Proceedings of the 29th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-2022), located at 29th International Conference on Computational Linguistics, October 12-17, Gyeongju, Korea, Republic of, International Committee on Computational Linguistics (ICCL), 10/2022.

  10. Felix Céard-Falkenberg; Konstantin Kuznetsov; Alexander Prange; Michael Barz; Daniel Sonntag

    pEncode: A Tool for Visualizing Pen Signal Encodings in Real-time

    In: Proceedings of the First International Conference on Hybrid Human-Machine Intelligence. International Conference on Hybrid Human-Artificial Intelligence (HHAI-2022), 1st International Conference on Hybrid Human-Artificial Intelligence, June 13-17, Amsterdam, Netherlands, Pages 281-284, Frontiers in Artificial Intelligence and Applications, Vol. 354, ISBN 978-1-64368-308-9, IOS Press, 2022.