Autor der Publikation

Knowledge-Based Interoperability for Mathematical Software Systems.

, , , , , , , und . MACIS, Volume 10693 von Lecture Notes in Computer Science, Seite 195-210. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Standard for Aligning Mathematical Concepts., , , und . FM4M/MathUI/ThEdu/DP/WIP@CIKM, Volume 1785 von CEUR Workshop Proceedings, Seite 229-244. CEUR-WS.org, (2016)Multi sensor data fusion in the scope of an automotive collision imminent braking system.. University of Duisburg-Essen, (2014)Sensor system blockage detection for night time headlight control based on camera and radar sensor information., , , , und . ITSC, Seite 78-83. IEEE, (2012)Automatically Finding Theory Morphisms for Knowledge Management., , und . CICM, Volume 11006 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2018)Rapid Prototyping Formal Systems in MMT: 5 Case Studies., und . LFMTP@LICS, Volume 307 von EPTCS, Seite 40-54. (2019)OPEDo: a tool for the optimization of performance and dependability models., , und . SIGMETRICS Performance Evaluation Review, 36 (4): 22-27 (2009)Conditional multichannel generative adversarial networks with an application to traffic signs representation learning., , , , , , und . Progress in AI, 8 (1): 73-82 (2019)Pedestrian Tracking from a Moving Host Using Corner Points., , , , , und . ISVC (2), Volume 4842 von Lecture Notes in Computer Science, Seite 367-376. Springer, (2007)Anpassungen von Suchheuristiken für ereignisdiskrete Modelle.. Dortmund University of Technology, (2010)A generic video and radar data fusion system for improved target selection., , , , und . Intelligent Vehicles Symposium, Seite 679-684. IEEE, (2011)