• 과학기술정책
• /
• 제7권7호통권100호
• /
• pp.22-36
• /
• 1997

목차 1. 학습경제에서의 발전 전략 2. 개발도상국의 산업화과정에서 연구개발과 기술이전의 역할 3. 전환기를 맞은 한국의 기술혁신시스템 4. 동아시아와 동남아시아의 기술혁신시스템 5. 수요기업의 진입과 한국 자본재산업의 발전 6. 계약, 기업능력 그리고 경제발전: 신흥공업국에 대한 함의 7. 인터넷 기반의 국가혁신시스템이 아시아에 주는 의미 8. 국제기술협력과 기업의 동력 :NIEs의 의미 9. 삼성반도체의 동태적 기술경영능력에 대한 사례연구 10. 수평적 기술정책에 대한 학습론적 접근: 진화론적 인식 11. 아시아 신흥공업경제국가들의 효과적인 기술혁신 12. 한국의 산업발전과정에서 과학기술정책의 역할

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1994년도 제6회 한글 및 한국어정보처리 학술대회
• /
• pp.439-442
• /
• 1994

본 논문은 PC 환경에서 한국어 문장구조를 분석할 수 있는 분석 기법을 제시한다. 상대적으로 어순이 자유로운 언어인 한국어의 특성에 중점을 두어, 이를 효과적으로 처리할 수 있는 분식 기법으로 shift-reduce 알고리즘을 제시한다. shift-reduce 분석 기법은 구문론 및 의미론적 하위 범주화어 의한 분석을 효율적으로 실행할 수 있도록 해주며. bottom-up과 left-right에 의한 분석 과정을 보완하여 준다.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.585-599
• /
• 2004

본 연구에서는 학교수학에서 증명지도의 문제점을 정당화의 측면에서 분석하고, 정당화의 한 방법으로서 확률론적 정당화를 제시하며, 학교수학에서 정당화 지도의 교육적 가치, 정당화 지도의 방향, 정당화 지도의 예와 지도 방법에 대해 논의한다. 이러한 논의에 근거하여 학교수학에서의 정당화 지도의 필요성 및 가능성에 관하여 살펴본다. 본 연구에서 '증명'은 고전적인 의미에서의 증명, 즉 엄밀한(rigorous) 증명, 수학적(mathematical) 증명이고, '정당화'는 기존의 수학적 증명 개념은 물론, 다양한 논증 기법을 포함하는 넓은 의미이다.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2005년도 추계 학술발표회 논문집
• /
• pp.1-3
• /
• 2005

통계 소프트웨어 R은 여러 가지 특징을 가진 도구이다. S라는 전산언어를 기반으로 하고 이에 수학함수와 통계함수, 그리고 그래픽함수들이 결합되어 편리한 계산 작업 환경을 제공하고 있다. R이 기반으로 하고 있는 S언어에는 문법적, 의미론적 특징이 잘 어울려 있다. S언어의 주요 특징 중 하나는 객체지향성이다. 본 연구에서는 R의 특징인 객체지향성과 그 의미에 대하여 살펴보게 된다.

• 논리연구
• /
• 제10권2호
• /
• pp.109-123
• /
• 2007

본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.

• 정보처리학회논문지D
• /
• 제11D권3호
• /
• pp.553-562
• /
• 2004

본 논문에서는 데이터베이스 설계시 중요한 과정인 개념설계 단계에서 개체관계도(Entity Relationship Diagram)의 정보를 저장하는 ERD시소러스(Thesaurus)를 구축하고, 이러한 ERD시소러스를 기반으로 하는 뷰 통합 방법론을 제시하고자 한다. 제시된 방법론의 유용성을 입증하기 위하여, 적용사례에 대한 뷰 통합지원시스템의 프로토타입을 구축하였다. 적용결과, ERD시소러스 기반의 방법론이 기존의 뷰 통합 방법론보다 친밀도 분석, 의미충돌 해결, 유 통합과정에서 더 효과적임을 확인할 수 있었다. 따라서 이 방법론이 기존의 단편화된 스키마의 통합이나 대규모 데이터베이스 통합 설계시 유용하게 활용될 수 있을 것으로 기대된다.

• 한국조경학회:학술대회논문집
• /
• 한국조경학회 2012년도 춘계학술대회 논문집
• /
• pp.104-109
• /
• 2012

• 한국언어정보학회지:언어와정보
• /
• 제9권1호
• /
• pp.1-18
• /
• 2005

In Korean terminologies, adjectival terms are rare, and the meaning and function associated with adjectives in Indo-European languages are often realized instead in noun form. However, the rarer adjectival terms we, the more they are used in restrictive and repetitive ways in specialized domains. Thus, it is important to distinguish the different senses of these terms. In this work, focusing on semantic modeling in terminology, we distinguish the different senses of adjectival medical terms by applying lexico-semantic criteria (L'Homme, 2004a) and by classifying the semantic category of the arguments of the adjective (Bae and others, 2002). The result not only contributes to enriching medical terminology, but also empirically demonstrates a method for distinguishing the different senses of adjectival medical terms. In this work, we obtained an average of 1.854 senses for each term. We used the KAIST corpus, composed of medical texts (1,500,000 eojeols), and a group of texts on various subjects (40,000,000 eojeols)

• 정보처리학회논문지B
• /
• 제15B권4호
• /
• pp.293-300
• /
• 2008

본 논문에서는 상향식 방식의 주의모듈을 사용하여 얻어지는 의미론적으로 중요한 영역에 워터마킹을 삽입하는 새로운 방법을 제안한다. 본 논문에서는 저작물을 공격하는 제3자가 영상 전체 정보가 아닌 몇몇 영역 및 물체에 관심을 가지고 있다는 사실에 착안하여 의미론적으로 중요하다고 생각되는 영역에 워터마크 정보를 삽입한다. 이는 전통적인 워터마킹 방법이 영상의 전체 영역에 걸쳐 워터마크를 삽입하는 것과는 다른 접근방법이다. 워터마크가 삽입되는 관심영역은 인간의 상향식 방식의 시각적 주의에 기반하여 모델링 된 주의모듈을 통해 얻는다. 본 논문을 통해 제안되는 워터마크 기법은 워터마크가 전체 영상이 아닌 몇몇 주요영역에 삽입되므로 중요부분이 공격당하기 어렵게 되며, 워터마크를 확인하여 소유권자를 구분할 때에도 워터마크가 관심영역 안에 있기 때문에 삽입된 워터마크의 탐지율이 높아진다. 실험결과를 통해 제안하는 방법의 효용성을 확인하였다.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.49-57
• /
• 2006

사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.