Hyok-Chol Choe

  • Citations Per Year
Learn More
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(More)
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(More)
  • 1