Choi, Sung-Woo
700  results:
Search for persons X
?
1

V2I and V2V service demonstration of millimeter wave commun..:

, In: 2023 14th International Conference on Information and Communication Technology Convergence (ICTC),
Choi, Sung-Woo ; Chung, Heesang ; Cho, Dae-Soon... - p. 756-759 , 2023
 
?
2

Demonstration of millimeter wave vehicle-to-vehicle communi..:

, In: 2022 13th International Conference on Information and Communication Technology Convergence (ICTC),
Chung, Heesang ; Choi, Sung-Woo ; Choi, Seung-Nam... - p. 1428-1430 , 2022
 
?
3

Effects of Signal Blockage by a Road Bridge on mmWave Vehic..:

, In: 2022 13th International Conference on Information and Communication Technology Convergence (ICTC),
Kim, Junhyeong ; Yan, Dong ; Guarr, Ke... - p. 2169-2172 , 2022
 
?
4

Effective PSCCH Detecting in 5G-NR V2X System:

, In: 2022 13th International Conference on Information and Communication Technology Convergence (ICTC),
Choi, Sung-Woo ; Kim, Junhyeong ; Chung, Heesang - p. 714-717 , 2022
 
?
5

Architecture and Performance of the Base Station Prototype ..:

, In: 2020 14th European Conference on Antennas and Propagation (EuCAP),
 
?
6

A Study on Frequency Planning of MN System for 5G Vehicular..:

, In: 2019 International Conference on Information and Communication Technology Convergence (ICTC),
Kim, Junhyeong ; Choi, Sung-Woo ; Noh, Gosan.. - p. 1442-1445 , 2019
 
?
7

Voltage gain control of a VGA in a UWB receiver:

, In: 2008 IEEE International Symposium on Consumer Electronics,
Kang, Kyu-Min ; Choi, Sung-Woo ; Cho, Sang-In. - p. None , 2008
 
?
8

NNV 2.0: The Neural Network Verification Tool:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
 
?
9

Verification of Recurrent Neural Networks with Star Reachab..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
 
?
10

Verifying Binary Neural Networks on Continuous Input Space ..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
 
?
11

Complete subdivision algorithms, II : isotopic meshing o..:

, In: Proceedings of the twenty-first international symposium on Symbolic and algebraic computation,
 
?
12

Shortest path amidst disc obstacles is computable:

, In: Proceedings of the twenty-first annual symposium on Computational geometry,
Chang, Ee-Chien ; Choi, Sung Woo ; Kwon, DoYong.. - p. 116-125 , 2005
 
?
13

Linear onesided stability of MAT for weakly injective 3D do..:

, In: Proceedings of the seventh ACM symposium on Solid modeling and applications,
Choi, Sung Woo ; Seidel, Hans-Peter - p. 344-355 , 2002
 
?
14

Classification of Distraction Levels Using Hybrid Deep Neur..:

, In: 2023 11th International Winter Conference on Brain-Computer Interface (BCI),
 
?
15

CropCat: Data Augmentation for Smoothing the Feature Distri..:

, In: 2023 11th International Winter Conference on Brain-Computer Interface (BCI),
 
1-15