http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
For-loop for Logic Programming
권기항,하홍표,Kwon, Kee-Hang,Ha, Hong-Pyo Korea Information Processing Society 2012 정보처리학회논문지 A Vol.19 No.1
고전 논리나 선형 논리에 기반한 논리 프로그래밍에서는 순차적 작업이나 순차적 순환 작업을 표현하는 구문이 결여되어 있다. 최근 순차적 작업을 표현하는 구문 - $G_1{\cap}G_2$ 이 제시되었는데 이는 Japaridze의 game 모델에 기반을 두고 있다. 본 논문에서는 ${\cap}_x^LG$의 형태를 갖고 있는 순차적 순환 작업을 제안하고 있다. 여기서 $x$는 변수이고, $L$은 리스트이고, $G$는 목표작업을 의미한다. 기호 ${\cap}_x^L$는 순차적 유한 정량자라고 불린다. 위 구문을 다음과 같은 작업을 의미한다: $x$에 $L$의 원소들의 값을 차례로 대입하여 순차적으로 반복 수행하시오. Logic programming based on classical or linear logic has traditionally lacked devices for expressing sequential tasks and sequential iterative tasks. Expressing sequential goal tasks has been addressed by a recent proposal of sequential goals of the form $G_1{\cap}G_2$ which is based on the game semantics of Japaridze. This paper proposes sequential iterative goal formulas of the form ${\cap}_x^LG$ where $G$ is a goal, $x$ is a variable, and $L$ is a list. ${\cap}_x^L$ is called a sequential bounded quantier. These goals allow us to specify the following task: sequentially iterate $G$ with $x$ ranging over all the elements of $L$.
Scope 기능을 갖는 객체 지향 모델에서 파라미터화된 모듈 구현 연구
권기항(Kee Hang Kwon),신현삼(Hyun Sam Shin) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.7
While object-oriented models are effective in achieving sharing and code reusability, they unfortunately lack a mechanism for giving scope to objects. We revisit an object-oriented model in which each object can be given a scope. We illustrate the usefulness of this model by showing that it supports the notion of parameterized modules without difficulty.
권기항(Kwon Kee Hang),주예찬(Ju Yae Chan),신현삼(Shin Hyun Sam) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.5
Modem functional languages provide some forms of pattern matching capability in them. However, these forms are on an ad-hoc basis and vary from languages to languages, making the user hard to understand the feature. To overcome this problem, we present a systematic approach to adding pattern matching to functional languages. We extend to the core functional language with pattern matching capability and illustrate several examples of the language. We also discuss how to extend the pattern matching capability to higher-order terms.
Microsoft Windows에서 공동 작업을 위한 프로그램 공유
송진아(Jin-Ah Song),권기항(Kee-Hang Kwon) 한국정보과학회 영남지부 2007 한국정보과학회 영남지부 학술발표논문집 Vol.1 No.1
상호간의 업무나 의사소통을 위해 인터넷을 주로 사용하게 되면서 컴퓨터를 이용한 공동 업무를 진행하는 경우도 증가하게 되었다. 이를 위한 많은 시스템이 개발 되었는데, 본 논문에서는 기존의 Software Streaming, Virtual Network Computing 시스템의 단점을 보완하고 효율성을 증대 시킬 수 있는 방법을 제시한다. 프로그램 공유 작업을 시작하면 서버 측에서는 윈도우 창 단위로 필요한 프로그램의 화면 데이터만 전송하고 클라이언트 측에서는 프로그램 단위의 제어 권한만 획득함으로써 서버의 보안에 문제가 발생하지 않도록 하였다.
장학상(Haksang Jang),김재우(Jae-Woo Kim),권기항(Kee-hang Kwon) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1B
본 논문은 멀티패러다임 프로그래밍을 이용한 효과적인 문제 해결 방식을 보이고 멀티패러다임 사고를 적용한 소프트웨어 설계의 실용적 타당성을 예시하기 위하여 3D 모델링 분야를 위한 멀티패러다임 DSEL을 설계한다. 먼저 3D 모델링 응용에 필요한 프로그래밍 요소를 문제의 특성을 고려하여 패러다임 영역별로 분할하고, 이에 따라 분할된 요소를 대응하는 단일 패러다임을 이용해 설계한다. 마지막으로 단일한 패러다임을 이용해 설계된 각 기능을 통합하고 보완하여 멀티패러다임의 협력 효과를 극대화한다.
Scope 기능을 갖는 객체 지향 모델에서의 동적 상속 연구
권기항 東亞大學校附設 情報技術硏究所 2004 情報技術硏究所論文誌 Vol.12 No.1
Traditional object-oriented models unfortunately lack a mechanism for giving scope to objects. We revisit an object-oriented model in which each object can be given a scope. We illustrate the usefulness of this model by showing that it supports the various forms of dynamic inheritance flexibly.
MIN-MAX SOFM과 객체 분석을 이용한 얼굴 검출 알고리즘 개발
하성욱,강대성,권기항 東亞大學校 附設 情報通信硏究所 1998 情報通信硏究所論文誌 Vol.6 No.1
This paper proposes a face region detecting algorithm in stream images. The main limitation of current face detection researches is the front face detection. But, the face detection in stream images needs to extract features in various angles. Current algorithms also are not enough to be applied to the real world from the several limited arguments as uniform luminous intensity, simple background, etc. This reserch suggests a detection algorithm of stream face images which is regardless of these limit arguments. The firs stage supports a proposition of MIN-MAX SOFM(self organizing feature maps) by applied MIN-MAX theory in SOFM which is independent on luminous intensity. After the first stage, the small regioin removing algorithin is processed for loss regions in SOFM output mode. We propose a histogram object analysis method which selects speedy recognized regions and a frame based moving detection method by moving real images.