• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.11
• /
• pp.611-621
• /
• 2002

For real-time systems, multiprocessor support is indispensable to handle the large number of requests. Existing real-time on-line scheduling algorithms such as Earliest Deadline First Algorithm (EDF) and Least Laxity Algorithm (LLA) may not be suitable for scheduling real-time tasks in multiprocessor systems. Although EDF has low context switching overhead, it suffers from "multiple processor anomalies." LLA has been shown as suboptimal, but has the potential for higher context switching overhead. Earliest Deadline Zero Laxity (EDZL) solved somewhat the problems of those algorithms, however is suboptimal for only two processors. Another algorithm EDA2 shows very good performance in overload phase, however, is not suboptimal for muitiprocessors. We propose two on-line scheduling algorithms, Earliest Deadline/Least Laxity (ED/LL) and ED2/LL. ED/LL is suboptimal for multiprocessors, and has low context switching overhead and low deadline miss rate in normal load phase. However, ED/LL is ineffective when the system is overloaded. To solve this problem, ED2/LL uses ED/LL or EDZL in normal load phase and uses EDA2 in overload phase. Experimental results show that ED2/LL achieves good performance in overload phase as wet] as in normal load phase.oad phase.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.8
• /
• pp.547-553
• /
• 2006

We present a new geometry coding method for 3D meshes, an adaptive subdivision. Previous localized geometry coding methods have demonstrated better compression ratios than the global approach but they are considered hard to use in practice partly due to time - consuming quantization. Our new localized scheme replaces this quantization with an adaptive subdivision of the localized range. The deeper level a user chooses, the closer to the original the mesh will be restored. We also present an improved connectivity coder upon the current leading Angle-Analyzer's by applying a context-modeling. As a result, our new coder provides reliable and intuitive controls between bit-rate and distortion without losing efficiency.

• Annual Conference on Human and Language Technology
• /
• 2010.10a
• /
• pp.166-171
• /
• 2010

본 논문은 한국어 온라인 리뷰 문서의 오피니언 분류(Opinion Classification)에 있어 그 핵심 키워드가 형용사 (Adjective) 범주라는 점을 고려하여, 한국어 형용사를 <문맥에 의존하지 않는 절대 극성>과, <문맥에 의존하여 극성이 바뀌는 상대극성>으로 대분류한 뒤 그 각각의 의미 극성을 하위 분류하는 작업을 수행하였다. 기존의 연구에서 특징적인 오피니언 어휘 수십개에 의존하여 자동 분류를 시도하고자 하였던 문제점을 극복하기 위해서는 한국어 형용사 전체 범주에 대한 체계적인 극성 분류가 이루어져야 할 필요가 있으며, 여기서 특히 상세히 주목받지 못했던 상대 극성 어휘에 대한 본격적인 의미 분류가 요구된다. 본 연구에서 제시하는 형용사의 극성 분류는 기존의 이론 언어학적 형용사 의미 분류와 달리 온라인 오피니언 문서에서 도메인에 따라 나타나는 특징적 의미 유형을 결정하고, 이를 기준으로 온라인 오피니언 문서의 극성 판별에 효과적으로 적용할 수 있는 사전을 구축하였다는 점에서 의의를 가진다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.12
• /
• pp.756-771
• /
• 2003

Digital Video Library System which manages a large amount of multimedia information requires efficient and effective retrieval methods. In this paper, we propose and implement a new video search and retrieval algorithm that compares the query video shot with the video shots in the archives in terms of foreground object, background image, audio, and its context. The foreground object is the region of the video image that has been changed in the successive frames of the shot, the background image is the remaining region of the video image, and the context is the relationship between the low-level features of the adjacent shots. Comparing these features is a result of reflecting the process of filming a moving picture, and it helps the user to submit a query focused on the desired features of the target video clips easily by adjusting their weights in the comparing process. Although the proposed search and retrieval algorithm could not totally reflect the high level semantics of the submitted query video, it tries to reflect the users' requirements as much as possible by considering the context of video clips and by adjusting its weight in the comparing process.

• School Mathematics
• /
• v.18 no.3
• /
• pp.527-539
• /
• 2016

A word 'is' in "A parallelogram is trapezoid." is ambiguous and very rich when it comes to its meaning. In this paper, 'is' as in everyday language will be identified as semantic primes that can be interpreted in different ways depending on context and situation, and meanings of 'is' in mathematics will be discussed separately. Focusing on 'identity', 'is' will be reinterpreted in the view of equivalence relation and van Hieles' work. 'Is', as a mathematical sign, is thought to have a significant importance in producing mathematical ideas meaningfully.

• Annual Conference on Human and Language Technology
• /
• 1995.10a
• /
• pp.300-309
• /
• 1995

