소식지 제 6 호

차례


한국과학기술원 한태숙 교수 연구실 소개

한국과학기술원 한태숙 교수 연구실은 1991년에 설립되어 기존의 프로그래밍 언어 연구실과 합류하여 연구 분야의 다양화를 이루어왔다. 설립 초기에 함수 언어 분야가 새롭게 연구 분야로 추가가 되었고 기존의 분야에도 더욱 활기를 띄게 되었다. 특히 실험실 내의 분위기가 이론 중심의 연구에서 실무까지 가미된 균형있는 연구가 시작되었다는데 의미가 있다. 이에 따라 점차 멤버들의 연구 분야도 기존의 분야에만 국한되지 않고 다양해지고 있으며 실험실내 프로젝트 역시 이론 중심의 기초과제에서 실제적인 응용과제들로 바뀌어 왔다.
한태숙 교수 연구실의 주요 과제들을 살펴보면 다음과 같다. 92년부터 94년까지 스크립트 언어의 설계 및 수행기 개발에 대한 연구를 수행하였고, 95년부터 99년까지 스크립트 언어의 디자인과 구현에 대한 연구를 수행하였다. 97년부터 99년까지는 도서관 전산화를 위한 Description언어에 관한 연구를, 97년부터 98년까지 다중 사용자 3차원 가상 환경 시스템을 위한 모델링 언어의 설계 및 구현에 대한 연구를 수행하였고, 98년부터 99년까지 OO-VRML에 브라우저 구현에 대한 연구를 수행하였다.
현재 첨단정보기술연구센터(Advanced Information Technology Research Center: AITrc) 소속으로 정보 및 지식 표현 언어에 대한 연구를 수행하고 있다. 웹 통합 문서의 표준이라고 일컬어지고 있는 XML의 응용으로 X3D 3차원 모델 저작도구와 X3D 브라우저를 개발에 관한 연구이다. 이것을 통하여, 다양한 정보를 효과적으로 저작 및 표현하는 방법을 제시하고자 한다. (첨단정보기술연구센터와 관련된 자세한 연구내용은 "1총괄 3세부 과제 소개"부분을 참조). 한국과학기술원 한태숙 교수 연구실은 현재까지 한태숙 교수의 지도하에 박사 3 명, 석사19 명을 배출하여 우리 나라의 프로그래밍 언어 연구분야에 많은 기여를 하고 있으며, 현재는 박사과정 6 명, 석사과정 4명의 대학원생이 연구를 수행하고 있다.

제1총괄 3세부과제 소개

데이터베이스 컨텐츠는 시대에 따라 변해왔다. 과거 텍스트 기반 데이터베이스에서 시작하여 현재는 이미지, 사운드, 동영상을 포함하는 멀티미디어 기반 데이터베이스를 사용하고 있다. 그러나 가까운 미래에는 3차원 데이터베이스 컨텐츠의 시대가 도래할 것으로 기대된다. 따라서, 3차원 데이터베이스 컨텐츠의 효과적인 기술 방법을 연구하고, 데이터 저작 및 데이터베이스와의 인터페이스를 위한 도구를 개발한다. 제 1단계에서는 구조적 정보 기술 언어로서 X3D 문서 기술언어를 연구한다. X3D 문서 관리 방법을 설계 및 구현하고, 오디세우스 시스템과의 유기적인 연결을 목표로 한다. 제 2단계에서는 미들웨어 레벨에서 분산된 모듈간의 통합된 인터페이스를 설계하고 구현하며, 제 3단계에서는 어플리케이션 레벨에서 분산된 프로그램간의 통합된 인터페이스를 설계하고 구현한다. 이러한 연구를 통해서 얻을 수 있는 기대 효과는 다음과 같다. 첫째, 기존의 2차원 멀티미디어 기반 데이터베이스 모델을 3차원으로 확장하여, 3차원 데이터 모델링과 3차원 데이터 저작도구 및 브라우저에 대한 핵심 기술을 획득할 수 있다. 둘째, 3차원 현실세계의 사용자의 욕구를 충분히 충족시킬 수 있는 전자도서관, 전자상거래 분야에서 효과적으로 응용될 수 있을 것이다.

구분 연 구 내 용
제 1 단계
  • 언어 수준에서의 구조적 정보 표현 방법 연구
  • 응용 프로그램 설계 및 구현n
  • 시스템의 안정화와 통합
제 2 단계
  • 미들웨어 레벨에서 분산 환경을 지원하는 언어 연구
  • 다양한 모듈들을 통합하기 위한 공통된 인터페이스를 구현
  • 시스템 안정화 및 분산통합정보 시스템과의 유기적인 결합
제 3 단계
  • 어플리케이션 레벨에서 분산 환경을 지원하는 언어 연구
  • 다양한 어플리케이션들을 통합하기 위한 공통된 인터페이스를 구현
  • 시스템 안정화 및 분산통합 정보 시스템과의 유기적으로 결합

차세대 표준이 될 XML에 관한 연구

첨단정보기술연구센터 참여교수 KAIST 전산학과 심규석 교수

