• Journal of Information Processing Systems
• /
• v.11 no.1
• /
• pp.22-38
• /
• 2015

While Modern Standard Arabic is the formal spoken and written language of the Arab world; dialects are the major communication mode for everyday life. Therefore, identifying a speaker's dialect is critical in the Arabic-speaking world for speech processing tasks, such as automatic speech recognition or identification. In this paper, we examine two approaches that reduce the Universal Background Model (UBM) in the automatic dialect identification system across the five following Arabic Maghreb dialects: Moroccan, Tunisian, and 3 dialects of the western (Oranian), central (Algiersian), and eastern (Constantinian) regions of Algeria. We applied our approaches to the Maghreb dialect detection domain that contains a collection of 10-second utterances and we compared the performance precision gained against the dialect samples from a baseline GMM-UBM system and the ones from our own improved GMM-UBM system that uses a Reduced UBM algorithm. Our experiments show that our approaches significantly improve identification performance over purely acoustic features with an identification rate of 80.49%.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1998.06b
• /
• pp.55-62
• /
• 1998

This paper presents a method of controlling camera to present virtual space to participating users meaningfully. The users interact with each other by means of dialogue and behavior. Users behave through their avatars. So our problem comes down to controlling the camera to capture the avatars effectively depending on how they interact with each other. The problem is solved by specifying camera control rules based on cinematography developed by film producers. A formal language is designed to encode cinematography rules for virtual environments where people can participate in the story and can influence its flow. The rule has been used in a 3D chatting system we have developed.

• Journal of the Korea Society for Simulation
• /
• v.12 no.2
• /
• pp.45-53
• /
• 2003

This paper presents a retargetable compiled assembly simulation technique for fast ASIP(application specific instruction processor) simulation. Development of ASIP which satisfies design requirements in various fields of applications such as telecommunication, wireless network, etc. needs formal design methodology and high-performance relevant software environments such as compiler and simulator In this paper, we employ the architecture description language(ADL) named ${HiXR}^2$ to automatically synthesize an instruction-level compiled assembly simulator. A compiled simulation has benefit of time efficiency to interpretive one because it performs instruction fetching and decoding at compile time. Especially, in case of assembly simulation, instruction decoding is usually a time-consuming job(string operation), so the compiled simulation of assembly simulation is more efficient than that of binary simulation. Performance improvement of the compiled assembly simulation based on ${HiXR}^2$ is exemplified with an ARM9 architecture and a CalmRISC32 architecture. As a result, the compiled simulation is about 150 times faster than interpretive one.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1995.11a
• /
• pp.126-137
• /
• 1995

VDM-SL(Vienna Development Method - Specification Language)은 다양한 표준들의 정확한 기술을 위해 제시되고 있는 형식규격어의 하나로서 특히 보안표준의 표현에 적합한 형식규격어이다. 이러한 VDM-SL을 사용하여 보안표준의 표현 및 실행코드 생성의 정확성과 편리성을 제공하기 위한 다양한 도구들이 개발되고 있으며 이들 중 IFAD VDM-SL Toolbox는 가장 많은 기능을 구진 도구이다. 본 논문에서는 IFAD WDM-SL Toolbox를 이용해 해쉬알고리즘의 하나인 MD4 Message Digest Algorithm을 형식적 표현기법으로 나타내고 이를 바탕으로 참조구현 코드를 C++로 생성하는 방법을 설명한다. 또한 형식적 표현기법과 IFAD VDM-SL Toolbox를 이용해 생성된 참조구현코드의 실행 결과를 MD4의 테스트 벡터 (test vector)를 이용하여 RSA사에서 구현한 MD4 알고리즘과 비교 분석하여 형식적 표현기법을 이용하여 생성된 코드의 활용성에 대해 설명하고자 한다.

• English Language & Literature Teaching
• /
• v.7 no.2
• /
• pp.129-145
• /
• 2002

This paper compares the four official romanization systems (1948, 1959, 1984 and 2000) and analyzes the third- and fourth-year primary school English textbooks and teacher's guides in terms of romanization of personal names. This study is conducted with the assumption that the inconsistent use of romanization is due to two major causes, i.e., the frequent changes of the formal romanization systems and the exclusion of the romanization system from the school curriculum. The current third- and fourth-year primary school English text books (Ministry of Education, 2001) are chosen for the analysis because they are the first primary school English textbooks to be implemented based on the 7th National Curriculum. The study found that the textbooks and teacher's guides did not state which romanization system they were following and were not consistent in romanizing personal names. This study suggests including the current official romanization system in the current primary school curriculum and outlines a strategy for teaching the romanization system which suits the curriculum.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1136-1140
• /
• 2010

Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.

• Journal of the Korean Society for Library and Information Science
• /
• v.42 no.4
• /
• pp.463-480
• /
• 2008

This study was to review the possible characteristics and patterns that occur when comparing control language constructing guidelines, by analyzing the formal characteristics of folksonomy tags in university libraries. Based on subjected tags at university libraries for a period of 6 months the structure and form of folksonomy was examined. The object tags were analyzed based on the thesaurus development guidelines. The results for this research will provide baseline data for the use of folksonomy tag applications in digital libraries.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.1 no.1
• /
• pp.19-22
• /
• 1983

A contex-freegammar is defined over the Korean Alphabet which produces linear stings conforming to the sound structure of the language. Methods are then given for transforming these strings into a context-dependent syllabified two dimensional form Also the practical problems in developing d Korean line printer and suggestions for further research are presented.

• Journal of Korean Classical Literature and Education
• /
• no.16
• /
• pp.181-206
• /
• 2008

This paper focuses on the re-creation method of historically valuable literatured tale, "Samguk Yusa" to fairy tale as well as the problems and way of improvement shown in its recreation process using five publication samples. In case of the fairy tale based on the tale having original text, the understanding and judgement about that text as well as the focusing and causality of the story are needed to the fairy tale author. Moreover, it needs clear title for the comparison and relationship with original text and also it requires the fitting arrangement of history and fiction to evoke the imagination of child. In addition, to rise more interest of child, the various literary expression showing beauty of language, selection and understanding of original tale, acquirement of formal beauty as a literature and binding of books should be considered effectively. Through the effort of problem solving and new writing approaches for tale re-creation, we will get more interesting and instructive fairy tale, "Samguk Yusa".