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

Showing results 3401 to 3420 of 15988

3401
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

3402
CORBA 기반의 그룹 통신 서비스의 설계와 구현

김희정; 이동만, 정보과학회 추계 학술대회, pp.0 - 0, 정보과학회, 1999-10

3403
CORBA에서 그룹 통신 지원을 위한 투명성 있는 객체 그룹 참조 관리에 관한 연구

조영주; 이동만; 남덕윤; 강경란, 정보과학회 추계학술대회, pp.232 - 234, 한국정보과학회, 2002-10

3404
CORBA에서의 그룹 통신 지원을 위한 OCI 기본 프레임웍

남덕윤; 이동만, 정보과학회 추계 학술대회, pp.0 - 0, 정보과학회, 2000-10

3405
CORBA와 JAVA를 사용한 에이전트 기반 디지털 도서관 프로토타입 구현

조은일; 임정묵; 오효정; 이만호; 맹성현, 한국정보과학회 봄 학술대회, pp.119 - 121, 한국정보과학회, 1999-04

3406
CoreOnto : a semi-automated ontology building toolkit

Ahn, J; Moon, IC; Nam, SJ; Choi, KS, ASWC 2008, ASWC 2008, 2008

3407
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

3408
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

3409
Corpus Normalization for Extraction Syntactic Pattern

Kim, Gil Chang, International Conference on Computer Processing of Oriental Languages, 1999

3410
Corpus Normalization for Syntactic Knowledge Extraction

Kim, Gil Chang, Proceedings of Natural Language Processing Pacific Rim Symposium(NLPRS), 1997

3411
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

3412
Corpus-Based Chinese Text Summarizatioon System

Li, JJ; Choi, Key-Sun, International Conference on Research on Computational Linguistics, pp.237 - 241, 1997

3413
Corpus-Based Chinese-Korean Abstracting Translation System

Li, Jun-Jie; Choi, Key-Sun, International Joint Conference on Artificial Intelligence, pp.972 - 976, 1997

3414
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

3415
Corpus를 기반으로 하는 한국어 술어의 양상 생성 = A corpus-based modality generation for Korean predicateslink

안동언; An, Dong-Un; et al, 한국과학기술원, 1995

3416
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

3417
Correctness of data representations involving heap data structures

Reddy, US; Yang, Hongseok, PROGRAMMING LANGUAGES AND SYSTEMS, v.2618, pp.223 - 237, 2003

3418
Correlation immune functions with controllable nonlinearity

Chee, Seongtaek; Lee Sangjin; Kim, Kwangjo; Kim, Daeho, ETRI JOURNAL, v.19, pp.389 - 401, 1997-12

3419
Correlation-based real-time group activity segmentation using motion sensors = 모션 센서를 활용한 상관관계 기반 실시간 그룹 행동 분할 기법link

Kim, Kisoo; Lee, Dongman; et al, 한국과학기술원, 2022

3420
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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0