( en | de | ru )

 

Disambiguierung von "Park, Jonghyun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanizing Metatheory Without Typing Contexts.

, , , und . J. Autom. Reason., 52 (2): 215-239 (2014)

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.

Jonghyun Choi

Rosemary Park

Sungjune Park

Jinhyung Park

Kwan Park

 

Weitere Publikationen von Autoren mit dem selben Namen

Reduced-Order Electrochemical Model-Based SOC Observer With Output Model Uncertainty Estimation., , , und . IEEE Trans. Control. Syst. Technol., 25 (4): 1217-1230 (2017)Computationally efficient battery model for microgrid applications using the Chebyshev spectral method., , , und . Comput. Chem. Eng., (2021)Capacity of Sectorized Distributed Networks Employing Adaptive Collaboration from Remote Antennas., , , und . IEICE Trans. Commun., 93-B (12): 3534-3537 (2010)Segmentation of 3D object in volume dataset using active deformable model., , , , , , , und . ICIP, Seite 4121-4124. IEEE, (2010)A theorem prover for Boolean BI., , und . POPL, Seite 219-232. ACM, (2013)Segmentation of Color Image Using Deterministic Annealing EM., , und . ICPR, Seite 3646-3649. IEEE Computer Society, (2000)Design and Field Testing of Water Quality Sensor Modules Designed for Round-the-Clock Operations from Buoys and Biomimetic Underwater Robots., , , und . Frontiers of Intelligent Autonomous Systems, Volume 466 von Studies in Computational Intelligence, Springer, (2013)Text localization using image cues and text line information., , und . ICIP, Seite 2261-2264. IEEE, (2010)Text segmentation in color images using tensor voting., , und . Image Vis. Comput., 25 (5): 671-685 (2007)Automatic detection and recognition of Korean text in outdoor signboard images., , , , , , , und . Pattern Recognit. Lett., 31 (12): 1728-1739 (2010)