Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


317 Treffer


× Publikationen
× 2019
× Johannes Gutenberg-Universität Mainz
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Hochschule Mainz
× Katholische Hochschule Mainz



  • Peuter, Dennis; Sofronie-Stokkermans, Viorica
  • On Inductive Verification and Synthesis
  • Christoph Benzmüller;Xavier Parent;Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8






  • Memmesheimer, Raphael; Kramer, Ivanna; Seib, Viktor et al.
  • Simitate: A Hybrid Imitation Learning Benchmark
  • Dong Sun;Fumihito Arai (Hrsg). 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019. New York, NY: IEEE Computer Society 2019 S. 5243 - 5249

  • Gurrin, Cathal; Joho, Hideo; Hopfgartner, Frank et al.
  • Overview of the NTCIR-14 Lifelog-3 Task
  • Charles L. A. Clarke;Noriko Kando (Hrsg). Online Proceeding of the 14th NTCIR Conference: June 10-13, 2019 National Institute of Informatics, Tokyo, Japan. Tokyo: National Institute of Informatics 2019 S. 14 - 26