Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2021
Alle Filter entfernen
Zeige Ergebnisse 61 bis 70 von 676

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

  2. Jigyasa Singh Katrolia; Lars Krämer; Jason Raphael Rambach; Bruno Mirbach; Didier Stricker

    An Adversarial Training based Framework for Depth Domain Adaptation

    In: Proceedings of the 16th VISAPP. International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications …

  3. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes

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

  4. Christoph Scholl; Alexander Konrad; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization

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

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

  6. Jana Koehler

    Zum Begriff der Künstlichen Intelligenz

    In: Stephanie Catani und Jasmin Pfeiffer. Handbuch Künstliche Intelligenz und die Künste. Chapter 2, De Gruyter, Berlin, 8/2021.

  7. Lorik Dumani; Manuel Biertz; Alex Witry; Anna-Katharina Ludwig; Mirko Lenz; Stefan Ollinger; Ralph Bergmann; Ralf Schenkel

    The ReCAP Corpus: A Corpus of Complex Argument Graphs on German Education Politics

    In: IEEE Proceedings of the 15th International Conference on Semantic Computing (ICSC). IEEE International Conference on Semantic Computing …

  8. Manisha Luthra

    Network-centric Complex Event Processing: Adaptive, Efficient, and Flexible Placement and Execution of Internet of Things Applications

    PhD-Thesis, Technische Universität Darmstadt, TU prints, 9/2021.

  9. Liudvikas Nemiro; Gerard Canal; Oscar Lima; Michael Cashmore; Mark Roberts

    Designing an Adaptable Benchmark and Competition Simulation for Integrated Planning and Execution

    In: Workshop on the International Planning Competition (WIPC). International Conference on Automated Planning and Scheduling (ICAPS-2021), located at …

  10. Tomás Ribeiro; Oscar Lima; Michael Cashmore; Andrea Micheli; Rodrigo Ventura

    Olisipo: A probabilistic approach to the adaptable execution of deterministic temporal plans

    In: Proceedings of the International Symposium on Temporal Representation and Reasoning. International Symposium on Temporal Representation and …

Jahr