|
| 1 |
Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System
Kwon, Ryoungkwo;Kwon, Gihwon;
/
Korea Information Processing Society
, v.3, no.5, pp.169-178,
|
|
| 2 |
RDBMS Based Efficient Method for Shortest Path Searching Over Large Graphs Using K-degree Index Table
Hong, Jihye;Han, Yongkoo;Lee, Young-Koo;
/
Korea Information Processing Society
, v.3, no.5, pp.179-186,
|
|
| 3 |
An Average Shape Model for Segmenting Prostate Boundary of TRUS Prostate Image
Kim, Sang Bog;Chung, Joo Young;Seo, Yeong Geon;
/
Korea Information Processing Society
, v.3, no.5, pp.187-194,
|
|
| 4 |
Object Contour Extraction Algorithm Combined Snake with Level Set
Hwang, JaeYong;Wu, Yingjun;Jang, JongWhan;
/
Korea Information Processing Society
, v.3, no.5, pp.195-200,
|
|