W3C라는 단체에서 표준화하고 있는 XML이란 새로운 언어가 월드와이드웹(WWW)에서 데이터를 표현하는 주요한 표준으로 자리잡고 있다. XML의 제안은 "어떤 형태의 데이터이던지 표준 개방 형태(Standard open format)로만 표현되면 자유롭게 주고받을 수 있고 조작할 수 있게 하겠다"는 목표로 출발했다. 이런 유연성을 갖는 XML은 전자상거래와 지능형 웹 검색과 같은 차세대 애플리케이션을 접목한 웹에서의 서류(document) 교환, 질의(query)하는 표준으로 급부상하고 있다. XML 데이터는 반정형(semistructured) 데이터의 한가지 형태다. XML 데이터는 계층적으로 구조화된 엘리먼트의 모임으로써 각각의 엘리먼트는 기본적인 단순한 타입이거나(atomic), 아니면 다른 요소들의 모임으로 이뤄져 있다. 더구나 XML 서류들의 각 엘리먼트에는 '태그'라는 것이 있어 HTML에서처럼 단지 엘리먼트를 어떻게 표현할까를 표시한다기보다는 그 데이터의 의미(semantic)를 나타내 줄 수 있다. 그러므로, 반정형 데이터와 같이 XML 데이터는 계층적으로 구조화되고 또 자기 스스로 묘사하는 형태다. 하지만 XML이 반정형 데이터와 다른 점은 자유 선택으로(optionally) 동반되는 DTD라는 개념이다. XML 서류에 들어있는 DTD는 서류의 내부 구조를 명시하는 역할을 담당한다. 본질적으로 DTD는 각각의 엘리먼트에 그 엘리먼트의 서브 엘리먼트가 따라야 하는 규칙적인 표현(regular expression) 패턴을 표시해준다. DTD는 산업의 표준으로서 전자 서류들의 자유로운 교환을 가능하게 해줄 뿐 아니라, DTD에 따르는 서류들의 내용을 추출하고 이해하고 분석할 수 있게 해준다. 그 외에도 DTD는 XML 데이터의 구조를 정의할 수 있는 기본적인 수단을 제공한다. 그렇기 때문에, DTD는 XML 데이터의 효율적인 저장뿐만 아니라 XML 서류들의 수집에 대한 질의생성(formulation), 최적화(optimization), 처리(processing) 등에 관해 아주 중요한 역할을 담당한다. 예를 들면, DTD는 XML 데이터의 질의에 대한 처리에 있어 데이터의 적절한 부분만을 검색할 수 있게 해줘 처리를 빠르게 해준다. 기본적인 아이디어는 DTD에 의해 나타내어지는 데이터 구조에 대한 정보를 이용해 질의의 path expression을 만족할 가능성이 없는 엘리먼트를 자르는데 사용하는 것이다. 이러한 DTD의 중요성에도 불구하고, DTD는 XML 서류에 반드시 제공돼야 하는 것이 아니다. 그렇게 때문에 많은 XML 데이터들은 DTD를 갖지 않는 경우가 많다. 하지만, DTD가 주어지지 않더라도 스키마 정보는 실제 XML 데이터에 '태그'라는 형태로 이미 들어가 있다. 이러한 특징은 XML 데이터가 반정형 데이터 모델을 따르기 때문이다. 그렇기 때문에, 본인이 개발한 XTRACT와 같은 데이터마이닝 기술을 이용한 DTD 추출기를 이용하면 DTD는 추정할 수 있다. 현재 XML 데이터를 어떤 시스템을 이용하는 것이 가장 효과적으로 저장할 수 있는지에 관하여 연구 하고 있다. 기존의 객채 지향형 데이터베이스 시스템이나 관계형 데이터베이스 시스템을 이용하는 것이 좋은지 아니면 XML 데이터를 위한 새로운 Repository가 필요한 지에 관하여 연구 하고 있다. 또한 XML 질의의 효과적인 처리와 XML 데이터를 처리하기 위한 인덱스에 관하여 연구하고 있다.

제2차년도 실적 평가 및 제3차년도 예산 배정


센터의 제2차년도 실적 평가가 지난 2000년 12월20- 2001년1월 13일 18일간에 걸쳐 이루어졌다. 평가는 과학재단의 각 단계별 평가 기준에 준하여 총괄과제, 세부과제, 연구원 별로 자체적으로 작성하여 제출한 평가표를 기준으로 총괄과제 책임자 평가와 소장 평가를 통하여 이루어졌다. 평가 결과는 제3차년도 예산 작성시 반영되어 평가 결과에 따라 연구원의 연구비를 배정하였다.

센터 제3차 운영위원회 개최

2001년 2월 22일, 제3차 운영위원회가 센터 자료실에서 열렸다. 이번 운영위원회에는 구자윤(한양대 전자재료 및 부품연구센터소장) 운영위원을 비롯하여 총 4명의 운영위원 및 과제책임자들이 참석하였으며, 2000년도 결산과 2001년도 예산을 검토 및 승인하고 센터운영에 관한 제반 사항에 대하여 논의하였다.

특허출원

[1] 이광형, 신준범, "이중해쉬체인을 이용한 전자 지불 시스템," 대한민국(출원중).

Nguyen, Hoang Phuong 전문가 초청 강연회


2001년 2월 27일 베트남의 퍼지 분야의 전문가이자 베트남 Vietnamese Fuzzy Systems Society (VFSS)의 의장을 맡고 있는 Nguyen, Hoang Phuong 전문가를 초청하여 현재 베트남에서 퍼지 및 인공지능의 관한 연구 활동에 대해서 알아 보았다. 또한 Phuong 교수는 퍼지 테크놀러지에서 사용되어지는 수학적인 방법론에 대해서 강연하였고 강연이 끝난 후 참석자와 토론의 시간을 가졌다.

RTCSA 국제학술대회


2000년 12월 한국 과학 기술원 첨단정보기술연구센터의 도움으로 7번째 RTCSA(Real-Time Computing Systems and Applications) 국제 학술대회를 제주도 제주시 KAL 호텔에서 개최하였다. 본 국제 학술대회에서는 전세계에 걸친 학교 및 산업계에서 다양한 참가자들이 좀 더 나은 실시간 컴퓨팅 시스템 및 그 응용에 대한 발표를 하였다. 특히 다수의 제출된 논문에서 엄격히 심사된 41편의 논문과 28편의 요약 논문에 대한 발표가 이루어졌으며, 이와 더불어 초대 발표자로서는 Prof. Aloysius K. Mok, Prof. Giorgio Buttazzo, Dr. In Ryu등이 참석하여 3일간에 걸쳐 값진 토론 시간을 가질 수 있었다.

