Travelled to:1 × Italy
1 × Spain
1 × Turkey
Collaborated with:S.Park G.Lee J.Seo S.Park W.H.Cho T.N.Dinh C.Lee W.Cho S.Kim S.Kim G.Ahn M.Lee
Talks about:segment (2) color (2) use (2) determinist (1) function (1) theorem (1) cluster (1) boolean (1) tensor (1) prover (1)
Person: Jonghyun Park
DBLP: Park:Jonghyun
Contributed to:
2013
20102000Wrote 4 papers:
- POPL-2013-ParkSP #proving #theorem proving
- A theorem prover for Boolean BI (JP, JS, SP), pp. 219–232.
- ICPR-2010-ChoPPKKALL #hybrid #segmentation #using
- Level-Set Segmentation of Brain Tumors Using a New Hybrid Speed Function (WC, JP, SYP, SHK, SWK, GA, MEL, GL), pp. 1545–1548.
- ICPR-2010-DinhPLL #clustering
- Tensor Voting Based Color Clustering (TND, JP, CL, GL), pp. 597–600.
- ICPR-v3-2000-ChoPP #image #segmentation #using
- Segmentation of Color Image Using Deterministic Annealing EM (WHC, SYP, JP), pp. 3646–3649.