• Journal of the Korea Convergence Society
• /
• v.8 no.12
• /
• pp.265-274
• /
• 2017

This paper examines the problems of big data analysis education and suggests ways to solve them. Big data is a trend that the characteristic of big data is evolving from V3 to V5. For this reason, big data analysis education must take V5 into account. Because increased uncertainty can increase the risk of data analysis, internal and external structured/semi-structured data as well as disturbance factors should be analyzed to improve the reliability of the data. And when using opinion mining, error that is easy to perceive is variability and veracity. The veracity of the data can be increased when data analysis is performed against uncertain situations created by various variables and options. It is the node analysis of the textom(텍스톰) and NodeXL that students and researchers mainly use in the analysis of the association network. Social network analysis should be able to get meaningful results and predict future by analyzing the current situation based on dark data gained.

• Annual Conference on Human and Language Technology
• /
• 2017.10a
• /
• pp.309-313
• /
• 2017

개체명은 인명, 지명, 조직명 등 문서 내에서 중요한 의미를 가지므로 질의응답, 요약, 기계번역 분야에서 유용하게 사용되고 있다. 개체명 인식은 문서에서 개체명에 해당하는 단어를 찾아 개체명 범주를 부착하는 작업을 말한다. 개체명 인식 연구에는 개체명 범주가 부착된 개체명 말뭉치를 사용한다. 개체명의 범주는 연구 분야에 따라 다양하게 정의되므로 연구 분야에 적합한 개체명 말뭉치가 필요하다. 하지만 이런 말뭉치를 구축하는 일은 시간과 인력이 많이 필요하다. 따라서 본 논문에서는 개체명 사전 기반의 반자동 말뭉치 구축 도구를 제안한다. 제안하는 도구는 크게 전처리, 사용자 태깅, 후처리 단계로 나뉜다. 전처리 단계는 자동으로 개체명을 찾는 단계이다. 약 11만 개의 개체명을 기반으로 하여 트라이(trie) 구조의 개체명 사전을 구축한 후 사전을 이용하여 개체명을 자동으로 찾는다. 사용자 태깅 단계는 사용자가 수동으로 개체명을 태깅하는 단계이다. 전처리 단계에서 찾은 개체명 중 오류가 있는 개체명들은 수정하거나 삭제하고, 찾지 못한 개체명들은 사용자가 추가로 태깅하는 단계이다. 후처리 단계는 태깅한 결과로부터 사전 정보를 갱신하는 단계이다. 제안한 말뭉치 구축 도구를 이용하여 752개의 뉴스 기사에 대해 개체명을 태깅한 결과 7,620개의 개체명이 사전에 추가되었다. 제안한 도구를 사용한 결과 사용하지 않았을 때 비해 약 57.6% 정도 태깅 횟수가 감소했다.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.3
• /
• pp.345-356
• /
• 2010

Variables and expressions are essential for doing mathematics. Especially abbreviations of the multiplication sign ${\times}$ and the division sign ${\div}$ are current rules that we usually follow. In this paper, we devised a Card-Game for exercising abbreviations of the multiplication sign ${\times}$ and the division sign ${\div}$ in calculating expressions, designed a teaching unit for the calculation of expressions using the Card-Game in the variables and expressions strand, and discussed the implications of using the Card-Game for motivating students, cooperative learning, diagnosis and correction of errors, and so on.

• Journal of Educational Research in Mathematics
• /
• v.14 no.2
• /
• pp.171-185
• /
• 2004

Students are exposed to a concept of tangent from a specific context of the relation between a circle and straight lines at the 7th grade. This initial experience might cause epistemological obstacles regarding learning concepts of tangent to additional curves. The paper provides a method of how to introduce a series of concepts of tangent in order to lead students to revise and improve the concept of tangent which they have. As students have chance to reflect and revise a series of concepts of tangent step by step, they realize the facts that the properties such as 'meeting the curve at one point' and 'touching but not cutting the curve' may be regarded as the proper definition of tangent in some limited contexts but are not essential in more general contexts. And finally students can grasp and appreciate that concept of tangent as the limit of secants and the relation between tangent and derivative.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.1053-1058
• /
• 2009

Digital cable TV(DCATV) is totally different with a existing TV which is passive, and can pick the contents anytime we want. It is very popular in many houses and we can see bright future with this. This study will show a standard that is a suitable and convenient VOD menu category for 20's through a various usability test. Moreover it will be provided new menu style and GUI through the preferences. For this, we found expected problems first through the heuristic analysis and did iterative usability test to verify and improve these problems. As a result of that, we improved errors of VOD menu structure and suggested new menu style including metaphor, colour and icon users can recognize easily. That is, VOD categories should be grouped among definite meanings. And we found using convenience is more important than new discovery of method on menu style for experienced users. This study can be not only based data when DCATV menu is renewed but also can be used as a reference data when designing other DCATV menu.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.12
• /
• pp.2132-2139
• /
• 2006