엄낙웅 박사 초청강연 세미나


2001년 2월 20일 1총괄(김태환 교수)주관으로 ETRI에서 ASIC 개발팀장으로 있는 엄낙웅 박사님을 초청하여 세미나를 개최하였다. 본 세미나에서 엄낙웅 박사님은 Silicon-IP에 대해서 소개하고 이 Silicon-IP와 관련하여 진행되고 있는 연구들과 향후 과제에 대해 발표하셨고 이에 관한 토론이 뒤따랐다.

지식표현 및 X3D Browser 기능검토 및 구현에 관한 세미나


2001년 2월 20일 1총괄 3세부 주관으로 한국 외국어 대학교 정보통신공학부 홍진표 교수님을 초청하여 세미나를 개최하였다. 본 세미나에서 홍진표 교수님은 현재 1총괄 3세부에서 개발중인X3D 브라우져의 기능 검토와 구현에 있어서의 문제점, 그리고 실제 적용 사례 조사를 논의하였고 향후 과제에 대해 토론을 하였다.

이강 박사 초청강연 세미나


2001년 2월 5일부터 15일까지 안동대학교 전산학과 강원석 교수를 초청하여 전산학동 세미나실에서 ‘‘다국어 전문용어사전과 사전구축시스템’’에 관한 특강을 마련하였다. 2001년 2월 23일 1총괄(김태환 교수)주관으로 한동대학교 전임강사로 있는 이강 박사님을 초청하여 세미나를 개최하였다. 본 세미나에서 이강 박사님은 reconfigurable computing을 소개하고 reconfigurable computing의 효용가치와 연구현황 및 향후 과제에 대해 발표하였고 이에 따른 토론이 있었다

제28회 NewDB 연구모임


제28회 NewDB모임이 지난 2000년 12월 16일, 한국과학기술원 전산학과 세미나실에서 황규영 교수, 이기준교수(부산대학교), 현순주 교수(ICU)등이 참가한 가운데 열렸으며, 최신 데이터베이스 분야의 연구결과에 대하여 발표하고 최신 기술동향에 대한 의견을 나누었다.

제29회 NewDB 연구모임


제29회 NewDB모임이 지난 2001년 2월 19일-2월 20일,강원도 홍천에서 황규영 교수, 이기준교수(부산대학교), 이도헌 교수(전남대),정종기(오라클)등을 모시고, 이동공간 데이터베이스, 웹 데이터 마이닝, 데이터웨어하우스, 고객관계관리(CRM)등에 관한 최신 연구동향 및 연구결과를 발표하고 이에 대한 열띤 토론을 가졌다.

프랑스 INSA de Lyon과 첨단정보기술연구 협력체제 구축 협의 세미나

최근 연구 논문 List

게재된 논문

제 1 총괄과제

● 제1세부과제
국제 논문지
[1] Woong-Kee Loh, Sang-Wook Kim, and Kyu-Young Whang, ''Index Interpolation: A Subsequence Matching Algorithm Supporting Moving Average Transform of Arbitrary Order in Time-Series Databases,'' IEICE Trans. on Information and Systems, Vol. E84-D, No. 1, pp. 76-86, Jan. 2001.
[2] Ki-Seok Chung, Taewhan Kim and C. L. Liu, ''G-vector: A New Model for Glitch Analysis in Logic Circuits,'' Journal of VLSI Signal Processing, Vol.27, No.3, pp.235-252, March 2001.

국제 학술대회
[1] Woong-Kee Loh and Sang-Wook Kim, ''A Subsequence Matching Algorithm Supporting Moving Average Transform of Arbitrary Order in Time-Series Databases Using Index Interpolation,'' In Proc. the 12th Australasian Database Conference (ADC), Gold Coast, Australia, Jan. 2001.
[2] Youngtae Kim and Taewhan Kim, ''Accurate Design Exploration of Arithmetic Circuits using Carry-Save Adders,'' IEEE Asia and South Pacific Design Automation Conference (ASP-DAC), pp.622-627, Jan. 2001.
[3] Jin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, ''Implementing Real-Time Scheduling Daemon in General Purpose Operating System Unix,'' Real-Time Computing Systems and Applications, IEEE Computer Society, Dec. 12-14, 2000.

국내 논문지
[1] 김 원영, 이 영구 황 규영, ''객체지향 데이터베이스 관리 시스템에서의 부분철회,'' 정보과학회논문지:데이터베이스, Vol. 27, No. 4, pp. 549-561, 2000년 12월.
[2] 김태환, ''네트워크-플로우 방법에 기초한 통합적 데이터-경로 합성 알고리즘,'' 정보 과학회 논문지: 컴퓨터시스템 및 이론, Vol.27, No.12, pp.981-987, 2000년12월.
[3] 홍성백, 김태환, ''저전력을 위한 버스-인버트 코딩 분할 기법,'' 정보 과학회 논문지: 컴퓨터시스템 및 이론, Vol.28, No.1, 2001년1월.
[4] 박채령, 김영태, 김태환, ''저전력 데이터-경로를 위한 효율적인 고수준 합성 알고리즘,'' 정보 과학회 논문지: 컴퓨터시스템 및 이론, Vol.27, No.2, 2000년 2월.
[5] 김훈, 한상훈, 홍의경, ''XML문서 저장 시스템, '' 정보 과학회 데이터베이스 연구, Vol.16, No.2, 2000년 12월.

