BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Park:Jonghyun

Contributed to:

POPL 20132013
ICPR 20102010
ICPR v3 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.