( en | de | ru )

 

Disambiguation of "Kim, Taeho"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.

, , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 205-220. Springer, (2002)

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)

Kison Kim

Wonchan Kim

Kim Kressel

Sunghun Kim

 

Other publications of authors with the same name

CPrune: Compiler-Informed Model Pruning for Efficient Target-Aware DNN Execution., , , , and . ECCV (20), volume 13680 of Lecture Notes in Computer Science, page 651-667. Springer, (2022)A power-and-area efficient 10 × 10 Gb/s bootstrap transceiver in 40 nm CMOS for reference-less and lane-independent operation., , , , , , , and . CICC, page 1-4. IEEE, (2015)Distance Sensor Fusion for Obstacle Detection at Night Based on Kinect Sensors., , , , and . ICIC (2), volume 9226 of Lecture Notes in Computer Science, page 135-144. Springer, (2015)Optimal approach to game scheduling of multiple round-robin tournament: Korea professional baseball league in focus.. Comput. Ind. Eng., (2019)Customer-oriented school bus operations for childcare centers in Korea., and . Comput. Ind. Eng., 66 (1): 116-124 (2013)Heuristic algorithm for retrieving containers., , and . Comput. Ind. Eng., (2016)Voxel Transformer with Density-Aware Deformable Attention for 3D Object Detection., and . Sensors, 23 (16): 7217 (August 2023)An Identification Approach of Technically Efficient Category for controllable, Categorical Factors in production and an Application to a production Process., , , and . Asia Pac. J. Oper. Res., (2013)Detection of Moving Object Using Remained Background under Moving Camera., and . Int. J. Inf. Acquis., 4 (3): 227-236 (2007)A 0.3-1.4 GHz All-Digital Fractional-N PLL With Adaptive Loop Gain Controller., , , , and . IEEE J. Solid State Circuits, 45 (11): 2300-2311 (2010)