국내 학술대회
[1] 김훈, 홍의경, ''객체관계형 데이터베이스를 이용한 XML문서 저장 모델 설계,'' 정보 과학회 추계학술대회, 2000년 10월 27-28일.
[2] 한상웅, 홍의경, ''ORDBMS를 이용한 XML문서 저장 시스템의 설계 및 구현, '' 정보 과학회 추계학술대회, 2000년 10월 27-28일.

●제2세부 과제
국제 논문지
[1] Sudipto Guha, Rajeev Rastogi, Kyuseok Shim, ''CURE:An Efficient Clustering Algorithm for Large Databases,'' Information Systems, pp. 37-60, Feb. 2001.

● 제3세부 과제
국제 논문지
[1] Joonseon Ahn, Taisook Han, ''An Analytical Method for Parallelization of Recursive Functions,'' Parallel Processing Letters, Vol. 10, No. 1, pp. 87-98, 2000.
[2] Jeonghee Kim, Taisook Han, Suk Kyoon Lee, ''VOQL:A visual Object-Oriented Database Query Language for Visualizing Path Expressions,'' Intermational Journal of Computer Systems Science & Engineering, Vol. 15, No. 4, pp. 215-323, 2000.

국내 논문지
[1] 박희완, 한태숙, ''선택적 레덱스 트레일 기반의 디버거,'' 정보과학회 논문지:소프트웨어 및 응용, 2000년 9월

제 2 총괄과제

● 제1세부 과제
국제 논문지
[1] Seihwan Park and H. Lee-Kwang, ''Type-2 Fuzzy Hypergraphs Using Type-2 Fuzzy sets,'' Journal of Advanced Computational Intelligence, Vol. 4, No 5, 2000.
국제 학술대회 [1] Young-il Kim and Hyung Lee-Kwang, ''A Pseudo Metric on Fuzzy Sets Based on the Satisfaction Function with Viewpoint,'' SOFT SCIENCE Workshop 2001.
[2] Young-Woo, Byoung-Tak, ''Learning User’s Preferences by Analyzing Web-browsing Behaviors,'' 2000 Int’l Conference on Autonomous Agents(Agents-2000), pp. 381-387, June 3-7, 2000.

국내 논문지
[1] 이광수, 신준범, 이광형, ''비대칭 피스텔 네트웍을 이용하는 순열 생성기의 유사 랜덤 증명,'' 정보과학회논문지: 시스템 및 이론, Vol. 27, No. 12, pp. 974-980, 2000.

국내 학술대회
[1] 이승수, 이광형, ''사용자 모델링을 위한 계층적 퍼지 그래프'' HCI 2001 학술대회 발표논문집, pp. 409-414, Feb. 5-7, 2001.

● 제2세부 과제
국제 학술대회
[1] Ae-kyung Yang, Hyung-il Choi, ''Hierachical Framework for Expression Recognition,'' Lecture Notes in Computer Science, Vol.1948, pp.184-190, 2000.
[2] Ae-kyung Yang, Joo-Chul Park, Hyung-il Choi, ''Lane Detection Using a Kalman Filter,'' International Journal of Computers and their Applications, Vol.7, No.4, pp.193-199, Dec. 2000.

국내 논문지
[1] 장석우, 최형일, ''탐색 영역과 특징의 가중치를 동적으로 조절하는 활동적 블록 정합 알고리듬,'' 정보과학회 논문지: 소프트웨어 및 응용, 제27권, 제12호, pp.1193-1201, 2000년12월.
[2] 이찬호, 박주철, 최형일, ''정규화된 웨이블렛 특징에 의한 얼굴인식,'' 정보과학회 논문지:소프트웨어 및 응용, 제27권, 제10호, pp.1046-1053, 2000년 10월.

제 3 총괄과제

● 제 1세부 과제
국제 학술대회
[1] Yong Seok Choi, Juho Lee, Jin-Xia Huang, Key-Sun Choi, ''Cross-Language Information Retrieval System for Korean-Chinese-Japanese-English Language, '' In Proc. the 38 Annual Meeting of the Association for Computation Lingustics(ACL 2000, demo), pp. 28-29, Hong Kong, Oct. 1-8, 2000.

국내 학술대회
[1] 시정곤, ''정보화 시대와 형태 연구의 새로운 방향,'' 한민족어문학회 2000년 전국학술발표대회, pp. 10-32, 2000년 10월.
[2] 김미령, 시정곤, ''국어사전에서의 전문용어 분류에 대한 연구,'' 제3회 전문용어언어공학 심포지움 발표논문집, pp. 67-77, 2000년 12월.

● 제 3세부 과제
국내 학술대회
[1] 이진복, 박종철, ''결합범주문법을 이용한 전자상거래에서의 자연스러운 답변 생성,'' Human Computer Interaction(HCI) symposium, pp. 314-319 2001년 2월 5일-7일.
[2] 이호동, 박종철, ''결합범주문법을 이용한 자연언어 인터페이스,'' 정보과학회 추계학술대회 논문집, pp. 173-175, 2000년 10월27일-28일.
[3] 이진복, 박종철, ''결합범주문법을 이용한 유동양화사 처리,'' 정보과학회 충청지부 제12회 추계학술대회 논문집, pp. 117-122, 2000년 11월. 117-122, 2000년 11월.

제 4 총괄과제

● 제 2세부 과제
국제 논문지
[1] Hyojeong Song, Boseob Kwon, Ikhyeon Jang, Hyungsoo Yoon, ''An output queueing analysis of multipath ATM switches,'' Journal of Systems Architecture, Vol. 46, pp.1005-1012, 2000.

국제 학술대회
[1] Namgi Kim, Sungkee Jean, and Hyungsoo, ''A Study of Cache Replacement Schemes for Data-Driven Label Switching Networks,'' the 3rd International Conference on Advanced Communication Technology 2001, pp. 106-111, MujuResort, Korea, Feb. 8-10, 2001.

