Skip to main content Skip to main navigation

Publications

Displaying results 3371 to 3380 of 14431.

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

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

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

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

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

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

  7. Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler

    One-pass Synthesis for Field-coupled Nanocomputing Technologies

    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.

  8. Mehran Goli; Rolf Drechsler

    ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs

    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.

  9. Agne Grünerbl

    Leveraging Motion and Location Tracking for Supporting Cognitive State and Behavior Analysis

    PhD-Thesis, Technische Universität Kaiserslautern, 1/2020.

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

    System Level verification of Phase-Locked Loop using Metamorphic Relations

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual, 2021.

Year

More options