Hyok-Chol Choe

Man-Hung Jong, Chong-Han Ri, Hyok-Chol Choe et al.

We propose a method for using the scoring values of passages to effectively retrieve documents in a Question Answering system. For this, we suggest evaluation function that considers proximity between each question terms in passage. And using this evaluation function , we extract a documents which involves scoring values in the highest collection, as a suitable document for question. The proposed method is very effective in document retrieval of Korean question answering system.

Sok-Min Han, Un-Chol Pang, Hyok-Chol Choe et al.

There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this paper, we considers the authority model for DWSC, extends pi-calculus in order to model dynamic attributes of system, and proposes a automatic method for modeling DWSC based on extended pi-calculus.