Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1591 bis 1600 von 5314.

  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. Emma van Zoelen; Tina Mioch; Mani Tajaddini; Christian Fleiner; Stefani Tsaneva; Pietro Camin; Thiago Gouvea; Kim Baraka; Maaike H.T. de Boer; Mark A. Neerincx

    Developing Team Design Patterns for Hybrid Intelligence Systems

    In: Frontiers in Artificial Intelligence and Applications. International Conference on Hybrid Human-Artificial Intelligence (HHAI-2023), June 26-30, Munich, Germany, IOS Press, 2023.

  7. Thiago Gouvea; Hannes Kath; Ilira Troshani; Bengt Lüers; Patrícia P. Serafini; Ivan B. Campos; André S. Afonso; Sérgio M. F. M. Leandro; Lourens Swanepoel; Nicholas Theron; Anthony M. Swemmer; Daniel Sonntag

    Interactive Machine Learning Solutions for Acoustic Monitoring of Animal Wildlife in Biosphere Reserves

    In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2023), located at IJCAI, August 19-25, Macao, Macao, International Joint Conferences on Artificial Intelligence, 2023.

  8. Wentong Cai; Philipp Andelfinger; Luca Bortolussi; Christopher Carothers; Dong Kevin Jin; Till Köster; Michael Lees; Jason Liu; Margaret Loper; Alessandro Pellegrini; Wen Jun Tan; Verena Wolf

    Intelligent Modeling and Simulation Lifecycle

    In: Dagstuhl-Seminar Report 22401. Dagstuhl Seminare/Workshops, Computer Science Methods for Effective and Sustainable Simulation Studies, October 3-7, Schloß Dagstuhl, Germany, Pages 44-46, Dagstuhl Seminar Report, Vol. 22401, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023.

  9. Michael Backenköhler; Paula Linh Kramer; Joschka Groß; Gerrit Großmann; Roman Joeres; Azat Tagirdzhanov; Dominique Sydow; Hamza Ibrahim; Floriane Odje; Verena Wolf; Andrea Volkamer

    TeachOpenCADD goes Deep Learning: Open-source Teaching Platform Exploring Molecular DL Applications

    In: ChemRxiv, Vol. ChemRxiv Online, ChemRxiv.org, 5/2023.

  10. Andreas Weinand; Christoph Lipps; Miachel Karrenbauer; Hans Dieter Schotten

    Multi-Feature Physical Layer Authentication for URLLC based on Linear Supervised Learning

    In: Proceedings of the European Conference on Networks and Communications (EuCNC) and the 6G Summit. European Conference on Networks and Communications (EuCNC-2023), June 6-9, Gothenburg, Sweden, IEEE, 6/2023.

Jahr

Mehr Optionen