A parallel program including a nested parallelism has a complex execution aspects and tasks are executed concurrently. This concurrency is a main cause raising most of errors. In this paper, a new method for checking concurrency between two tasks is proposed. The existing techniques for checking the concurrency have their limits to represent a global structure. A new labeling technique that appropriate for image visualization is proposed. To show the global structure by imaging of execution aspects through region partition on 2D plane. On the basis of it, each of the tasks that can distinguish the ordered relation create an independent image. Image information generated by the result simplifies semantic analysis of the related task, and provides an outline of a global execution aspects structure of the program to user effectively.

• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.309-313
• /
• 2017

개체명은 인명, 지명, 조직명 등 문서 내에서 중요한 의미를 가지므로 질의응답, 요약, 기계번역 분야에서 유용하게 사용되고 있다. 개체명 인식은 문서에서 개체명에 해당하는 단어를 찾아 개체명 범주를 부착하는 작업을 말한다. 개체명 인식 연구에는 개체명 범주가 부착된 개체명 말뭉치를 사용한다. 개체명의 범주는 연구 분야에 따라 다양하게 정의되므로 연구 분야에 적합한 개체명 말뭉치가 필요하다. 하지만 이런 말뭉치를 구축하는 일은 시간과 인력이 많이 필요하다. 따라서 본 논문에서는 개체명 사전 기반의 반자동 말뭉치 구축 도구를 제안한다. 제안하는 도구는 크게 전처리, 사용자 태깅, 후처리 단계로 나뉜다. 전처리 단계는 자동으로 개체명을 찾는 단계이다. 약 11만 개의 개체명을 기반으로 하여 트라이(trie) 구조의 개체명 사전을 구축한 후 사전을 이용하여 개체명을 자동으로 찾는다. 사용자 태깅 단계는 사용자가 수동으로 개체명을 태깅하는 단계이다. 전처리 단계에서 찾은 개체명 중 오류가 있는 개체명들은 수정하거나 삭제하고, 찾지 못한 개체명들은 사용자가 추가로 태깅하는 단계이다. 후처리 단계는 태깅한 결과로부터 사전 정보를 갱신하는 단계이다. 제안한 말뭉치 구축 도구를 이용하여 752개의 뉴스 기사에 대해 개체명을 태깅한 결과 7,620개의 개체명이 사전에 추가되었다. 제안한 도구를 사용한 결과 사용하지 않았을 때 비해 약 57.6% 정도 태깅 횟수가 감소했다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.411-419
• /
• 2009

In order to derive hidden Information (concept subsumption, concept satisfiability and realization) of OWL ontologies, a number of OWL reasoners have been introduced. Most of the reasoners were implemented to be based on tableau algorithm. However this approach has certain limitation. This paper presents architecture for Medusa. The Medusa is an extended DL-reasoner for SWRL(Semantic Web Rule Language) reasoning under well-founded semantics with ontologies specified in Description Logic. Description logic based ontology reasoners theoretically explore knowledge representation and its reasoning in concept languages. However these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge base; specifically, rule and facts in logic programming, or interaction of rules and facts with terminology. In order to deal with the enriched reasoning, The Medusa provides combining DL-knowledge base and rule based reasoner. The described prototype uses $Prot{\acute{e}}g{\acute{e}}$ API[1] for controlling communication with the ontology reasoner.

• Journal of The Korean Association of Information Education
• /
• v.21 no.2
• /
• pp.161-169
• /
• 2017

We often use spellcheckers in order to correct the syntactic errors in our documents. However, these computer programs are not enough for elementary school students, because their sentences are not smooth even after correcting the syntactic errors in many cases. In this paper, we introduce an automated method for evaluating the smoothness of two synonymous sentences. This method uses a recurrent neural network to solve the problem of long-term dependencies and exploits subwords to cope with the rare word problem. We trained the recurrent neural network language model based on a monolingual corpus of about two million English sentences. In our experiments, the trained model successfully selected the more smooth sentences for all of nine types of test set. We expect that our approach will help in elementary school writing after being implemented as an application for smart devices.

• Korean journal of communication and information
• /
• v.76
• /
• pp.7-30
• /
• 2016

The purpose of this study is to review and criticize the articles that analyzed Frozen by using the semiotic method of Greimas. The study also aims to apply the semiotic method of Greimas correctly to find the deep structure of the narrative of Frozen. The results of the narrative analysis based on the actantial model and the semiotic square show that Frozen is not Elsa's heroic narrative but Anna's one. Because Elsa and Anna are the opposing elements in this narrative, the success of Anna is the failure of Elsa. Frozen does not convey the subversive message about the gender roles by representing an independent and active woman who resists the patriarchal discourse. Instead, Frozen reproduces the conformist ideology by saying that love is the most valuable thing and that everyone should accept the role given to him/her by the community.