Sung Woo Choi

According to our database, Sung Woo Choi authored at least 18 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems.

Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

2023

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.

Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Verification of Recurrent Neural Networks with Star Reachability.

Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

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

NNV 2.0: The Neural Network Verification Tool.

Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2012

Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves.

Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap

J. Symb. Comput., 2012

2008

Two-dimensional offsets and medial axis transform.

Hyeong In Choi, Sung Woo Choi, Chang Yong Han, Tae-wan Kim, Song-Hwa Kwon, Hwan Pyo Moon, Kyeong Hah Roh, Nam-Sook Wee

Adv. Comput. Math., 2008

2006

Shortest Path amidst Disc Obstacles Is Computable.

Ee-Chien Chang, Sung Woo Choi, DoYong Kwon, Hyungju Park, Chee-Keng Yap

Int. J. Comput. Geom. Appl., 2006

Stationary subdivision schemes reproducing polynomials.

Sung Woo Choi, Byung-Gook Lee, Yeon Ju Lee, Jungho Yoon

Comput. Aided Geom. Des., 2006

2004

Linear one-sided stability of MAT for weakly injective 3D domain.

Sung Woo Choi, Hans-Peter Seidel

Comput. Aided Des., 2004

A Hybrid Approach to Automatic Word-spacing in Korean.

Mi-young Kang, Sung Woo Choi, Hyuk-Chul Kwon

Proceedings of the Innovations in Applied Artificial Intelligence, 2004

2002

Linear One-Sided Stability of MAT for Weakly Injective Domain.

Sung Woo Choi, Hans-Peter Seidel

J. Math. Imaging Vis., 2002

Linear onesided stability of MAT for weakly injective 3D domain.

Sung Woo Choi, Hans-Peter Seidel

Proceedings of the Seventh ACM Symposium on Solid Modeling and Applications, 2002

2001

Hyperbolic Hausdorff Distance for Medial Axis Transform.

Sung Woo Choi, Hans-Peter Seidel

Graph. Model., 2001

One-sided Stability of MAT and Its Applications.

Sung Woo Choi, Hans-Peter Seidel

Proceedings of the 6th International Fall Workshop on Vision, Modeling, and Visualization, 2001

One-Sided Stability of Medial Axis Transform.

Sung Woo Choi, Hans-Peter Seidel

Proceedings of the Pattern Recognition, 2001

2000

Fast Scene Change Detection using Direct Feature Extraction from MPEG Compressed Videos.

Seong-Whan Lee, Young-Min Kim, Sung Woo Choi

IEEE Trans. Multim., 2000

Stability Analysis of Medial Axis Transform under Relative Hausdorff Distance.

Sung Woo Choi, Seong-Whan Lee

Proceedings of the 15th International Conference on Pattern Recognition, 2000

1997

New Algorithm for Medial Axis Transform of Plane Domain.

Hyeong In Choi, Sung Woo Choi, Hwan Pyo Moon, Nam-Sook Wee

CVGIP Graph. Model. Image Process., 1997