Skip to main content Skip to main navigation

Publications

Displaying results 691 to 700 of 15132.

  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. Alexander Schiewe; Andrey Krekhov; Frederic Kerber; Florian Daiber; Jens Krüger

    A Study on Real-Time Visualizations During Sports Activities on Smartwatches

    In: 19th International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2020), New York, NY, USA, MUM 2020, ISBN 9781450388702, Association for Computing Machinery, 2020.

  8. Nora Muscholl; Matthias Klusch; Patrick Gebhard; Tanja Schneeberger

    EMIDAS: Explainable Social Interaction-Based Pedestrian Intention Detection Across Street

    In: Proceedings of 36th ACM Symposium on Applied Computing. ACM Symposium On Applied Computing (SAC-2021), ACM, 2021.

  9. Jana Koehler; Joseph Bürgler; Urs Fontana; Etienne Fux; Florian Herzog; Marc Pouly; Sophia Eastman; Anastasia Salyaeva; Peter Scheiblechner; Kai Waelti

    Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints

    In: Constraints, Vol. 2011, No. 1, Pages 1-39, Springer, 6/2021.

  10. Jannis Vogel; Simon Hagen; Oliver Thomas

    Discovering Blockchain for Sustainable Product-Service Systems to enhance the Circular Economy

    In: Thomas Ludwig; Volkmar Pipek (Hrsg.). Proceedings of the 14th Internationale Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2019), February 23-27, Siegen, Germany, ISBN 978-3-96182-063-4, universi - Universitätsverlag Siegen, Siegen, 2019.

Year

More options