activity
20162024
most citedSemantics, Specification Logic, and Hoare Logic of Exact Real Computation

4 citations · 10 across the 10 of their papers we have counts for

collaborators
Showing stat.APShow all

1 paper · 1 filter

stat.AP2021

Bayesian Nonparametric Classification for Incomplete Data With a High Missing Rate: an Application to Semiconductor Manufacturing Data

Sewon Park, Kyeongwon Lee, Da-Eun Jeong +2

During the semiconductor manufacturing process, predicting the yield of the semiconductor is an important problem. Early detection of defective product production in the manufactur…