Showing results 1681 to 1700 of 7393
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance Kim, Jieung; Ryu, Sukyoung, First International Conference on Certified Programs and Proofs, CPP, 2011-12-09 |
CORBA 기반의 그룹 통신 서비스의 설계와 구현 김희정; 이동만, 정보과학회 추계 학술대회, pp.0 - 0, 정보과학회, 1999-10 |
CORBA에서 그룹 통신 지원을 위한 투명성 있는 객체 그룹 참조 관리에 관한 연구 조영주; 이동만; 남덕윤; 강경란, 정보과학회 추계학술대회, pp.232 - 234, 한국정보과학회, 2002-10 |
CORBA에서의 그룹 통신 지원을 위한 OCI 기본 프레임웍 남덕윤; 이동만, 정보과학회 추계 학술대회, pp.0 - 0, 정보과학회, 2000-10 |
CORBA와 JAVA를 사용한 에이전트 기반 디지털 도서관 프로토타입 구현 조은일; 임정묵; 오효정; 이만호; 맹성현, 한국정보과학회 봄 학술대회, pp.119 - 121, 한국정보과학회, 1999-04 |
CoreOnto : a semi-automated ontology building toolkit Ahn, J; Moon, IC; Nam, SJ; Choi, KS, ASWC 2008, ASWC 2008, 2008 |
Corpus annotation with a linguistic analysis of the associations between event mentions and spatial expressions Chung, Jin-Woo; You, Jinseon; Park, Jong-Cheol, 29th Pacific Asia Conference on Language, Information and Computation, PACLIC 2015, pp.535 - 543, Shanghai Jiao Tong University, 2015-10 |
Corpus Normalization for Extraction Syntactic Pattern Kim, Gil Chang, International Conference on Computer Processing of Oriental Languages, 1999 |
Corpus Normalization for Syntactic Knowledge Extraction Kim, Gil Chang, Proceedings of Natural Language Processing Pacific Rim Symposium(NLPRS), 1997 |
Corpus-Based Approach for Nominal Compound Analysis for Korean Based on Linguistic and Statistical Information Yoon, J; Choi, Key-Sun; Song M, 1999 Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corp, pp.292 - 300, 1999 |
Corpus-Based Chinese Text Summarizatioon System Li, JJ; Choi, Key-Sun, International Conference on Research on Computational Linguistics, pp.237 - 241, 1997 |
Corpus-Based Chinese-Korean Abstracting Translation System Li, Jun-Jie; Choi, Key-Sun, International Joint Conference on Artificial Intelligence, pp.972 - 976, 1997 |
Corpus-based Modality Generation for Korean Verbs in PIVOT E/J/K System Kim, Gil Chang, Proceedings of Natural Language Processing Pacific Rim Symposium(NLPRS), 1993 |
Correlations in End-to-End Network Metrics: Impact on Large Scale Network Monitoring Yalagandula, Praveen; Lee, Sung-Ju; Sharma, Puneet; Banerjee, Sujata, The 11th IEEE Global Internet Symposium 2008, IEEE, 2008-04-18 |
CoSMiC: Designing a mobile crowd-sourced collaborative application to find a missing child in situ Shin, Hyojeong; Park, Taiwoo; Kang, SeungWoo; Lee, Bupjae; Song, Junehwa; Chon, Yohan; Cha, Hojung, 16th ACM International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2014, pp.389 - 398, Association for Computing Machinery, 2014-09 |
COSMOS/IR-S : 텍스트 정보검색을 지원하는 객체 저장 시스템 박병권; 이영구; 황규영, 한국정보과학회 추계학술대회 , pp.221 - 224, 한국정보과학회, 1997-10 |
COSMOS/MT: 객체 저장 시스템 COSMOS를 위한 멀티프로세스/멀티쓰레드 모델의 설계 및 구현 김이른; 이영구; 장지웅; 황규영, 한국정보과학회 봄 학술발표, v.28, no.1, pp.169 - 171, 한국정보과학회, 2001-04 |
Cost-Effective Regression Testing Using Bloom Filters in Continuous Integration Development Environments Kwon, Jung-Hyun; Ko, In-Young, 24th Asia-Pacific Software Engineering Conference (APSEC), pp.160 - 168, Asia-Pacific Software Engineering Conference, 2017-12-06 |
Coupled Surface Reconstruction for Subcortical Shape Analysis Kim, Jaeil; Seong, Joon-Kyung; Park, Jinah, 14th Korea-Germany Joint Workshop on Advanced Medical Image Processing, pp.27 - 34, German Cancer Research Center, 2011-10-03 |
Course notes: Massive model visualization techniques Kasik, Dave; Marton, Fabio; Dietrich, Andreas; Manocha, Dinesh; Gobbetti, Enrico; Slusallek, Philipp; Stephens, Abe; et al, ACM SIGGRAPH 2008 Classes, pp.40 -, 2008-08-11 |
Discover