국내 논문지
[1] 신규용, 권위남, 권보섭, 윤현수, ''광역무선 ATM네트웍에서 한 단계로 수행되는 점진적 경로 재 설정기법,'' 한국정보과학회 논문지:정보통신, 제27권 제4호, pp. 396-406, 2000년 12월.
[2] 조민희, 송효정, 권보섭, 윤현수, 조정완, ''멀티캐스트 트래픽을 지원하는 입력 버퍼 ATM스위치에서의 셀 스케줄링 기법,'' 한국정보과학회 논문지:정보통신, 제27권 제9호, pp. 331-338, 2000년 9월.

● 제 3세부 과제
국제 논문지
[1] H.S. Hong, Y.G.Kim, S.D. Cha, D.H. Bae, H. Ural, ''A Test Sequence Selection Method for Statecharts,'' Journal of Software Testing, Verification, and Reliablity, pp. 203-227, 2000.

국내 논문지
[1] 이남희, 서선애, 김태효, 차성덕, 이재원, 박기웅, ''MSCTest-내장소프트웨어 테스트를 위한 자동화 도구,'' 정보과학회 논문지 : 컴퓨팅 실제, 제6권, 제2호, pp. 187-195, 2000년 4월.
[2] 이장수, 차성덕, ''복합 실시간 계통의 요구사항 명세와 안전성 분석을 위한 정성적 정형기법,'' 정보과학회논문지 : 소프트웨어 및 응용, 제27권, 제2호, pp. 120-133, 2000년 2월.

국내 학술대회
[1] 지은경, 홍형석, 차성덕, ''실시간 모델 체커를 이용한 월성SDS2의 명세 및 검증,'' 정보과학회논문지 추계학술대회, pp. 385-387, 2000년 10월.

게재 승인 및 심사중인 논문

제 1 총괄과제

● 제1세부 과제
국제 논문지
[1] Hong-Suk Seo, Kyu-Young Whang, Yang-Sae Moon, Ji-Woong Chang, and Eui-Kyeong Hong, ''Navigation Stability: A New Isolation Level in ORDBMSs,'' IEICE Trans. on Information and Systems (accepted), 2001.
[2] Wook-Shin Han, Yang-Sae Moon, and Kyu-Young Whang, ''PrefetchGuide: Capturing Navigational Access Patterns for Prefetching in Client/Server Object-Oriented/Object-Relational DBMSs,'' Journal of Objected-Oriented Programming (accepted), 2001.
[3] Sang-Ho Lee, Yang-Sae Moon, Kyu-Young Whang, and Il-Yeol Song, ''DyBASe: A Buffer Allocation Scheme for Reducing Average Initial Latency in Video-on-Demand Systems,'' Information Sciences (accepted), 2000.
[4] Youngtae Kim and Taewhan Kim, ''Accurate Exploration of Timing and Area Trade-offs in Arithmetic Optimization using Carry-Save-Adders,'' Journal of Circuits, Systems and Computers (accepted).

국제 학술대회
[1] Wook-Shin Han, Kyu-Young Whang, Yang-Sae Moon, and Il-Yeol Song, ''Prefetching Based on the Type-Level Access Pattern in Object-Relational DBMSs,'' In Proc. the 17th IEEE Int’l Conf. on Data Engineering (ICDE), Heidelberg, Germany (accepted), Apr. 2001.
[2] Yang-Sae Moon, Kyu-Young Whang, and Woong-Kee Loh, ''Duality-Based Subsequence Matching in Time-Series Databases,'' In Proc. the 17th IEEE Int’l Conf. on Data Engineering (ICDE), Heidelberg, Germany (accepted), Apr. 2001.
[3] Sang-Ho Lee, Kyu-Young Whang , Yang-Sae Moon, and Il-Yeol Song, ''Dynamic Buffer Allocation in Video-on-Demand Systems,'' In Proc. the 2001 ACM SIGMOD Intl. Conf. on Management of Data, Santa Barbara, California (accepted), May 2001.
[4] Taewhan Kim, Ki-Seok Chung, and C. L. Liu, ''A Static Estimation Technique of Power Sensitivity in Logic Circuits,'' ACM Design Automation Conference (DAC) (accepted), June 2001.
[5] Nak-Woong Eum, Taewhan Kim, and Chong-Min Kyung, ''An Accurate Evaluation of Routing Density for Symmetrical FPGAs,'' ACM Great Lakes Symposium on VLSI (GLSVLSI) (accepted), March 2001.

국내 논문지
[1] 이 영구, 문 양세, 황 규영, 송 일렬, ''다차원 온라인 분석처리에서 최소 버퍼 크기를 사용한 원-패스 집계 알고리즘,'' 정보과학회논문지:데이터베이스 (submitted), 2000.

● 제2세부 과제
국제 논문지
[1] Minos Garofalakis, Rajeev Rastogi, Kyuseok Shim, ''Mining Sequential Pattern with Regular Expression Constraints,'' IEEE Transactions on Knowledge and Data Engineering (accepted), 2001.
[2] Rajeev Rastogi, Kyuseok Shim, ''Mining Optimized Support Rules for Numeric Attributes,'' Information System Journal (accepted), 2001.
[3] Rajeev Rastogi, Kyuseok Shim, ''Mining Optimized Association Rules with Categorial and Numeric Attributes,'' IEEE Transactions on Knowledge and Data Engineering (accepted), 2001.
[4] Kyuseok Shim, ''High Dimesional Proximity Joins,'' IEEE Transactions on Knowledge and Data Engineering (accepted), 2001.

제 2 총괄과제