언어표현에 대한 해석은 그 구성요소들의 통사적-어휘적 구조에 덧붙여 대명사의 동일지시를 살펴야 할 필요가 있다. 조응의 분석과 조응적 선행사를 찾기 위한 효과적인 방법을 발견하는 것이 컴퓨터 언어학(computational linguistics), 특히 자연언어 이해체계(Natural Language understanding system)에 관한 연구의 중심적인 문제라고 할 수 있다. 이 논문의 목적은 영어 조응표현을 개념구조 이론(Conceptual Structure Theory)의 개념도식(conceptual graph)에 의하여 기술함으로써 단문에서뿐만 아니라 복문, 양화구문, 그리고 담화에 이르기까지 언어 전반에 걸쳐 나타나는 동일지시성(coreferenciality)을 간단하고 일관성 있게 설명하는 것이다. 이러한 조응현상을 설명하기 위하여 필자는 개념도식상의 개념을 중심개념, 직접개념, 간접개념으로 구분하고 이들이 문맥깊이 등과 더불어 동일지시성을 설명하는데 중심적 역할을 함을 보이고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.370-372
• /
• 2002

다중처리기 상에서 실시간 태스크 스케줄링에 대한 연구가 현재 많이 수행되고 있지만, 주로 Pfair(P-fairness)와 EDF(Earliest Deadline First) 알고리즘에 대한 연구이다. Pfair는 이론적인 연구에 초점을 두고 있으며, EDF는 처리기들을 효율적으로 이용하지 못하는 문제점을 가지고 있다. 본 논문에서는 다중처리기 상의 주기적인 실시간 태스크 집합을 대상으로, LLA(Least Laxity Algorithm) 알고리즘이 높은 스케줄링 가능성(schedulability)을 가짐을 먼저 보인다. 다음으로 기존 알고리즘들의 문제점을 보완하기 위해 EDF와 LLA를 결합한 ED/LL(Earliest Deadline/Least Laxity)이라는 알고리즘을 제시한다. ED/LL은 LLA보다 문맥교환 횟수는 적고 EDF보다 스케줄링 가능성이 높으며, 구현 오버헤드도 크지 않다.

• Journal of Korean Philosophical Society
• /
• v.126
• /
• pp.25-52
• /
• 2013

In this thesis, the author will examine how modern philosophical expression manifests in the field of ethics based on Kant's Ethics. The author will critically assess whether Kant's Ethics is an appropriate rational theoretical alternative to overcome today's ecological crisis. In the first section, the author lists the characteristics of modernity. The purpose of this section is to show why Kant's Ethics must be understood in the context of modern age and how his ethics expresses the ideology of the modernity(I). In the second section, the author will analyze the challenge Kant's Ethics face in relation to ecological crisis from the context of dualism between person and thing(II). In the last section, the author will inspect the flaw of Kant's Ethics based on his positive position regarding vicarious duties toward animals, and pose the basic direction of the theory of ecological publicness that can overcome the limits of Kant's Ethics in the context of a critical reconstruction of neo-confucian tradition(III).

• The KIPS Transactions:PartB
• /
• v.18B no.6
• /
• pp.405-414
• /
• 2011

Korean grammar checkers typically detect context-dependent errors by employing heuristic rules that are manually formulated by a language expert. These rules are appended each time a new error pattern is detected. However, such grammar checkers are not consistent. In order to resolve this shortcoming, we propose new method for generalizing error decision rules to detect the above errors. For this purpose, we use an existing thesaurus KorLex, which is the Korean version of Princeton WordNet. KorLex has hierarchical word senses for nouns, but does not contain any information about the relationships between cases in a sentence. Through the Tree Cut Model and the MDL(minimum description length) model based on information theory, we extract noun classes from KorLex and generalize error decision rules from these noun classes. In order to verify the accuracy of the new method in an experiment, we extracted nouns used as an object of the four predicates usually confused from a large corpus, and subsequently extracted noun classes from these nouns. We found that the number of error decision rules generalized from these noun classes has decreased to about 64.8%. In conclusion, the precision of our grammar checker exceeds that of conventional ones by 6.2%.

• The Journal of Art Theory & Practice
• /
• no.2
• /
• pp.75-120
• /
• 2004

Studies on western art in Korea has been caught in a dilemma that they could deal with only those things which had been arranged according to their 'historical generalization' in their contexts because of the bounds of time and space. It is not trivial that such conditions affect art studies in Korea. Access to the original texts and to their contexts of production is so restricted that the studies on them are prone to he superficial. And it is not independent on the politics of Korean art scene. Such factors are on the background of Korean art's excessive 'assimilation or accordance' with western art. The domestic studies on western art history and art theory have failed to notice the differences in context and Korean art has simply mediated or reproduced the restricted information by those studies. Also the studies on western art in Korea have been made use of as a justifying method of one's own academic domains. In such situations we should lead the studies on western art history and western art theory to a more reflective direction and confirm that the studies should not have any privileges of the realities. And we should try to reform a scholarship which participates in our life and existence. The field of domestic studies on western art history and western art theory should free itself from the invention of objectivity or the neutrality of mechanical reading and turn its eyes to the realities of life where events happens. Constantly suggesting which way Korean art and world art should go has to be the field's new coordinates.