• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.542-547
• /
• 2007

It is suggested that the difference between co-referential and bound reflexive pronouns found in many languages can be accounted for by using the notion of the case extension of a type <1> quantifier. Given this proposal the co-referential pronouns get their meaning when the corresponding NP takes nominal case extension first. Bound reflexives are reflexivisers in the sense that they are not case extensions of quantifiers although they also transform binary relations into sets. Examples from Japanese and from Polish are discussed.

• Korean Management Science Review
• /
• v.12 no.1
• /
• pp.139-156
• /
• 1995

This study addresses basic requirements for mathematical programming software, discusses considerations in designing these software, implementation issues facing in these types of applications development, and shows some examples of codes being developed in the course. This type of projects requires long and ever-changing evolutionary phases. The experience is therefore, valuaable in suggesting some useful hints which may be salvaged for similar projects as well as providing reusable codes. In particular, scanning and parsing the free-format inputs, symbol table management, mixed-language programming, and data structures dealing with large sparse matrices are indispensable to many management science software development. Extensions to be made are also discussed.

• Journal for History of Mathematics
• /
• v.10 no.2
• /
• pp.11-23
• /
• 1997

Category theory gives a convenient language for the study of mathematical structures besides its own study. In this paper, we investigate how the abstract structure theory emerged in 1930s affects the study in Topology and eventually becomes a rudiment for the category theory. Moreover, various extensions and universal mapping problems were put in their proper perspective as reflections by the category theory and by its duality principle, coreflections become an interesting subject in Topology, both of which give rise to a new discipline of the categorical topology.

• ETRI Journal
• /
• v.42 no.1
• /
• pp.90-100
• /
• 2020

Named entity recognition (NER) continues to be an important task in natural language processing because it is featured as a subtask and/or subproblem in information extraction and machine translation. In Urdu language processing, it is a very difficult task. This paper proposes various deep recurrent neural network (DRNN) learning models with word embedding. Experimental results demonstrate that they improve upon current state-of-the-art NER approaches for Urdu. The DRRN models evaluated include forward and bidirectional extensions of the long short-term memory and back propagation through time approaches. The proposed models consider both language-dependent features, such as part-of-speech tags, and language-independent features, such as the "context windows" of words. The effectiveness of the DRNN models with word embedding for NER in Urdu is demonstrated using three datasets. The results reveal that the proposed approach significantly outperforms previous conditional random field and artificial neural network approaches. The best f-measure values achieved on the three benchmark datasets using the proposed deep learning approaches are 81.1%, 79.94%, and 63.21%, respectively.

• Korean Journal of English Language and Linguistics
• /
• v.2 no.3
• /
• pp.431-469
• /
• 2002

The main purpose of this paper is to present data about schm constructions in English and to examine them within the framework of Optimality Theory. American people sometimes reduplicate a word in deprecation using a prefix schm- or shm-, as in fancy-shmancy, and old-shmold. In these data, reduplicants surface as a copy of the whole word except the onset of the first syllable, which is replaced with schm. My data include some examples where the onset of the second syllable, not the first syllable, within the word reduplication is deleted and replaced with fixed segmentism schm, which seems to be infix rather than prefix. Above all, this study presents concrete evidence for the existence and function of ‘syllable’ and ‘foot’ known as prosodic categories by examining schm reduplication. Such extensions of schm-reduplcation also make predictions about types of outputs corresponding to their inputs.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.1
• /
• pp.11-18
• /
• 2011

A mobile agent system is the most common software paradigm for distributed applications. A software development model to develop efficiently for these systems is needed. Unified Modeling Language (UML) is a widely used software development model to develop a system for Visualizing, Specifying, Constructing, Documenting. However, UML can not describe in explicit way the necessary mobility of the mobile agent-based software systems. In this paper, the interaction diagrams of UML (sequence diagrams and communication diagrams) are extended and used to express the mobility of the mobile agents in three ways. For a case study, we applied the extended diagrams to a distributed file searching using mobile agents, and showed these diagrams can describe the mobility very well.

• Cross-Cultural Studies
• /
• v.24
• /
• pp.99-111
• /
• 2011

This paper is a comparative study of English loans in Russian and Swahili. In the twenty first century, due to the advantage of English as a global language, a language of technology and business, it has had contact with many languages of the world and has become a major source of loans to many languages. Though very different from each other, both Russian and Swahili currently have English as their main source of loanwords. This study reports the extensive adaptation of English loans by Russian and Swahili and examines how these loan items are assimilated into the two languages. It concludes that besides the adaption of pure English loans they have both employed other strategies such as loan translations, semantic extensions and loanblends for vocabulary expansion.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Proceedings of the IEEK Conference
• /
• 2005.11a
• /
• pp.967-970
• /
• 2005

The Music Player MAF Player Format of ISO/IEC 23000-2 FDIS consists of MP3 data, MPEG-7 metadata and one optional JPEG image data based on MPEG-4 File Format. However, the current Music Player MAF format does not allow multiple JPEG image data or timed text data. It is helpful to use timed text data and multiple JPEG images in the various multimedia applications. For example, listening material for the foreign language needs an additional book which has text and images, the audio contents which can get image and text data can be helpful to understand the whole story and situations well. In this paper, we propose the detailed file structure in conjunction with MPEG-4 File Format in order to improve the functionalities, which carry multiple image data and text data with synchronization information between MP3 data and other resources.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.12 no.1
• /
• pp.139-139
• /
• 1987

This study addresses basic requirements for mathematical programming software, discusses considerations in designing these software, implementation issues facing in these types of applications development, and shows some examples of codes being developed in the course. This type of projects requires long and ever-changing evolutionary phases. The experience is therefore, valuaable in suggesting some useful hints which may be salvaged for similar projects as well as providing reusable codes. In particular, scanning and parsing the free-format inputs, symbol table management, mixed-language programming, and data structures dealing with large sparse matrices are indispensable to many management science software development. Extensions to be made are also discussed.