( en | de | ru )

 

Disambiguation of "Kim, Sangki"

Author of the publication

copydeleteadd this publication to your clipboard
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT.

, , and . FTSCS, page 56-67. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Bongcheol Kim

Kim Gerber

Youngsang Kim

Ryong Kim

 

Other publications of authors with the same name

F-SEONS: a second-order frequency-domain algorithm for noisy convolutive source separation., , , and . ISCAS (4), page 3595-3598. IEEE, (2005)Brain-inspired Method for Hyper-connected and Distributed Intelligence., and . ICAIIC, page 657-660. IEEE, (2020)End-User Driven Service Creation for Converged Service of Telecom and Internet., , , and . AICT, page 71-76. IEEE Computer Society, (2008)Exploring Lexicon-Free Modeling Units for End-to-End Korean and Korean-English Code-Switching Speech Recognition., , , and . CoRR, (2019)Face Recognition Incorporating Ancillary Information., , and . EURASIP J. Adv. Signal Process., (2008)Adjacent Feature Propagation Network (AFPNet) for Real-Time Semantic Segmentation., , , and . IEEE Trans. Syst. Man Cybern. Syst., 52 (9): 5877-5888 (2022)A Data-centric Network Architecture for Service Optimization and Data Sharing., , , and . ICTC, page 505-508. IEEE, (2018)SVM-based feature extraction for face recognition., , , and . Pattern Recognit., 43 (8): 2871-2881 (2010)Face detection based on skin color likelihood., , , , and . Pattern Recognit., 47 (4): 1573-1585 (2014)Exploring Lexicon-Free Modeling Units for End-to-End Korean and Korean-English Code-Switching Speech Recognition., , , and . INTERSPEECH, page 1072-1075. ISCA, (2020)