Skip to main content Skip to main navigation

Publications

Displaying results 1881 to 1890 of 14779.

  1. Michael Striewe; Constantin Houy; Jana-Rebecca Rehse; Meike Ullrich; Peter Fettke; Niclas Schaper; Andreas Oberweis

    Towards an Automated Assessment of Graphical (Business Process) Modelling Competences: A Research Agenda

    In: Ralf H. Reussner; Anne Koziolek; Robert Heinrich (Hrsg.). 50. Jahrestagung der Gesellschaft für Informatik. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2020), Back to the Future, September 28 - October 2, Karlsruhe, Germany, Pages 665-670, Lecture Notes in Informatics, Vol. 307, ISBN 978-3-88579-701-2, Gesellschaft für Informatik (GI), Bonn, 9/2020.

  2. Frank Kirchner

    AI-perspectives: the Turing option

    In: AI Perspectives, Vol. 2, No. 2, Pages 1-12, Springer Nature, 9/2020.

  3. Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler

    Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime

    In: 38th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-2020), October 18-21, Hartford, USA, 2020.

  4. Vladimir Herdt; Sören Tempel; Daniel Große; Rolf Drechsler

    Mutation-based Compliance Testing for RISC-V

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January 18-21, Tokyo, Japan, 2021.

  5. Tim Meywerk; Marcel Walter; Daniel Große; Rolf Drechsler

    Clustering-Guided SMT(LRA) Learning

    In: 16th International Conference on integrated Formal Methods (iFM). International Conference on Integrated Formal Methods (IFM-2020), November 16-20, Lugano, Switzerland, 2020.

  6. Hangfan Liu; Yongzhi Su; Jason Raphael Rambach; Alain Pagani; Didier Stricker

    TGA: Two-level Group Attention for Assembly State Detection

    In: Proceedings of the 19th IEEE ISMAR. IEEE International Symposium on Mixed and Augmented Reality (ISMAR-2020), November 9-13, Recife/Porto de Galinhas, Brazil, IEEE, 2020.

  7. Giovanni Ribeiro; Katja Rogers; Maximilian Altmeyer; Thomas Terkildsen; Lennart E. Nacke

    Game Atmosphere: Effects of Audiovisual Thematic Cohesion on Player Experience and Psychophysiology

    In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. ACM SIGCHI Annual Symposium On Computer-Human Interaction in Play (CHI Play-2020), November 2-4, Ottawa, ON, Canada, ACM, 11/2020.

  8. Maximilian Altmeyer; Gustavo F. Tondello; Antonio Krüger; Lennart E. Nacke

    HexArcade: Predicting Hexad User Types By Using Gameful Applications

    In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. ACM SIGCHI Annual Symposium On Computer-Human Interaction in Play (CHI Play-2020), November 2-4, Ottawa, ON, Canada, ACM, New York, 11/2020.

  9. Paul Libbrecht; Thierry Declerck; Tim Schlippe; Thomas Mandl; Daniel Schiffner

    NLP for Student and Teacher: Concept for an AI based Information Literacy Tutoring System

    In: Stefan Conrad; Ilaria Tiddi (Hrsg.). Proceedings of the CIKM 2020 Workshops,. International Workshop on Investigating Learning During Web Search (IWILDS-2020), located at CIKM 2020, October 19, Galway, Ireland, CEUR Workshop Proceedings, 10/2020.

  10. Muhammad Hassan; Daniel Große; Rolf Drechsler

    System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January 18-21, Tokyo, Japan, 2021.

Year

More options