Autor der Publikation

Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.

, und . PROMAS, Volume 5919 von Lecture Notes in Computer Science, Seite 49-66. Springer, (2009)

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

Hybrid multi-agent systems: modeling, specification and verification.. University of Koblenz-Landau, (2010)A Neuro-Fuzzy Identification of ECG Beats., , und . J. Medical Systems, 36 (2): 903-914 (2012)HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata., und . KI, Volume 5803 von Lecture Notes in Computer Science, Seite 695-702. Springer, (2009)Input Design Minimizing the v-gap in Cross-Directional Models of Paper Machines., und . ACC, Seite 3795-3800. IEEE, (2006)Robust Stability Analysis of Cross-Directional Processes using the U-gap metric., und . CDC, Seite 1203-1208. IEEE, (2006)Toward an Automatic Left Atrium Localization Based on Shape Descriptors and Prior Knowledge., , , und . STACOM, Volume 8330 von Lecture Notes in Computer Science, Seite 42-48. Springer, (2013)Generalisability of deep learning models in low-resource imaging settings: A fetal ultrasound study in 5 African countries., , , , , , , , , und 7 andere Autor(en). CoRR, (2022)An Enhanced Deep Learning Approach for Breast Cancer Detection in Histopathology Images., , und . AICV, Volume 164 von Lecture Notes on Data Engineering and Communications Technologies, Seite 27-36. Springer, (2023)Enhanced Knowledge Discovery Approach in Textual Case Based Reasoning., , , und . MICAI (Special Sessions), Seite 29-36. IEEE Computer Society, (2014)Feature Extraction using CNN for Peripheral Blood Cells Recognition., , , und . EAI Endorsed Trans. Scalable Inf. Syst., 9 (34): e12 (2022)