Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Noun Sense Disambiguation using Co-Occurrence Relation in Machine Translation

Choe, ChangilKim, Hyonil — 2012

Serdica Journal of Computing

Word Sense Disambiguation, the process of identifying the meaning of a word in a sentence when the word has multiple meanings, is a critical problem of machine translation. It is generally very difficult to select the correct meaning of a word in a sentence, especially when the syntactical difference between the source and target language is big, e.g., English-Korean machine translation. To achieve a high level of accuracy of noun sense selection in machine translation, we introduced a statistical method...

Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Choe, ChangilO., Hyong-CholHan, Song — 2013

Serdica Journal of Computing

Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented....

Page 1

Download Results (CSV)