DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

Browse "School of Computing(전산학부)" by Title

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 12661 to 12680 of 15969

12661	명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive language link 황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011
12662	명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive language link 황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011
12663	명사 웨드넷과 단일어 사전을 이용한 한국어 동사 워드넷 구축 Key-Sun Choi, 한국어정보처리연구회, pp.0 - 0, 2002-10-01
12664	명세 기반 프로그래밍 슬라이싱 기법과 응용 정인상; 윤광식; 이완권; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.529 - 542, 2002-08
12665	명세 변경 후 병행 프로그램의 순서 제약조건 기반 회귀 테스팅 김현수; 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.4, pp.370 - 383, 2000-04
12666	명제어로 표현된 한국어 문장의 개념분석 송준용; 김진형, 한국데이터정보과학회, v.0, no.0, pp.0 - 0, 한국정보과학회, 1986-10
12667	명제어로 표현된 한국어 문장의 개념분석에 관한 연구 = A study on the conceptual analysis of korean sentences represented in the propositional language link 송준용; Song, Joon-Yong; et al, 한국과학기술원, 1987
12668	명함에 연계된 동영상 재생 방법, 명함 서버 및 동영상 재생 시스템 한동수
12669	모델 기반 분할 및 선택적 특징 비교를 이용한 온라인 필기 서명 검증 = On-line signature verification using model-based segmentation and selective feature matching link 이택헌; Rhee, Taik-Heon; et al, 한국과학기술원, 2001
12670	모델 기반 분할 및 선택적 특징 비교를 이용한 온라인 필기 서명 검증 시스템의 설계 이택헌; 조성정; 김진형, 제13회 영상처리 및 이해에 관한 워크샵, v.0, no.0, pp.385 - 390, 2001-01
12671	모델 기반의 프로젝트 프로세스 분석 기법 = An approach to model-based project process analysis link 윤경아; Yoon, Kyung-A.; et al, 한국과학기술원, 2003
12672	모델 독립적 표정 생성 시스템의 설계 및 구현에 관한 연구 = MiFegs : model independent facial expression generating system link 이선우; Lee, Son-Ou; et al, 한국과학기술원, 1995
12673	모델 발화 및 후보 제거를 이용한 필기 한글 문자인식의 성능향상 강경원; 김진형, 2001 한국뇌학회 학술대회, v.0, no.0, pp.133 - 134, 한국뇌학회, 2001-06
12674	모델 예측 제어 방법 및 모델 예측 제어 장치 노준용; 신성용; 한다성; 엄해광
12675	모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checker link 이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003
12676	모델 추출 공격에 대한 인공신경망 워터마킹의 안전성 평가 방법 손수엘; 이수영
12677	모델기반의 커널 테스팅 프레임워크 김문주; 홍신, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.7, pp.523 - 530, 2009-07
12678	모델체킹 도구를 사용한 플래시 메모리 디바이스 드라이버 검증 김문주; 김윤호; 김호태, 한국 소프트웨어공학 학술대회, pp.19 - 23, 2008-02-20
12679	모듈 접속 언어를 이용한 프로그램 코드의 정적 분석과 Makefile의 생성 = Static analysis of program codes and generation of makefile using module interconnection language link 이완권; Lee, Wan-Kwon; et al, 한국과학기술원, 1990
12680	모듈 접속언어를 이용한 소프트웨어 구축의 정적 분석과 Makefile의 생성 권용래, 한국정보과학회 학술발표논문집 제 1 6권 2호, 1989

firstprev631 632 633 634 635 636 637 638 639 640 nextlast

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0