● 제 1세부 과제
국제 논문지
[1] Hyung Lee-Kwang, Jee-Hyong Lee, Seihwan Park, ''Survey on Fusion methods Fuzzy Systems, Neural networks and Genetic algorithms, '' IEEE Transation on SMC part C (submitted), 2001.
[2] Jun-Bum Shin and Kwang H. Lee, ''An Attack on Zhou's Fix of IKE,'' Electronics Letters (submitted), 2001.
[3] Jun-Bum Shin and Kwang H. Lee, ''A New Security Flaw in IKE, '' Electronics Letters, (Submitted), 2001.
[4] Jun-Bum Shin and Kwang H. Lee, ''A Solution to the Protocol Interaction Problem,'' Information Processing Letters (submitted), 2001.
[5] Jun-Bum Shin and Kwang H. Lee, ''A New Weakness in TLS Protocols,'' Information Processing Letters (submitted), 2001.

국제 학술대회
[1] Seihwan Park and H. Lee-Kwang, ''Design Method for Type-2 Fuzzy Logic Systems Using Genetic Algorithms, '' IFSA/NAFIPS 2001 (accepted), 2001.
[2] Dae-Won Kim and Hyung Lee-Kwang, ''A New Fuzzy Information Retrieval System based on User Preference Model, '' FUZZ-IEEE 2001 (submitted), 2001.
[3] Jun-Bum Shin and Kwang H. Lee, ''Ciphersuite rollback Attacks on TLS, '' CRYPTO'01 (submitted), 2001.
[4] Sun Kim and Byoung-Tak Zhang, ''Evolutionary Learning of Web-Document Structure for Information Retrieval,'' The 2001 Congress on Evolutionary Computation (CEC 2001) (accepted), Seoul, Korea, May 2001.

국내 논문지
[1] 이지형, 이광형, ''퍼지만족함수를 이용한 퍼지숫자의 퍼지정렬, '' 한국정보과학회논문지 (submitted), 2000년.

● 제 2세부 과제
국내 논문지
[1] 이중재, 최형일, ''실린더형 원형모델 기반의 영상정렬 알고리즘을 이용한 얼굴 텍스쳐 생성,'' 정보과학회논문지:소프트웨어 및 응용 (submitted), 2001.

국제 학술대회
[1] Seok-Woo Jang, Hyung-il Choi, ''Size-Variable Block Matching for Extracting Motion Information,'' EMMCVPR (submitted), 2001.
[2] Seok-Woo Jang, Hyung-il Choi, ''Shot Transitions for Video Indexing with FAM,'' ICANN (submitted), 2001.

제 3 총괄과제

● 제 2세부 과제
국내 논문지
[1] 황도삼, ''웹기반의 언어자원 객체화에 근거한 사전개발 시스템,'' 한국인지과학회 논문지 (accepted), 2001년.
[2] 황도삼, 최기선, ''웹기반 사전개발 시스템과 그래프 편집기능을 가진 사전개발 시스템,'' 전문용어연구3 (accepted), 2001년.
[3] 도진희, 황도삼, ''전문용어 동사사전 구축,'' 전문용어연구3 (accepted), 2001년.

● 제 3세부 과제
국제 학술대회
[1] Hodong Lee and Jong C. Park, ''Translating Natural Language Queries into Formal Language Queries with Combinatory Categorial Grammar,'' International Conference on Computer Processing of Oriental Languages (accepted), 2001.
[2] Hwa-Jin Lee and Jong C. Park, ''Computational Generation of Context-based Intonation for Korean with Combinatory Categorial Grammar,'' International Conference on Computer Processing of Oriental Languages (accepted), 2001.

제 4 총괄과제

국제 논문지
[1] Kihyun Pyun and Heung-Kyu Lee, ''The SCED Service Discipline with O(1) Complexity for Deadline Calculation,'' IEICE transactions on Communication (submitted), Dec. 2000.

국제 학술대회
[1] Sung-Il Kang, Sang-Kyu Bae, Junehwa Song, Heung-Kyu Lee, ''Access Emulation and Buffering Technique For Streaming of Non-stream Format Video Files,'' Int. Conf. on Consume Electronics(ICCE) (accepted), 2001.

ACL 2000 국제 학술대회 참관기

KAIST 전산학과 박사과정 김정재

