Skip to main content Skip to main navigation

Publications

Displaying results 1621 to 1630 of 13702.

  1. Nils M. Kriege; Marion Neumann; Christopher Morris; Kristian Kersting; Petra Mutzel

    A unifying view of explicit and implicit feature maps of graph kernels

    In: Data Mining and Knowledge Discovery, Vol. 33, No. 6, Pages 1505-1547, Springer, 2019.

  2. Laura Antanas; Plinio Moreno; Marion Neumann; Rui Pimentel de Figueiredo; Kristian Kersting; José Santos-Victor; Luc De Raedt

    Semantic and geometric reasoning for robotic grasping: a probabilistic logic approach

    In: Autonomous Robots, Vol. 43, No. 6, Pages 1393-1418, Springer, 2019.

  3. Kristian Kersting; Miryung Kim; Guy Van den Broeck; Thomas Zimmermann

    SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)

    In: Dagstuhl Reports, Vol. 10, No. 2, Pages 76-87, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020.

  4. Matthias Jost; Andreas Luxenburger; Sönke Knoch; Jan Alexandersson

    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.

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

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

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

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

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

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

Year

More options