Showing results 3401 to 3420 of 15988
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 |
CORP - A method of concatenation and optimization for resource reservation path in mobile Internet Lee, K; Kim, Myungchul; Chanson, ST; Yu, CS; Lee, J, IEICE TRANSACTIONS ON COMMUNICATIONS, v.E86B, no.2, pp.479 - 489, 2003-02 |
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 |
Corpus를 기반으로 하는 한국어 술어의 양상 생성 = A corpus-based modality generation for Korean predicateslink 안동언; An, Dong-Un; et al, 한국과학기술원, 1995 |
Correctness of Data Representations involving Heap Data Structures Reddy, US; Yang, Hongseok, SCIENCE OF COMPUTER PROGRAMMING, v.50, no.1-3, pp.129 - 160, 2004-03 |
Correctness of data representations involving heap data structures Reddy, US; Yang, Hongseok, PROGRAMMING LANGUAGES AND SYSTEMS, v.2618, pp.223 - 237, 2003 |
Correlation immune functions with controllable nonlinearity Chee, Seongtaek; Lee Sangjin; Kim, Kwangjo; Kim, Daeho, ETRI JOURNAL, v.19, pp.389 - 401, 1997-12 |
Correlation-based real-time group activity segmentation using motion sensors = 모션 센서를 활용한 상관관계 기반 실시간 그룹 행동 분할 기법link Kim, Kisoo; Lee, Dongman; et al, 한국과학기술원, 2022 |
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 |
Discover