Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3071 bis 3080 von 14429.
  1. Unsupervised Anomaly Detection from Time-of-Flight Depth Images

    In: CVPR Workshop on Perception Beyond the Visible Spectrum. CVPR Workshop on Perception Beyond the Visible Spectrum (PBVS-2022), located at International Conference on Computer Vision and Pattern Recognition, June 19-20, USA, IEEE Computer Society, 2022.

  2. Claim Extraction and Law Matching for COVID-19-related Legislation

    In: Proceedings of the 13th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2022), European Language Resources Association (ELRA), 2022.

  3. PARTAS: A Personalizable Augmented Reality Based Task Adaption System for Workers with Cognitive Disabilities

    In: PETRA '22: The15th International Conference on PErvasive Technologies Related to Assistive Environments. International Conference on Pervasive Technologies Related to Assistive Environments (PETRA-2022), 15th ACM International Conference on PErvasive Technologies Related to Assistive Environments, located at ACM - Association for Computing Machinery Digital Library Proceedings, June 29 - July 1, Corfu, Greece, Pages 159-168, Association for Computing Machinery, New York, NY, United States, 7/2022.

  4. Achim Peters; Mattis Hartwig; Tobias Spiller

    Obesity and Type 2 Diabetes Mellitus Explained by the Free Energy Principle

    In: Vanessa Era (Hrsg.). Frontiers in Psychology, Vol. 13, Pages 1-11, Frontiers, 6/2022.

  5. Mattis Hartwig; Anjali Bhat; Achim Peters

    How Stress Can Change Our Deepest Preferences: Stress Habituation Explained Using the Free Energy Principle

    In: Gerit Pfuhl (Hrsg.). Frontiers in Psychology, Vol. 13, Pages 1-14, Frontiers, 5/2022.

  6. Marc Eisoldt; Julian Gaal; Thomas Wiemann; Marcel Flottmann; Marc Rothmann; Marco Tassemeier; Mario Porrmann

    A Fully Integrated System for Hardware-accelerated TSDF SLAM with LiDAR Sensors (HATSDF SLAM)

    In: Robotics and Autonomous Systems (RAS), Vol. 106, Pages 1-38, Elsevier, 2022.

  7. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

    In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis (ATVA-2022), October 25-28, 2022.

  8. Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler

    3D Visualization of Symbolic Execution Traces

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  9. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  10. Alexander Fratzer; Vladimir Herdt; Christoph Lüth; Rolf Drechsler

    Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.