Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1421 bis 1430 von 14799.
  1. Yongliang Lin; Yongzhi Su; Praveen Annamalai Nathan; Sandeep Prudhvi Krishna Inuganti; Yan Di; Martin Sundermayer; Fabian Manhardt; Didier Stricker; Jason Raphael Rambach; Yu Zhang

    HiPose: Hierarchical Binary Surface Encoding and Correspondence Pruning for RGB-D 6DoF Object Pose Estimation

    In: IEEE/CVF (Hrsg.). Proceedings of the. International Conference on Computer Vision and Pattern Recognition (CVPR-2024), June 17-21, Seattle, Washington, USA, IEEE/CVF, 2024.

  2. Christoph Manss; Viktor Martel; Roman Weisgerber

    Assessment of Ground Conditions in Grassland on a Mower with Artificial Intelligence

    In: Informatik in der Land-, Forst- und Ernährungswirtschaft. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2024), Fokus: Biodiversität fördern durch digitale Landwirtschaft, February 27-28, Stuttgart, Germany, Pages 1-6, GI Edition Lecture Notes in Informatics, Vol. 344, ISBN ISBN 978-3-88579-738-8, Lehmans Media, Köln, 2/2024.

  3. Agrar-Robotik meets MLOps

    In: Informatik Aktuell, Alkmene Verlag GmbH, 3/2024.

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

    LLM-Assisted High Quality Invariants Generation for Formal Verification

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

  5. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

  6. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

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

  7. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  8. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

  9. Georg Rehm; Stelios Piperidis; Khalid Choukri; Andrejs Vasiļjevs; Katrin Marheinecke; Victoria Arranz; Aivars Bērziņ¨; Miltos Deligiannis; Dimitris Galanis; Maria Giagkou; Katerina Gkirtzou; Dimitris Gkoumas; Annika Grützner-Zahn; Athanasia Kolovou; Penny Labropoulou; Andis Lagzdiņ¨; Elena Leitner; Valérie Mapelli; Hélène Mazo; Simon Ostermann; Stefania Racioppa; Mickaël Rigault; Leon Voukoutis

    Common European Language Data Space.

    In: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024). Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING-2024), May 20-25, Turin, Italy, ELRA, 2024.

  10. Hongfei Xu; Yang Song; Qiuhui Liu; Josef van Genabith; Deyi Xiong

    Rewiring the Transformer with Depth-Wise LSTMs.

    In: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024). Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING-2024), May 20-25, Turin, Italy, ELRA, 2024.