Sung Woo Choi

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 3

Top Topics

Nonlinear Systems

Recurrent Neural Networks

Top Venues

Publications

Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
NNV 2.0: The Neural Network Verification Tool. CAV (2) (2023)
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Verification of Recurrent Neural Networks with Star Reachability. HSCC (2023)
Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. FormaliSE (2023)
Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap
Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves. J. Symb. Comput. 47 (2) (2012)
Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee Yap
Complete Subdivision Algorithms, II: Isotopic Meshing of Singular Algebraic Curves CoRR (2011)
Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves. ISSAC (2008)
Hyeong In Choi, Sung Woo Choi, Chang Yong Han, Tae-wan Kim, Song-Hwa Kwon, Hwan Pyo Moon, Kyeong Hah Roh, Nam-Sook Wee
Two-dimensional offsets and medial axis transform. Adv. Comput. Math. 28 (2) (2008)
Sung Woo Choi, Byung-Gook Lee, Yeon Ju Lee, Jungho Yoon
Stationary subdivision schemes reproducing polynomials. Comput. Aided Geom. Des. 23 (4) (2006)
Ee-Chien Chang, Sung Woo Choi, DoYong Kwon, Hyungju Park, Chee-Keng Yap
Shortest Path amidst Disc Obstacles Is Computable. Int. J. Comput. Geom. Appl. 16 (5-6) (2006)
Ee-Chien Chang, Sung Woo Choi, DoYong Kwon, Hyungju Park, Chee-Keng Yap
Shortest path amidst disc obstacles is computable. SCG (2005)
Mi-young Kang, Sung Woo Choi, Hyuk-Chul Kwon
A Hybrid Approach to Automatic Word-spacing in Korean. IEA/AIE (2004)
Sung Woo Choi, Hans-Peter Seidel
Linear one-sided stability of MAT for weakly injective 3D domain. Comput. Aided Des. 36 (2) (2004)
Sung Woo Choi, Hans-Peter Seidel
Linear One-Sided Stability of MAT for Weakly Injective Domain. J. Math. Imaging Vis. 17 (3) (2002)
Sung Woo Choi, Hans-Peter Seidel
Linear onesided stability of MAT for weakly injective 3D domain. Symposium on Solid Modeling and Applications (2002)
Sung Woo Choi, Hans-Peter Seidel
Hyperbolic Hausdorff Distance for Medial Axis Transform. Graph. Model. 63 (5) (2001)
Sung Woo Choi, Hans-Peter Seidel
One-Sided Stability of Medial Axis Transform. DAGM-Symposium (2001)
Sung Woo Choi, Hans-Peter Seidel
One-sided Stability of MAT and Its Applications. VMV (2001)
Seong-Whan Lee, Young-Min Kim, Sung Woo Choi
Fast Scene Change Detection using Direct Feature Extraction from MPEG Compressed Videos. IEEE Trans. Multim. 2 (4) (2000)
Sung Woo Choi, Seong-Whan Lee
Stability Analysis of Medial Axis Transform under Relative Hausdorff Distance. ICPR (2000)
Young-Min Kim, Sung Woo Choi, Seong-Whan Lee
Fast Scene Change Detection Using Direct Feature Extraction from MPEG Compressed Videos. ICPR (2000)
Hyeong In Choi, Sung Woo Choi, Hwan Pyo Moon, Nam-Sook Wee
New Algorithm for Medial Axis Transform of Plane Domain. CVGIP Graph. Model. Image Process. 59 (6) (1997)