지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제28권 제8호
- 발행연도
- 2001.8
- 수록면
- 582 - 592 (11page)
이용수
초록· 키워드
오류제보하기
직교항 개서 시스템은 함수형 언어와 그 구현 과정을 잘 반영하고 있다. 본 논문에서는 룰의 왼쪽 부분을 매우 간략한 형태로 된 flat 시스템으로 번역하는 기법에 대해서 논의한다. 직교항 개서 시스템의 한 부류인 transformable OTRSs를 정의하고, 이 시스템들은 flat 시스템으로 변환될 수 있음을 보인다. 이 변환은 람다 계산법에서 연구된 분리성 이론을 기반으로 하고 있는데, 본 논문에서는 직교항 개서 시스템에서의 분리성과 강력 순차성에 대한 연관성에 대해서도 논의하고 있다.
목차
요약
Abstract
1. Introduction
2. Preliminaries
3. Strongly Sequential Systems
4. Separable Systems
5. Transformation
6. Correctness
7. Conclusion
Acknowledgement
References
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
분리가능 시스템의 지수 추이성과 변환
정보과학회논문지 : 소프트웨어 및 응용
2004 .05
-
직교변환을 이용한 음성 인식 ( Speech Recognition Using Orthogonal Transformation )
한국통신학회 학술대회논문집
1987 .01
-
직교함수를 이용한 시스템의 제어
대한전기학회 학술대회 논문집
1998 .07
-
직교함수에 의한 제어 시스템 설계
대한전기학회 학술대회 논문집
2000 .07
-
지연 함수형 프로그래밍 언어의 항 개서 의미
정보과학회논문지 : 시스템 및 이론
2008 .04
-
Translation of Separable Systems into the Lambda Calculus
정보과학회논문지 : 시스템 및 이론
2008 .04
-
Separable 시스템의 특성
정보과학회논문지(A)
1998 .04
-
직교함수 변환을 이용한 고차 시스템의 저차 근사시스템 구현 알고리즘에 관한 연구
대한전기학회 학술대회 논문집
2010 .10
-
직교 정수형 변환 ( Orthogonal Integer Transform )
전자공학회논문지-B
1994 .01
-
직교함수 벡터열을 이용한 이산 시간 선형시스템의 모델변환
한국통신학회 학술대회논문집
1992 .11
-
직교함수 벡터열을 이용한 이산시간 선형시스템의 모델변환 ( The Model Transformation of a Discrete Time Linear System Using Orthogonal Vector Function )
한국통신학회 학술대회논문집
1992 .01
-
최적화 정수형 직교 변환 ( Optimized Integer Orthogonal Transform )
대한전자공학회 학술대회
1994 .07
-
최적화 정수형 직교 변환
대한전자공학회 학술대회
1994 .07
-
직교 벡터 공간 변환을 이용한 음성개성 변환 ( Voice Personality Transformation Using an Orthogonal Vector Space Conversion )
대한전자공학회 학술대회
1995 .01
-
직교 벡터 공간 변환을 이용한 음성 개성 변환 ( Voice personality transformation using an orthogonal vector space conversion )
전자공학회논문지-B
1996 .01
-
화상처리의 직교변환 기술
한국통신학회지(정보와통신)
1991 .04
-
정수형 직교 변환 ( Integer Orthogonal Transform )
대한전자공학회 학술대회
1994 .01
-
정수형 직교변환 ( Integer Orthogonal Transform )
한국통신학회 학술대회논문집
1994 .01
-
On Separability of Fuzzy Relations
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2017 .09
-
직교 변환 영역에서의 순환 필터링 방식 및 그 응용에 관한 연구 ( On the Circular Filtering in Orthogonal Transform Domain and Its Application )
대한전자공학회 학술대회
1993 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017823871