Skip to main content Skip to main navigation

Publications

Displaying results 1491 to 1500 of 15196.

  1. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification of Adder Circuits Using Answer Set Programming

    In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

  2. Martha Schnieber; Rolf Drechsler

    Polynomial Formal Verification of KFDD Circuits

    In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

  3. Muhammad Hassan; Rolf Drechsler

    Expanding RISC-V Horizons: Streamlining Heterogeneous Systems Evaluation with Open Source RISC-V AMS VP Framework

    In: RISC-V Summit Europe 2023. RISC-V Summit Europe, June 5-9, Barcelona, Spain, 2023.

  4. Yusser Al Ghussin; Jingyi Zhang; Josef van Genabith

    Exploring Paracrawl for Document-level Neural Machine Translation

    In: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics. Conference of the European Chapter of the Association for Computational Linguistics (EACL-2023), May 2-6, Dubrovnik, Croatia, Pages 1304-1310, Vol. Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, Association for Computational Linguistics, Dubrovnik, Croatia, 5/2023.

  5. Janis Sprenger; Lorena Hell; Matthias Klusch; Yoshiyuki Kobayashi; Shoma Kudo; Christian Müller

    Cross-Cultural Behavior Analysis of Street-Crossing Pedestrians in Japan and Germany

    In: Intelligent Vehicles. IEEE Intelligent Vehicles Symposium (IV-2023), IEEE, 2023.

  6. Sara Khan; Mehmed Yüksel; Andre Ferreira

    ASIMS: Acceleration Spectrograms Based Intelligent Mobility System for Vehicle Damage Detection

    In: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems VEHITS. International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS-2023), April 26-28, Prague, Czech Republic, Pages 179-186, Vol. 1, ISBN 978-989-758-652-1, SciTePress, 4/2023.

  7. Daphne Theodorakopoulos; Christoph Manss; Frederic Theodor Stahl; Marius Lindauer

    Green AutoML for Plastic Litter Detection

    In: ICLR 2023 Workshop on Tackling Climate Change with Machine Learning. International Conference on Learning Representations (ICLR), None, 2023.

  8. Michael Kenzel; Stefan Lemme; Richard Membarth; Matthias Kurtenacker; Hugo Devillers; Markus Steinberger; Philipp Slusallek

    AnyQ: An Evaluation Framework for Massively-Parallel Queue Algorithms

    In: Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS). IEEE International Parallel & Distributed Processing Symposium (IPDPS-2023), May 15-19, St. Petersburg, FL, USA, Pages 736-745, IEEE, 5/2023.

  9. Mehmed Yüksel; Thomas M. Röhr; Marko Jankovic; Wiebke Brinkmann; Frank Kirchner

    A Reference Implementation for Knowledge Assisted Robot Development for Planetary and Orbital Robotics

    In: Acta Astronautica, Vol. 2023, Pages 1-16, Elsevier Ltd. 2023.

  10. Mohammad Minouei; Mohammad Reza Soheili; Didier Stricker

    Efficient Table Lines Segmentation with Asymmetric Convolutions

    In: Wolfgang Osten; Dmitry Nikolaev; Jianhong Zhou (Hrsg.). Proceedings Volume 12084, Fourteenth International Conference on Machine Vision (ICMV 2021). International Conference on Machine Vision (ICMV-2021), November 8-12, Rome, Italy, Pages 1-7, Vol. 12084, SPIE, 3/2022.

Year

More options