| 15301 | 추론 모형에 기초한 믿음과 지식의 증명 방법에 관한 연구 = A proof mechanism for knowledge and belief based on deduction modellink 김영훈; Kim, Young-Hoon; et al, 한국과학기술원, 1988 |
| 15302 | 추론 컴퓨터의 최신 개발동향 조정완; 맹승렬, 정보과학회지, v.5, no.1, pp.30 - 40, 1987-03 |
| 15303 | 추론망을 이용한 시소러스의 자동구축 박영찬; 한영석; 최기선, 제6회 한글 및 한국어 정보처리학술대회, pp.395 - 399, 한국정보과학회, 1994 |
| 15304 | 추론한 데이타 타입을 이용한 질의 가능 XML 압축 박명제; 민준기; 정진완, 정보과학회논문지 : 데이타베이스, v.32, no.4, pp.441 - 451, 2005-08 |
| 15305 | 추상 도달가능성 그래프 기반 소프트웨어 모델체킹에서의 탐색전략 고려방법 이낙원; 백종문, 정보과학회논문지, v.44, no.10, pp.1034 - 1044, 2017-10 |
| 15306 | 추상 필터를 이용한 논리 프로그램의 상향식 수행 개선 : 실험적 고찰 김문정; 창병모; 최광무, 정보과학회논문지(B), v.24, no.10, pp.1112 - 1121, 1997-10 |
| 15307 | 추상적 데이타 형의 중복을 허용하는 중포 트랜잭션을 위한 동시성 제어 = Concurrency control for a nested transaction model allowing replicated abstract data typeslink 조행래; Cho, Haeng-Lae; et al, 한국과학기술원, 1990 |
| 15308 | 추천 시스템에서 온톨로지를 이용한 퍼지 척도 기반의 협업 필터링 기법 = Fuzzy measure based-collaborative filtering using ontology in personalized recommender systemlink 심지현; Shim, Ji-hyun; et al, 한국과학기술원, 2008 |
| 15309 | 축구 동작 생성을 위한 물리 기반 전신 캐릭터 제어 노준용; 한다성; 조경민; 신성용; 홍석표, 한국컴퓨터그래픽스학회 2019 학술대회, 한국컴퓨터그래픽스학회, 2019-07-05 |
| 15310 | 축소 변형체 모델을 이용하는 적응적인 변형을 위한 모드 선택기법 = A mode selection method for adaptive deformation using reduced deformable modelslink 조재현; Cho, Jae-Hyun; et al, 한국과학기술원, 2012 |
| 15311 | 출력장치의 인쇄물 분류 장치 및 방법 신인식, 2011-10-13 |
| 15312 | 충격센서를 이용한 컴퓨터 제어장치 및 제어방법 한민수; 이동만; 한지혜; 송호준; 이태화 |
| 15313 | 취약성 분석을 통한 경량 RFID 인증 프로토콜 고찰 곽민혜; 김광조, CISC-W'08, pp.201 - 208, 한국정보보호학회, 2008-12 |
| 15314 | 층화 샘플링을 이용한 결정 트리의 효율적인 구성 방법 = Enfficient construction of decision trees using stratified samplinglink 정문영; Chung, Moon-Young; et al, 한국과학기술원, 2001 |
| 15315 | 치아 스케일링 훈련을 위한 햅틱 시뮬레이션 알고리즘 조재현; 김재현; 박진아, 2011 한국컴퓨터종합학술대회, v.38, no.1(B), pp.290 - 293, 한국정보과학회, 2011-06-29 |
| 15316 | 치아 형성의 햅틱 시뮬레이션을 위한 충돌 모델 김기민; 김재현; 박진아, 2011 한국컴퓨터종합학술대회, v.38, no.1, pp.438 - 441, 한국정보과학회, 2011-06 |
| 15317 | 치의학 의료기술 향상을 위한 한국인 표준 구강모델 및 가상시뮬레이션 시스템 개발 김기민; 박진아, 2017년도 한국통신학회 하계종합학술발표회, 한국통신학회, 2017-06-22 |
| 15318 | 치환간의 종속관계를 이용한 단형 타입의 점진적인 유추 = An incremental monomorphic type inference using a dependency relation on substitutionslink 문부기; Moon, Boo-Gi; et al, 한국과학기술원, 2000 |
| 15319 | 침입 탐지 시스템의 알려지지 않은 공격 탐지에 대한 최신 연구 비교 김경민; 김광조, CISC-S'15, 한국정보보호학회, 2015-06-26 |
| 15320 | 침입감내 시스템 연구 동향 조사 권오민; 임정민; 윤현수, 한국컴퓨터종합학술대회, v.39, no.1, pp.242 - 244, 한국정보과학회, 2012-06-29 |
