Skip to main content Skip to main navigation

Publications

Displaying results 921 to 930 of 15196.

  1. Philipp Niemann; Chandan Bandyopadhyay; Rolf Drechsler

    Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures

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

  2. Bernd Krieg-Brückner; Till Mossakowski; Mihai Codescu

    Generic Ontology Design Patterns: Roles and Change Over Time

    In: Pascal Hitzler (Hrsg.). Advances in Pattern-based Ontology Engineering. Pages 1-2, IOS Press, Amsterdam, 2021.

  3. Bernd Krieg-Brückner; Mihai Codescu; Mihai Pomarlan

    Modelling Episodes with Generic Ontology Design Patterns

    In: Karl Hammar; Oliver Kutz; Anastasia Dimou; Torsten Hahmann; Robert Hoehndorf; Claudio Masolo; Randi Vita (Hrsg.). Proceedings of the Joint Ontology Workshops. Joint Ontology Workshops (JOWO-2020), SKALE: Workshop on Scalable Knowledge Graph Engineering, located at Bolzano Summer of Knowledge (BOSK 2020), August 31 - October 7, Bolzano & Virtual, Italy, No. 2708, CEUR-WS.org, 2020.

  4. Lisa Gutzeit

    A Comparison of Few-Shot Classification of Human Movement Trajectories

    In: Proceedings of the 10th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2021), February 4-6, Pages 243-250, ISBN 978-989-758-486-2, SciTePress, 2/2021.

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

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

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

  8. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

    In: 24. Workshop 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-2021), March 18-19, München/Virtual, Germany, 2021.

  9. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

    Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion

    In: 24. Workshop 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-2021), March 18-19, München/Virtual, Germany, 2021.

  10. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    VP-based DIFT for Embedded Binaries: A RISC-V Case Study

    In: 24. Workshop 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-2021), March 18-19, München/Virtual, Germany, 2021.

Year

More options