214 citations
- Ludwig-Maximilians-Universität MünchenDE7 papers
- The Abdus Salam International Centre for Theoretical Physics (ICTP)IT5 papers
- Max-Born-Institute for Nonlinear Optics and Short Pulse SpectroscopyDE4 papers
- Nanjing UniversityCN4 papers
- Central South University of Forestry and TechnologyCN3 papers
- Government of the Republic of KoreaKR3 papers
- Kim Chaek University of TechnologyKP3 papers
- Pyongyang University of Science and TechnologyKP3 papers
- Wuhan UniversityCN3 papers
- Central China Normal UniversityCN2 papers
- Technical University of MunichDE2 papers
- Tongji UniversityCN2 papers
17 papers · 1 filter
The Improvement of Negative Sentences Translation in English-to-Korean Machine Translation
Chung-Hyok Jang, Kwang-Hyok Kim
This paper describes the algorithm for translating English negative sentences into Korean in English-Korean Machine Translation (EKMT). The proposed algorithm is based on the compa…
A Method of Passage-Based Document Retrieval in Question Answering System
Man-Hung Jong, Chong-Han Ri, Hyok-Chol Choe +1
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 conside…
A Method of Advanced Chaos Optimal Search Algorithm
UnSun Pak, YongNam Kim, GyongIl Ryang
In this paper, the advanced parallel chaos optimal search algorithm is proposed and the effectiveness of the proposed algorithm is verified through the experiment for find out the…
An Approach for Design Parameter Optimization of the Triangle Cloud Control System
UnSun Pak, YongNam Sin, GyongIl Ryang
In this paper, we have proposed the optimization approach of design parameter of generalized cloud control system by hybrid chaos optimization approach. The approach determined the…
Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model
Sok-Min Han, Un-Chol Pang, Hyok-Chol Choe +1
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 petr…
One-loop Einstein-Hilbert term in minimally supersymmetric type IIB orientifolds
Michael Haack, Jin U Kang
We evaluate string one-loop contributions to the Einstein-Hilbert term in toroidal minimally supersymmetric type IIB orientifolds with D-branes. These have potential applications t…