지난 2000년 10월 2일부터 7일까지 홍콩에서 개최된 ACL 2000 (the 38th Annual Meeting of the Association for Computational Linguistics)에 논문 발표 차 참석하였다. 처음으로 국제학술대회에 참석하는 데다가 첫날에 영어로 발표하는 부담 때문에 여행 내내 긴장되어 있었다. 홍콩에 도착하여 호텔을 찾아가는 과정에서 잘 되진 않았지만 영어로 대화를 나누면서 목적지를 찾아가는 과정이 즐거웠고 자신감도 얻게 되는 과정이었다. 호텔방에 앉아 다음날 있을 발표자료를 다시 보면서 준비하고 긴장을 최대한 풀려고 했던 게 홍콩에서의 첫날에 대한 기억의 전부이다. 드디어 논문을 발표하는 날 아침이었다. 아침에 늦게 일어난 것은 아니었는데 Conference 장소에서 발표장소를 빨리 찾지 못해 내 바로 전 발표가 시작한 다음에야 홀 안에 들어갈 수 있었다. Session Chair에게 나를 알리고 마지막으로 발표자료를 확인하고 첫날 아침이라서 그런지 그렇게 많아 보이지 않은 청중 앞에서 발표를 마칠 때까지 어떻게 시간이 흘러갔는지 기억이 잘 나질 않는다. 다만 질문시간에 약간의 오해를 받을만한 부분에 대한 설명과 내 논문의 contribution에 대한 분명한 설명을 답변으로 단에서 내려온 다음 그때까지 쌓였던 긴장이 한순간 녹아내렸던 것을 기억한다. 한국어에서 영어로 기계번역하는 것에 관한 논문이라서 그런지, 내 영어가 신통치 않아서 그런지, 발표가 끝난 다음에 찾아와서 묻고 하는 사람 없었지만 저녁 banquet에서 만난 인도에서 오신 박사님 한 분과의 우연한 만남에서 내 논문을 기억하고 인상적이었다고 하신 말씀이 많은 위로가 되었다. 그렇게 해서 만난 분이 인도의 자연언어처리 분야에서 매우 뛰어난 분이라는 것도 알게 되어 더욱 기뻤고 나눈 대화가 참으로 유익하였음을 기억한다. ACL은 자연언어처리 분야에서 가장 권위있는 학술대회 중의 하나로서 Machine Translation, Information Extraction, Machine Learning in Dialogue, Parsing, Generation, Discourse, Morphology, Phonology, Semantics, POS tagging, Summarization 등 다양한 세부분야에 대한 논문들이 개제되었다. 특별히 이번 학회에서는 Computational Linguistics in South and Southeast Asia라는 주제의 패널이 있었는데 인도, 인도네시아, 필리핀, 말레이시아, 베트남 다섯 나라의 대표적 자연언어처 리 연구자들이 참석하여 자신의 나라에서의 자연언어처리 연구 현황에 대해서 발표하고 다른 나라와의 연구협력 가능성 등에 대해서 깊은 논의를 나누었다. 내가 저녁에 만난 분은 인도에서 대표로 오신 분이었다. 위 나라들은 대개 영어, 불어 등과의 기계번역 시스템 개발을 초창기에 시도하였다. 하지만 여타 다른 선진국과 마찬가지로 여러가지 문제점으로 인해 개발이 실패하자 정부에서 이 분야에 대한 지원을 줄여서 이제 새로운 방향 모색이 필요한 실정이었다. 그래서 철자오류교정기나 문법교정기 등과 같이 보다 쉽게 접근할 수 있는 세부분야에 대한 조언 등이 이루어졌고 앞으로의 통계적인 분석을 위한 데이터 구축 등에 대한 논의가 이루어졌다. 패널 진행은 University of Pennsylvania 대학의 Aravind K. Joshi 교수님이 맡으셨는데 이분은 원래 인도출신이셨다. 우리나라의 경우 자연언어처리 분야에서 많은 발전을 이루어 기초적인 데이터 구축 및 시스템 구축이 어느 정도 정형화까지 이룬 단계라고 볼 수 있지만 앞으로의 발전방향이나 다른 개발도상국과의 연구협력을 고려할 때 매우 유익한 시간이었다. 그리고 학회 두 번째 날에는 동경대의 Jun’ichi Tsujii 교수님이 “Generic NLP Technologies: Language, Knowledge and Information Extraction”이란 주제로 강연을 하셨다. 내용은 Bio-informatics에 관한 것으로써 대량의 생물학 분야 논문들에서 필요한 정보를 자동으로 추출하는데 자연언어처리 기술이 어떻게 응용될 수 있는지에 관한 것이었다. 지난 7월에 실험실에서 그 분야로 논문을 제출하여 통과되었고 12월 경에 그분과 박종철 교수님과의 미팅이 계획되었었기에 보다 많은 관심을 가지고 듣게 되었고 순수 학문 연구 뿐만이 아니라 다양한 분야로 자연언어처리 기술이 폭넓게 사용될 수 있음을 확인하는 시간이었다. 그 외에 기억에 남는 일은 학회 마지막 전날 점심을 학회에서 학생 참석자들에게 무료로 제공하고 학생들끼리 서로 대화를 나눌 수 있는 기회를 주선해준 것이었다. 그때 한국에서 참석한 사람들끼리 앉아있어서 다양한 사람들과 대화를 나눌 수 없었던 게 매우 아쉬웠고, 학생들끼리 식사 이후에 학회에 대해서 자신의 의견을 적극적으로 나누는 모습을 통해서 벌써 학생 때부터 저렇게 적극적으로 학회일을 돕고 계획할 수 있구나 하는 감탄과 영어가 잘 안 되어서 아시아 사람들의 입장을 대변할 수 없었던 아쉬움이 깊게 남았다. 여러모로 인상적이었던 학회 참석을 통해서 되도록이면 자주 국제학술대회에 참석하여서 다양한 경험을 하고 폭넓은 사람들을 만나도록 노력해야겠다는 다짐을 하게 되었다.


(주)디지탈 에이전트


연혁

	2000.01  ㈜디지탈에이전트 설립 
	2000.05  메신저 소프트 ‘Dal Messenger 1.0’ 출시, 기술 특허 출원 
	2000.06  아바타 메이커, 감정처리 아바타 특허 출원
		 CJ드림소프트, L&H코리아 삼사 공동 MOU 체결
		 기자간담회 (신상품 발표)
		 SEK 2000, L&H코리아 사와 공동참가  
	2000.08  라스21일 가상공간 프로젝트 협력사 체결
		 ㈜싸이더스 전략적 제휴 체결
		 TJ(장혁)프로젝트 사이버 캐릭터 수주
		 컴덱스 2000 참가 
	2000.09  미디어시티서울 2000 참가
		 컴팩 e-Korea 파트너사 선정 
	2000.10  ㈜다음소프트 전략적 제휴 체결
		 ㈜현대세가 메신저 소프트웨어 공급 계약
		 ㈜헬로우드래곤 웹 에이전시 구축 계약
		 Paxnet 3D 캐릭터 공급 계약
		 삼일회계법인 컨설팅 계약 
	2000.11  벤처기업 인증 (중소기업진흥공단) 
		 부설연구소 설립 (한국산업기술진흥협회) 
	2000.12  한미열린 기술투자 등 투자 유치
		 오토 페이셜 애니메이션 시스템 특허 출원 
	2001.01  본사 이전 
	2001.02 ‘Dal Chatting’ 출시
		 ㈜SL2 전략적 제휴 및 공동제품 개발 제휴
	  	 캐릭터 디자인 실용안 출원
		 ㈜드림스케이프 전략적 제휴 
		 (제품 유통 및 업무 협조에 관해서) 
	2001.03  ㈜아이너스 기술과의 3D 스캐너 기반 얼굴 애니메이션 공동 프로젝트
		 ㈜뮤즈텔 전략적 (모바일 사업 제휴)
		 ㈜케이포테크놀러지 전략적 제휴
		 (3D 스티커 사업 제휴) 
	2001.04 봉덕구, 명순미 캐릭터 의장 등록
