• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.481-488
• /
• 2006

FRP(Functional Reactive Programming) is a kind of embedded language in Haskell, it declaratively program reactive system based on two essential high-order types named behavior and events. This Paper design and implementation RT-FRP(Real-time Functional Reactive Programming) translator for using FRP in embedded systems with many constraints. The RT-FRP translator generates a C Program from an RT-FRP program according to the operational semantics of the RT-FRP language. To show the effectiveness of the RT-FRP translator, we loaded and executed the test program generated by the translator onto a real embedded system, LEGO Mindstorm. According to the experimental result, the reactive system software can be programmed more concisely using RT-FRP than using an imperative counter part although the size of the binary code is rather increased.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.1
• /
• pp.192-201
• /
• 2001

It has been a long standing problem in research of pure functional programming to program side-effect, input/output, exception handling, nondeterminism, and etc, preserving declarative property and lazy-evaluation of pure functional languages. Being introduced in 1989, Monadic approach has been suggested as a solution to this problem. In this paper, we introduce the principle of functional monadic programming and its various application techniques using the Pure functional language Haskell.

• Annual Conference on Human and Language Technology
• /
• 1997.10a
• /
• pp.381-388
• /
• 1997

말이라는 표현이 곧 약속인 것으로 쓰는 경우에 이 약속의 형성에 대한 고찰이 말의 형성에 대표적인 단면이 되리라고 믿는다. 여기에서는 약속의 경우를 통하여 우리의 입에서 내뿜는 공기가 어떻게 약속이나, 인사나 선언이 되는가를 말하는 "언화 행위 이론"이라고 불리워 지는 고찰을 시도한다. 먼저 이러한 언어 속의 법칙은 이 언어를 사용한다는 사실만으로 자생적으로 형성된다고 보고 또 이러한 관점에서 단순한 언어적인 사실에서부터 당위가 추론된다는 것을 따른다. 그래서 언화 행위도 분명한 역사(歷史)적인 사실(事實)을 형성(形成)하기 때문에 역사적인 사실에서 오는 어떠한 주어진 시점에서 그 주어진 상황 때문에 우리는 록 어떠한 일을 할 수 밖에 없는 역사(歷史)적인 당연(當然) 처방(處方)이 있다는 것을 말하고자 한다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.12
• /
• pp.3539-3547
• /
• 1999

Korean linguistic information for the generation modulo of KANT(Knowledge-based Accurate Natural language Translation) system was constructed. As KANT has a language-independent generation engine, the construction of Korean linguistic information means the development of the Korean generation module. Constructed information includes concept-based mapping rules, category-based mapping rules, syntactic lexicon, template rules, grammar rules based on the unification grammar, lexical rules and rewriting rules for Korean. With these information in sentences were successfully and completely generated from the interlingua functional structures among the 118 test set prepared by the developers of KANT system.

• The KIPS Transactions:PartB
• /
• v.10B no.1
• /
• pp.103-110
• /
• 2003

SMIL is a declarative markup language based on XML, which enables users to make effective multimedia presentations on the web by synchronizing media objects. In this paper, we design and implement a SMIL authoring tool which support Intuitive creation of web multimedia documents and diverse practical use of created information. Besides, creation, management and authoring module of SMIL document, it offers template interface depending on network bandwidth selection for general users to create multimedia presentation a convenient way. In addition, we implement SMIL document management facility for a large number of users, by connecting SMIL contents database sever.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.553-556
• /
• 2005

ANSI C 언어는 UNIX 시스템에서 뿐만 아니라 DOS 환경에서 수행되는 C 컴파일러와 각종 지원 도구가 개발되어 보급됨으로써 오늘날 널리 사용되는 범용 프로그래밍 언어 중 하나이다. EVM(Embedded Virtual Machine)은 ANSI C 언어와 SUN사의 Java 언어 등을 모두 수용할 수 있는 임베디드 시스템을 위한 가상 기계이며, SIL(Standard Intermediate Language)은 EVM에서 실행되는 중간언어로 다양한 프로그래밍 언어를 수용하기 위해서 객체지향 언어와 순차적 언어를 모두 수용하기 위한 연산 코드 집합을 갖고 있다. EVM을 위한 ANSI C 컴파일러는 ANSI C 언어를 받아 들여 EVM의 중간 언어인 SIL 코드를 출력한다. ANSI C 컴파일러에서 어휘 분석과 구문 분석 과정에서 인식되는 명칭에 대해서 그 속성들을 수집하고 이용한다. 이 속성들은 명칭이 명시적으로 혹은 묵시적으로 정의되는 곳에서 심벌 테이블에 수집된다. 본 논문에서는 수집된 정보가 올바르게 되었는지 확인하기 위하여 심벌 테이블에 있는 정보를 다시 ANSI C 언어로 복원시키는 역변역기(detranslator)를 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.735-738
• /
• 2000

