( en | de | ru )

 

Disambiguierung von "Dong, Jin Song"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimizing selection of competing features via feedback-directed evolutionary algorithms.

, , , , , und . ISSTA, Seite 246-256. ACM, (2015)

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.

ng-jin Song

Jin-song Xu

Jin-Hwa Song

Dong-Jin Park

Dong-Jin Chun

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning Support for SWRL-FOL Using Alloy., , und . SEKE, Seite 626-631. (2005)N-PAT: A Nested Model-Checker - (System Description)., , , , , , und . IJCAR (2), Volume 12167 von Lecture Notes in Computer Science, Seite 369-377. Springer, (2020)An Object-Oriented Approach to the Formal Specification of ODP Trader., und . Open Distributed Processing, Volume C-20 von IFIP Transactions, Seite 341-352. North-Holland, (1993)Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10)., , und . NII Shonan Meet. Rep., (2012)Introduction to Nature-Inspired Algorithms., und . Nature-Inspired Optimizers, Volume 811 von Studies in Computational Intelligence, Springer, (2019)Preface., , , und . WLFM@FM, Volume 151 von Electronic Notes in Theoretical Computer Science, Seite 1. Elsevier, (2005)Using Monterey Phoenix to Formalize and Verify System Architectures., , , , und . APSEC, Seite 644-653. IEEE, (2012)Model Driven Inputs to aid Athlete's Decision Making., , , , und . APSEC, Seite 485-489. IEEE, (2020)Enhancing Semantic Web Services with Inheritance., , , , , und . ISWC, Volume 5318 von Lecture Notes in Computer Science, Seite 162-177. Springer, (2008)Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective., , , , , , und . KDD, Seite 2349-2360. ACM, (2023)