Skip to main content Skip to main navigation


Displaying results 1 to 6 of 12524.
  1. 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 …

  2. 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), …

  3. 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.

  4. Cristina España-Bonet; Alberto Barrón-Cedeño

    The (Undesired) Attenuation of Human Biases by Multilinguality

    In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP). Conference on Empirical Methods in Natural …

  5. Explaining Translationese: why are Neural Classifiers Better and what do they Learn?

    In: Proceedings of the fifth BlackBoxNLP Workshop. Analyzing and Interpreting Neural Networks for NLP (BlackboxNLP-2022), Abu Dhabi, UAE (hybrid), …

  6. 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.