Young-Mi Kim

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 1

Top Topics

Computer Graphics

Formal Verification

Musical Instrument

Top Venues

Publications

Young-Mi Kim, Miyoung Kang
Formal Verification of SDN-Based Firewalls by Using TLA+. IEEE Access 8 (2020)
Young-Mi Kim
Interactive Performance Art Using Musical Instrument Daegeum for Healing. ICEC (2014)
Young-Mi Kim
Interactive Vine: Build Communicative Relationship. ICCVG (2014)
Young-Mi Kim
Interactive Communion Tabletop. ICEC (2011)
Young-Mi Kim
Interactive Ink-and-Wash Drawing. ICEC (2011)
Young-Mi Kim, Heesun Choi, Jong-Soo Choi
Hand Ivy : Hand Feature Detection for an Advanced Interactive Tabletop. Smart Graphics (2011)
Young-Mi Kim, Jong-Soo Choi
Breathe brush. SIGGRAPH Posters (2010)
Young-Mi Kim, Jong-Soo Choi
Interactive oriental orchid read with the spirit and mind. SIGGRAPH ASIA (Posters) (2010)
Young-Mi Kim, Jong-Soo Choi
Ink-and-wash painting oriental cymbidium drawn with the tip of the fingers. SIGGRAPH Posters (2010)
Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim
Risky Module Estimation in Safety-Critical Software. ACIS-ICIS (2009)
Young-Mi Kim, Jong-Soo Choi
The Sound Brush Made of Bamboo. Smart Graphics (2009)
Young-Mi Kim, Jong-Soo Choi
The sound brush made of bamboo. SIGGRAPH ASIA Posters (2009)
Young-Mi Kim, Jong-Soo Choi
Bamboo flute. Advances in Computer Entertainment Technology (2009)
Young-Mi Kim, Dae-Joon Hwang
The Flow Control of Audio Data Using Distributed Terminal Mixing in Multi-point Communication. FQAS (2006)
Young-Shil Kim, Young-Mi Kim, Seong-Jin Park, Doo-Kwon Baik
Design and Implementation of Stego WaveK Through Improved Lowbit Encoding Method. Security and Management (2003)
Young-Shil Kim, Young-Mi Kim, Jin-Yong Choi, Doo-Kwon Baik
Information Hiding System StegoWaveK for Improving Capacity. ISPA (2003)
Dug Hun Hong, Young-Mi Kim
A law of large numbers for fuzzy numbers in a Banach space. Fuzzy Sets Syst. 77 (3) (1996)