I agree that this site is using cookies. You can find further informations here.
X
Choi, Sung Woo
722  results:
Bookchapter (Online) X
Search for persons X
?
1

NNV 2.0: The Neural Network Verification Tool:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lopez, Diego Manzanas ; Choi, Sung Woo ; Tran, Hoang-Dung. - p. 397-412 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Verification of Recurrent Neural Networks with Star Reachab..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Tran, Hoang Dung ; Choi, Sung Woo ; Yang, Xiaodong... - p. 1-13 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Verifying Binary Neural Networks on Continuous Input Space ..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Ivashchenko, Mykhailo ; Choi, Sung Woo ; Nguyen, Luan Viet. - p. 7-17 , 2023
Link: https://doi.org/10.1109/..
 
?
4

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

, In: Proceedings of the twenty-first international symposium on Symbolic and algebraic computation,
Burr, Michael ; Choi, Sung Woo ; Galehouse, Benjamin. - p. 87-94 , 2008
Link: https://dl.acm.org/doi/1..
 
?
5

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
Link: https://dl.acm.org/doi/1..
 
?
6

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
Link: https://dl.acm.org/doi/1..
 
?
7

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
Link: https://doi.org/10.1109/..
 
?
8

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
Link: https://doi.org/10.1109/..
 
?
9

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
Link: https://doi.org/10.1109/..
 
?
10

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
Link: https://doi.org/10.1109/..
 
?
11

Architecture and Performance of the Base Station Prototype ..:

, In: 2020 14th European Conference on Antennas and Propagation (EuCAP),
Choi, Sung-Woo ; Kim, Junhyeong ; Kim, Seon-Ae.. - p. 1-5 , 2020
Link: https://doi.org/10.23919..
 
?
12

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
Link: https://doi.org/10.1109/..
 
?
13

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
Link: https://doi.org/10.1109/..
 
?
14

Generation of the Highest Laser Intensity of 1023 W/cm2 by ..:

, In: 2022 Conference on Lasers and Electro-Optics Pacific Rim (CLEO-PR),
Yoon, Jin Woo ; Choi, Il Woo ; Sung, Jae Hee... - p. 1-2 , 2022
Link: https://doi.org/10.1109/..
 
?
15

Analysis of route efficiency in city bus transportation vul..:

, In: 2022 IEEE International Conference on Big Data (Big Data),
Yoon, Namsik ; Choi, Innjun ; Kang, Sung Woo - p. 3845-3853 , 2022
Link: https://doi.org/10.1109/..
 
1-15