인터넷과 데이터 통신의 발달에 따른 관련 기술의 발전과 대중화로 인하여 다양해진 정보를 손쉽게 구할 수 있게 되었고, 현재 통신산업의 환경 또한 급격히 변화하고 있다. 그러나, 과거의 정적인 텍스트 위주의 고정된 내용을 표현하는 웹 페이지 저작으로는 멀티미디어에 대한 급격히 증대되는 사용자의 요구를 수용할 수 없게 되었다. 이에 따라 1998년도에 시간에 기반을 둔 멀티미디어 데이터의 통합 및 동기화를 위한 효과적인 프리젠테이션 (Presentation)을 기술할 수 있는 SMIL(Synchronized Multimedia Integration Language)이 W3C(World Wide Web Consortium)의 Synchronized Multimedia Working Group (WG)에 의해 제안되었다. SMIL은 XML(eXended Markup Language)에 기반한 선언적 마크업 (Markup) 언어이며 텍스트 편집기 둥으로 쉽게 저작할 수 있으나, SMIL 또한 태그(Tag)기반 언어이므로 태그의 사용법을 숙지하여야만 효과적인 멀티미디어 프리젠테이션 제작이 가능하다. 이러한 난점을 극복하기 위해 본 논문에서는 Java를 기반으로 한 사용자 편의적인 SMIL 전용 저작도구의 설계, 구현 및 향후 개발 방향을 제시하였다.

• Annual Conference on Human and Language Technology
• /
• 2008.10a
• /
• pp.103-108
• /
• 2008

주제어는 정보 서비스를 비롯한 여러 응용 분야들에서 유용하게 사용되는 지식이지만, 주제어 간 관계가 다양할 뿐만 아니라 목적에 맞도록 개별적으로 설계됨으로써 주제어 관계 속성 유형과 무관하게 공유가 가능한 주제어 공통 표현 모델이 제시되지 못하였다. 본 연구는 응용 분야, 온톨로지 종류와 무관하게 적용될 수 있으며 시맨틱 웹 서비스 간 공유가 가능한 주제어 공통 표현 모델을 제시하고자 한다. 이를 위해, 주제어 관계를 범용 클래스로 정의하고, 주제어 관계 속성 유형을 데이터타입 속성 (Datatype Property)으로 선언하였다. 또한, 주제어 역시 그 속성 유형을 데이터타입 속성으로 선언하였는데, 결국 다양한 유형의 관계들을 용이하게 표현할 수 있도록 하기 위한 것이다. 실험을 위해 주제어 간 관계수가 70,804,233개이며 주제어 관계 속성 유형이 4가지인 과학 기술 기반 정보 온톨로지와 주제어 간 관계수가 44,147개이며 주제어 관계 속성 유형이 13가지인 표준 정보 온톨로지를 대상으로 본 연구에서 제안한 주제어 공통 표현 모델을 적용하였으며 총 284,744,802개의 RDF(Resource Description Framework) Triple을 생성하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.565-568
• /
• 2001

고속 인터넷과 멀티미디어 관련 기술의 발달에 따라 통합 멀티미디어 서비스의 기반 구축이 활발히 진행되고 있으며, 이에 따라 단순 이미지, 텍스트만으로 구성되었던 기존의 웹 서비스 환경은 급격히 변화하고 있다. 그러나, 과거의 정적인 텍스트 위주의 고정된 내용을 표현하는 웹 페이지 저작으로는 멀티미디어에 대한 급격히 증대되는 사용자의 요구를 수용할 수 없게 되었다. 이에 따라 1998년도에 시간에 기반을 둔 멀티미디어 데이터의 통합 및 동기화를 위한 효과적인 프리젠테이션(Presentation)을 기술할 수 있는 SMIL(Synchronized Multimedia Integration Language)이 W3C(World Wide Web Consortium)에 의해 제안되었다. SMIL은 XML(eXended Markup Language)에 기반 한 선언적 마크업(Markup) 언어이며 텍스트 편집기 등으로 쉽게 저작할 수 있으나, 태그(Tag)기반 언어이므로 태그의 사용법을 숙지하여야만 효과적인 멀티미디어 프리젠테이션 제작이 가능하다. 이러한 난점을 극복하기 위해 본 논문에서는 Java를 기반으로 한 SMIL 문서 템플릿 기능과 멀티미디어 소스의 미리 보기 기능을 지원하는 SMIL 저작도구의 설계, 구현에 대하여 서술한다.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.55-73
• /
• 2007

Importance of coordination among heterogeneous devices is significantly increasing to meet the challenges presented by the evolvement of the ubiquitous computing environment. The web services technology is going up as a promising solution to support the inter-operability between such heterogeneous devices via well-defined protocol. Currently, ECA(Event-Condition-Action) rule based framework for coordinating devices is proposed, it is called as WS-ECA(Web Services-ECA) framework. This framework was basically based on the web services and proposed the ECA based rule language, And this also proposed the framework that could enable the device coordination based on proposed rule language. In this paper, we propose the protocol among the components of WS-ECA framework to support dynamic feature for ubiquitous environment, and we also propose WSDL extension to support service and event descriptions these are provided in components of this framework.