㈜디지탈에이전트는 사람이 가장 커뮤니케이션 하기 좋은 환경의 휴먼 유저 인터페이스(Human User Interface)를 만들고자 2000년 1월 설립을 하였다. 설립 이래 본 회사는 ‘사람과 사람의 커뮤니케이션 방식의 인터페이스’가 기본이 되어 사람처럼 언어를 사용해서 말하고(Human Language Process) 사람처럼 생각하는 (Human Information Process) 에이전트를 만들고자 노력하고 있으며, 작년 5월을 계기로 3D 아바타 메신저인 큐비 1.0을 완성하였으며, 같은 해 10월 큐비 2.0을 현대세가 메신저로 납품하는 등 본격적인 3D 아바타 솔루션을 출시하고 판매하고 있습니다. 또한 이러한 실적들과 함께 기술특허 및 중소기업진흥공단으로부터 기술 벤처 인가를 받는 등 그 기술력을 인정 받았다. 또한 ㈜디지털에이전트는 기술력 뿐만이 아닌 뛰어난 창의력을 바탕으로 사업의 확장성과 사업력을 가지고 있다. 현재 ㈜디지탈에이전트는 데스크탑 컴퓨터환경에서 이용되는 다양한 기능들-검색, 메일링, 자동응답, 컨텐츠 송수신-을 가진 에이전트에 인간의 언어 처리 방식을 결합하여 에이전트가 마치 사용자의 역할을 대변하는 큐비 3.0을 만들고 있으며 올해 6월 말에 서비스를 계획하고 있다. 이러한 에이전트는 기능성만이 아닌 자기 자신을 대변하는 아바타를 아바타 생성기, 아바타 3D MAX Plug-in등, BtoB, BtoC 형식으로 응용하여 오프라인과 온라인을 겸하는 다양한 캐릭터 비즈니스로 확장하고 있으며 현재 일본 시장 진출을 위해서 일본 전국 유통망을 갖춘 관련 업체와 1차 미팅을 마치고 개발에 맞추어 2차 미팅과 함께 납품을 논하고 있다. 작년 말 약 3억원 정도의 매출을 했으며 올해 10억원 정도를 매출로 예상하고 있다.



최기선 교수
● 2001년 1월 3일부터 14일까지 미국 아리조나 대학을 방문하여 전문용어 및 자동분류에 관한 국제협력을 모색하였다.
● 2001년 1월 15일부터 18일까지 스위스 제네바에서 열린 UNL Symposium에 한국대표로 참석하여 자동번역에 관한 발표와 토론을 하였다. 이후에는 20일까지 일본에서 열린 아시아언어 공유 워크샵에 참석하여 아시아 지역에서의 언어자원 공유에 대하여 발표하였다.
● 2001년 1월 27일부터 2월 4일까지 벨기에 Antwerp에서 개최된 TAMA2001 (Terminology in Advanced Microcomputer Applications)에 참석하여 대용량 언어 평가세트 표준에 따른 ISO 규격의 국제적 의견 조율에 대한 회의를 하였다.
● IMTA (International Machine Translation Association)의 Council Member 로 선임
● ICADL2001 (International Conference on Asia Digital Library, 2001년 12월 인도 개최) Program Committee Co-Chair로 선임.
● 2001년 2월 21~24일 중국 북경에서 열린 ‘2001년 코리언 정보처리 국제학술회에 참석하였다. 이번 학술회의는 남북한이 정보산업 분야에서 이질적인 용어의 통일에 본격 나서기로 합의했다는 데 중요한 의의가 있다. 최기선 교수는 앞으로 이 합의에 따라 정보산업 분야 용어의 표준화를 위한 남한 대표로 중요한 역할을 수행하게 되었다.
● NLPRS2001 (Natural Language Processing Symposium, 2001년 11월 동경 개최)의 자문위원 및 프로그램위원으로 선임.
● DC2001 (Dublin Core Conference, 2001년 10월 동경 개최) 의 국제자문위원으로 선임.
● EMLNP2001 (Experimental NLP)의 프로그램위원으로 선임.
● Asia NLP 2002 자문위원으로 선임.

박종철 교수
● Conference Program Committee Member: ICCPOL (International Conference on Computer Processing of Oriental Languages), 2001.
● Conference Program Committee Member. NLPRS (NLP Pacific Rim Symposium), 2001.
● Session Co-organizer and Co-chair, PSB (Pacific Symposium on Biocomputing), 2002.
● Couch, Bronze Medal Winner Team, ACM ICPC (International Collegiate Programming Contest), Vancouver, Canada, 2001.

김재훈 교수
● University of Southern California Information Sciences Institute(http://www.isi.edu)의 Intelligent Systems 부서에서Natural Language Processing, Information Access, Intelligent Agent, Information Retrieval, Ontology, Machine Translation 등의 분야의 연구활동을 하고 있다.


webmaster@aitrc.kaist.ac.kr