Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1851 bis 1860 von 13872.
  1. Tim Bohne; Gurunatraj Parthasarathy; Benjamin Kisliuk

    A Systematic Approach to the Development of Long-Term Autonomous Robotic Systems for Agriculture

    In: Konferenzband der 43. GIL-Jahrestagung. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), Resiliente Agri-Food-Systeme: Herausforderungen und Lösungsansätze, February 13-14, Osnabrück, Germany, Pages 285-290, LNI, Vol. P-330, ISBN 978-3-88579-724-1, Gesellschaft für Informatik, Bonn, 2/2023.

  2. Ho Minh Duy Nguyen; Hoang Nguyen; Mai T. N. Truong; Tri Cao; Binh T. Nguyen; Nhat Ho; Paul Swoboda; Shadi Albarqouni; Pengtao Xie; Daniel Sonntag

    Joint Self-Supervised Image-Volume Representation Learning with Intra-Inter Contrastive Clustering

    In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-2023). AAAI Conference on Artificial Intelligence (AAAI), February 7-14, Washington, DC, USA, AAAI Press, 2/2023.

  3. Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques

    In: Marcel Merten; Muhammad Hassan; Rolf Drechsler (Hrsg.). 26th Design & Diagnostics of Electronic Circuits & Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2023), May 3-5, Tallinn, Estonia, 2023.

  4. Christopher Metz; Mehran Goli; Rolf Drechsler

    Fast and Accurate: Machine Learning Techniques for Performance Estimation of CNNs for GPGPUs

    In: 5th Workshop on Parallel AI and Systems for the Edge (PAISE). Workshop on Parallel AI and Systems for the Edge (PAISE-2023), located at IPDPS 2023, April 19 - May 19, St. Petersburg, FL, USA, 2023.

  5. Ece Nur Demirhan Coskun; Muhammad Hassan; Rolf Drechsler

    Security Validation of VP-based Heterogeneous Systems: A Completeness-driven Perspective

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

  6. Jeanine Krath; Maximilian Altmeyer; Gustavo Tondello; Lennart Nacke

    Hexad-12: Developing and Validating a Short Version of the Gamification User Types Hexad Scale

    In: CHI Conference on Human Factors in Computing Systems Proceedings. ACM International Conference on Human Factors in Computing Systems (CHI-2023), April 23-28, Hamburg, Germany, ACM, 4/2023.

  7. Cristina España-Bonet; Alberto Barrón-Cedeño; Lluís Màrquez

    Tailoring and Evaluating the Wikipedia for in-Domain Comparable Corpora Extraction

    In: Knowledge and Information Systems, Vol. 65, Pages 1365-1397, Springer-Verlag, London, England, 3/2023.

  8. Aljosha Köcher; Alexander Belyaev; Jesko Hermann; Jürgen Bock; Kristof Meixner; Magnus Volkmann; Michael Winter; Patrick Zimmermann; Stephan Grimm; Christian Diedrich

    A reference model for common understanding of capabilities and skills in manufacturing

    In: at - Automatisierungstechnik, Vol. 71, No. 2, Pages 94-104, DeGruyter, 2023.

  9. Chandan Jha; Sallar Ahmadi-Pour; Rolf Drechsler

    MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors

    In: IEEE Transactions on Circuits and Systems II: Express Briefs, IEEE, 2023.

  10. A Retrospective Context Mining Approach For Bootstrapping Personal Knowledge Assistants

    In: Pascal Reuss; Viktor Eisenstadt; Jakob Schönborn; Jero Schäfer (Hrsg.). Lernen, Wissen, Daten, Analysen 2022. GI-Workshop-Tage "Lernen, Wissen, Daten, Analysen" (LWDA-2022), October 5-7, Hildesheim, Germany, 2/2023.