Browse "CS-Conference Papers(학술회의논문)" by Title 

Showing results 1701 to 1720 of 7493

1701
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

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

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

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

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

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

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

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

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

1706
CoreOnto : a semi-automated ontology building toolkit

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

1707
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

1708
Corpus Normalization for Extraction Syntactic Pattern

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

1709
Corpus Normalization for Syntactic Knowledge Extraction

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

1710
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

1711
Corpus-Based Chinese Text Summarizatioon System

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

1712
Corpus-Based Chinese-Korean Abstracting Translation System

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

1713
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

1714
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

1715
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

1716
COSMOS/IR-S : 텍스트 정보검색을 지원하는 객체 저장 시스템

박병권; 이영구; 황규영, 한국정보과학회 추계학술대회 , pp.221 - 224, 한국정보과학회, 1997-10

1717
COSMOS/MT: 객체 저장 시스템 COSMOS를 위한 멀티프로세스/멀티쓰레드 모델의 설계 및 구현

김이른; 이영구; 장지웅; 황규영, 한국정보과학회 봄 학술발표, v.28, no.1, pp.169 - 171, 한국정보과학회, 2001-04

1718
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

1719
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

1720
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

rss_1.0 rss_2.0 atom_1.0