Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 2601 bis 2610 von 14796.
  1. Classification of error-related potentials evoked during observation of human motion sequences

    In: 25th International Conference on Human-Computer Interaction. International Conference on Human-Computer Interaction (HCII-2023), July 23-28, Copenhagen, Denmark, Springer, 7/2023.

  2. Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.)

    Informatik in der Land-, Forst- und Ernährungswirtschaft. Referate der 43. GIL-Jahrestagung, 13.-14. Februar 2023

    Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), February 13-14, Osnabrück, Germany, LNI, Vol. 330, ISBN 978-3-88579-724-1, Gesellschaft für Informatik, 2/2023.

  3. Mit Metadaten durch den urbanen Datendschungel - Verwaltung und Nutzung kommunaler Daten im Forschungsprojekt "Ageing Smart - Räume intelligent gestalten"

    In: vhw Verbandszeitschrift, Vol. 2023, No. 1, Pages 5-8, vhw - Bundesverband für Wohnen und Stadtentwicklung e.V. 2/2023.

  4. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

    In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2023), February 26-28, Erfurt, Germany, 2023.

  5. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

    Polynomial Formal Verification of a Processor: A RISC-V Case Study

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  6. Ece Nur Demirhan Coskun; Muhammad Hassan; Mehran Goli; Rolf Drechsler

    VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  7. Lukas Tapp; Veronika Kurchyna; Falco Nogatz; Jan Ole Berndt; Ingo Timm

    School's Out? Simulating Schooling Strategies During COVID-19

    In: Multi-Agent-Based Simulation XXIII. International Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS-2022), located at AAMAS 2022, May 8-9, Auckland, New Zealand, Pages 95-106, Lecture Notes in Artificial Intelligence (LNAI), Springer, 2023.

  8. BoxMask: Revisiting Bounding Box Supervision for Video Object Detection

    In: Winter Conference on Applications of Computer Vision 2023. IEEE Winter Conference on Applications of Computer Vision (WACV-2023), January 3-8, Waikoloa, HI, USA, CVF, 2023.

  9. Attribution-aware Weight Transfer: A Warm-Start Initialization for Class-Incremental Semantic Segmentation

    In: Winter Conference on Applications of Computer Vision 2023. IEEE Winter Conference on Applications of Computer Vision (WACV-2023), January 2-7, Waikoloa, HI, USA, IEEE, 2023.