Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, May. 2014


Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System
Ryoung Kwo Kwon , Gi Hwon Kwon
KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 169-178, May. 2014
10.3745/KTSDE.2014.3.5.169

RDBMS Based Efficient Method for Shortest Path Searching Over Large Graphs Using K-degree Index Table
Ji Hye Hong , Yong Koo Han , Young Koo Lee
KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 179-186, May. 2014
10.3745/KTSDE.2014.3.5.179

An Average Shape Model for Segmenting Prostate Boundary of TRUS Prostate Image
Sang Bog Kim , Joo Young Chung , Yeong Geon Seo
KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 187-194, May. 2014
10.3745/KTSDE.2014.3.5.187

Object Contour Extraction Algorithm Combined Snake with Level Set
Jong Whan Jang , Jae Yong Hwang , Ying Jun Wu
KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 195-200, May. 2014
10.3745/KTSDE.2014.3.5.195