Autor der Publikation

Formal Verification of an Agent-Based Support System for Medicine Intake.

, , , und . BIOSTEC (Selected Papers), Volume 25 von Communications in Computer and Information Science, Seite 453-466. Springer, (2008)

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

Modeling centralized organization of organizational change, , , und . Computational & Mathematical Organization Theory, 13 (2): 147--184 (2007)Evaluation of virtual agents utilizing theory of mind in a real time action game., und . AAMAS, Seite 59-66. IFAAMAS, (2010)Online application for simulating intelligent support for medicine intake., , und . PETRA, Volume 282 von ACM International Conference Proceeding Series, Seite 76. ACM, (2008)Model-Based Reasoning Methods within an Ambient Intelligent Agent Model., , , , und . AmI Workshops, Volume 11 von Communications in Computer and Information Science, Seite 352-370. Springer, (2007)An Integrated Agent Model Addressing Situation Awareness and Functional State in Decision Making., , und . PRIMA, Volume 7047 von Lecture Notes in Computer Science, Seite 385-397. Springer, (2011)Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks.. IJCAI, Seite 1321-1326. (2007)Agents Preferences in Decentralized Task Allocation., und . ECAI, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 398-402. IOS Press, (2008)Why parameter control mechanisms should be benchmarked against random variation., , und . IEEE Congress on Evolutionary Computation, Seite 349-355. IEEE, (2013)Performance Measures to Enable Agent-Based Support in Demanding Circumstances., , , , und . HCI (20), Volume 6780 von Lecture Notes in Computer Science, Seite 578-587. Springer, (2011)Mixing Consistent Deep Clustering., , , und . CoRR, (2020)