|
1 |
An Action-based LTS Bounded Model Checker for Analyzing Concurrency
Park, Sa-Choun;Kwon, Gi-Hwon;
/
Korean Institute of Information Scientists and Engineers
, v.35, no.9, pp.529-537,
|
|
2 |
An Automated Code Generation for Both Improving Performance and Detecting Error in Self-Adaptive Modules
Lee, Joon-Hoon;Park, Jeong-Min;Lee, Eun-Seok;
/
Korean Institute of Information Scientists and Engineers
, v.35, no.9, pp.538-546,
|
|
3 |
A Two-Stage Document Page Segmentation Method using Morphological Distance Map and RBF Network
Shin, Hyun-Kyung;
/
Korean Institute of Information Scientists and Engineers
, v.35, no.9, pp.547-553,
|
|
4 |
A Statistical Prediction Model of Speakers' Intentions in a Goal-Oriented Dialogue
Kim, Dong-Hyun;Kim, Hark-Soo;Seo, Jung-Yun;
/
Korean Institute of Information Scientists and Engineers
, v.35, no.9, pp.554-561,
|
|
5 |
Building Domain Ontology through Concept and Relation Classification
Huang, Jin-Xia;Shin, Ji-Ae;Choi, Key-Sun;
/
Korean Institute of Information Scientists and Engineers
, v.35, no.9, pp.562-571,
|
|
6 |
Automatic Clustering on Trained Self-organizing Feature Maps via Graph Cuts
Park, An-Jin;Jung, Kee-Chul;
/
Korean Institute of Information Scientists and Engineers
, v.35, no.9, pp.572-587,
|
|