We present an automatic semantic annotation system for Korean based on the Contextual Exploration Method. Creating a morphological analyzer and part-of-speech tagger for the Korea...
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
— It was shown by Cadambe and Jafar that the interference alignment (IA) algorithm achieves the theoretical bound on degrees of freedom (DOF) for interference channel systems. Ho...
Hakjea Sung, Seokhwan Park, Kyoung-Jae Lee, Inkyu ...
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...