Skip to main content Skip to main navigation

Publications

Displaying results 861 to 870 of 15039.

  1. Muhammad Hassan; Sallar Ahmadi-Pour; Khushboo Qayyum; Chandan Kumar Jha; Rolf Drechsler

    LLM-guided Formal Verification Coupled with Mutation Testing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Andreas Schliebitz; Heiko Tapken; Martin Atzmueller

    Preprocessing Ground-Based Hyperspectral Image Data for Improving CNN-based Classification

    In: Michael Leyer; Johannes Wichmann (Hrsg.). Lernen, Wissen, Daten, Analysen (LWDA) Conference Proceedings, Marburg, Germany, October 9-11, 2023. GI-Workshop-Tage "Lernen, Wissen, Daten, Analysen" (LWDA-2023), October 9-11, Marburg, Germany, Pages 399-413, CEUR Workshop Proceedings, Vol. 3630, CEUR-WS.org, 2023.

  3. Dan Hudson; Ruud JR Den Hartigh; L Rens A Meerhoff; Martin Atzmueller

    Explainable Multi-Modal and Local Approaches to Modelling Injuries in Sports Data

    In: 2023 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE International Conference on Data Mining Workshops (ICDMW-2023), December 4, Shanghai, China, Pages 949-957, IEEE, 2023.

  4. Christian Backe; Malte Wirkus; Stefan Hinck; Jonathan Babel; Vadim Riedel; Nele Reichert; Andrej Kolesnikov; Tobias Stark; Jens Hilljegerdes; Hilmi Dogu Kücüker; Emir Barcic; Eduard Klink; Arno Ruckelshausen; Frank Kirchner

    RoBivaL data corpus

    Zenodo, 4/2024.

  5. Malte Wirkus; Stefan Hinck; Christian Backe; Jonathan Babel; Vadim Riedel; Nele Reichert; Andrej Kolesnikov; Tobias Stark; Jens Hilljegerdes; Hilmi Dogu Kücüker; Arno Ruckelshausen; Frank Kirchner

    Comparative Study of Soil Interaction and Driving Characteristics of Different Agricultural and Space Robots in an Agricultural Environment

    In: Journal of Field Robotics (JFR), Vol. 41, Pages 1-34, Wiley, 4/2024.

  6. Thomas Vögele; Jorge Ocón; Thierry Germa; Shashank Govindaraj; Carlos J. Perez-del-Pulgar; Fredrik Bakkevig Haugli; Raúl Domínguez; Leon Cedric Danter; Jonathan Babel; Iulia Dragomir; Anne-Claire Berthet; Fabio Polisano; Gonzalo J. Paz-Delgado; Laura M. Mantoani; Eric Törn; Alexander Dettmann; Valérie Ciarletti

    COROB-X: DEMONSTRATION OF A COOPERATIVE ROBOT TEAM IN EXTENSIVE FIELD TESTS

    In: ASTRA Proceedings. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2023), 17th, October 18-20, Leiden, Netherlands, European Space Agency (ESA), 2023.

  7. Mieszko Komisarczyk; Saurabh Mathur; Maurice Kraus; Sriraam Natarajan; Kristian Kersting

    Recursive Inference Machines for Neural Reasoning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2603.05234, Pages 1-11, arXiv, 2026.

  8. Simon Kohaut; Benedict Flade; Julian Eggert; Kristian Kersting; Devendra Singh Dhami

    Right in Time: Reactive Reasoning in Regulated Traffic Spaces

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2603.03977, Pages 1-6, arXiv, 2026.

  9. Levin Maier; Lucas Schulze; Robert Lilow; Lukas Hahn; Nikola Krasowski; Arnulf Barth; Sebastian Gaebel; Ferdi Güran; Oliver Hanau; Giovanni Wagner; Falk Borgmann; Oleg Arenz; Jan Peters

    Mathematical Foundations of Modeling ETL Process Chains

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2603.29877, Pages 1-8, arXiv, 2026.

  10. Hamish Flynn; Joe Watson; Ingmar Posner; Jan Peters

    Posterior Sampling Reinforcement Learning with Gaussian Processes for Continuous Control: Sublinear Regret Bounds for Unbounded State Spaces

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2603.08287, Pages 1-37, arXiv, 2026.

Year

More options