Browse "School of Computing(전산학부)" by Title
Showing results 12461 to 12480 of 16012
| 동적 시스템 명세를 위한 시제논리언어와 그 검증 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08 |
| 동적 시스템 명세를 위한 시제논리언어와 그 검증 조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002 |
| 동적 심볼릭 수행과 유전 알고리즘을 사용한 테스트 생성 기법 비교 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2011-02-09 |
| 동적 심볼릭 수행을 응용한 테스트 케이스 자동 생성 도구 비교 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2010-02-08 |
| 동적 이분 그래프를 활용한 해석 가능한 무방향 하이퍼 그래프 관계 예측 나지혜; 김조은; Trirat, Patara; 박재현; 박성현; 유기선; 이재길, 2023년 한국컴퓨터종합학술대회, pp.911 - 913, 한국정보과학회, 2023-06-19 |
| 동적 정보 복원을 이용한 오프라인 필기 문자 인식 = Offline handwriting recognition using temporal information recoverylink 이충식; Lee, Chung-Shik; et al, 한국과학기술원, 1996 |
| 동적 탐색영역 조정을 기반으로하는 블럭 정합 알고리즘 오황석; 박근한; 이흥규, 한국정보과학회 논문지:소프트웨어 및 응용, v.25, no.5, pp.812 - 819, 1998 |
| 동적 테인트 분석을 활용한 효과적인 동적 기호 실행 탐색 전략 = Effective concolic search strategy using dynamic taint analysislink 박건우; 김문주; et al, 한국과학기술원, 2020 |
| 동적 페이지 사이즈 결정 메커니즘을 활용한 가상머신 증분 체크포인트 기법 = Virtual machine incremental checkpointing with adaptive page size selectionlink 박성준; 맹승렬; et al, 한국과학기술원, 2019 |
| 동적 프레디킷: 히포크라테스 XML 데이타베이스를 위한 효율적인 액세스 통제 방법 이재길; 한욱신; 황규영, 정보과학회논문지 : 데이타베이스, v.32, no.5, pp.473 - 486, 2005-10 |
| 동적 프로토콜 적합성 시험 박진희; 김명철; 최지영; 유상조, 보과학회논문지 : 정보통신, v.28, no.3, pp.355 - 368, 2001-09 |
| 동적 프로토콜 적합성 시험 방법 및 장치 김명철, 2002-12-24 |
| 동적 함수 관련도를 이용한 퍼징 커버리지 향상 기법 이아청; 김윤호; 김문주, 정보과학회논문지, v.48, no.4, pp.391 - 397, 2021-04 |
| 동적 확장성을 제공하는 주문형 비즈니스 시스템 김정숙; 조성재; 송준화; 김정숙; 조성재, 한국정보과학회 학술발표대회, v.30, no.2, pp.46 - 48, 한국정보과학회, 2003-11 |
| 동적상황 서비스를 위한 온톨로지 모델 김수경; 최호진, 제31회 한국정보처리학회 춘계학술발표대회, 한국정보처리학회, 2009-04 |
| 동적으로 변하는 대량의 데이터 스트림들을 저장하고관리하는 시스템 및 방법 송준화, 2007-03-08 |
| 동적인 차량-사물 통신 환경의 분산 서비스 레지스트리를 위한 차량의 전자 장치 및 그의 동작 방법 고인영; 문형철 |
| 동적인 피쳐 획득과 분류를 위한 공동 학습 프레임워크 양은호; 심하진 |
| 동질 관계 정보를 이용한 딥 협업 필터링 기반의 장소 추천 시스템 장철훈; 김명호, 2018 한국컴퓨터종합학술대회, 한국정보과학회, 2018-06-21 |
| 동형 서브그래프 질의 처리를 위한 효율적인 그래프 경로 기반 인덱싱 기법 하태욱; 김명호, 정보과학회 컴퓨팅의 실제 논문지, v.24, no.5, pp.245 - 250, 2018-05 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,768 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989