Showing results 1681 to 1740 of 7391
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 |
CoVA: Exploiting Compressed-Domain Analysis to Accelerate Video Analytics Hwang, Jinwoo; Kim, Minsoo; Kim, Daeun; Nam, Seungho; Kim, Yoonsung; Kim, Dohee; Sharma, Hardik; et al, 2022 USENIX Annual Technical Conference, ATC 2022, pp.707 - 721, USENIX (The Advanced Computing Systems Association), 2022-07-12 |
Coverage-based Reactive Broadcast Pruning in Wireless Ad Hoc Networks Yoon, Hyunsoo; Bae, K, 2nd International Conference on Computing, Communications and Control Technologies (CCCT'04), pp.356 - 361, 2004-08-14 |
COVID-EENet: Predicting Fine-Grained Impact of COVID-19 on Local Economies Kim, Doyoung; Min, Hyangsuk; Nam, Youngeun; Song, Hwanjun; Yoon, Susik; Kim, MinSeok; Lee, Jae-Gil, 36th AAAI Conference on Artificial Intelligence, AAAI 2022, pp.11971 - 11981, Association for the Advancement of Artificial Intelligence, 2022-02-25 |
CPFN: Cascaded Primitive Fitting Networks for High-Resolution Point Clouds Le, Eric-Tuan; Sung, Minhyuk; Ceylan, Duygu; Mech, Radomir; Boubekeur, Tamy; Mitra, Niloy J, 18th IEEE/CVF International Conference on Computer Vision (ICCV), pp.7437 - 7446, International Conference on Computer Vision, 2021-10 |
Crawling robot design mimicking C.elegans Yuk, Hyunwoo; Shin, Jennifer H.; Jo, Sungho, The 7th International Conference on Ubiquitous Robots and Ambient Intelligence (URAI 2010), KROS, 2010-11 |
Creating Haptic Illusion of Compliance for Tangential Force Input using Vibrotactile Actuator Heo, Seongkook; Lee, Geehyuk, 30th Annual ACM Symposium on User Interface Software and Technology (UIST), pp.21 - 23, ACM SIGCHI and SIGGRAPH, 2017-10-23 |
Creator-friendly Algorithms: Behaviors, Challenges, and Design Opportunities in Algorithmic Platforms Choi, Yoonseo; Kang, Eun Jeong; Lee, Min Kyung; Kim, Juho, 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Association for Computing Machinery, 2023-04-25 |
Crellvm: Verified credible compilation for LLVM Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; et al, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.631 - 645, Association for Computing Machinery, 2018-06-22 |
CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법 김윤호; 김문주; 장윤규, Korea Computer Congress (KCC), 한국정보과학회, 2012-06-28 |
Critical analysis of feature model evolution Kang, Sungwon; HAN, YOUNGHUN; Ahn, Hwi; Jihyen, Lee, 8th IEEE International Conference on Software Engineering and Service Science, IEEE, 2017-11-25 |
Cross domain communication in the web of things a new context for the old problem Nam, Giang; Ha, Minkeun; Kim, Daeyoung, 23rd International Conference on World Wide Web, WWW 2014, pp.135 - 138, Association for Computing Machinery, Inc, 2014-04-07 |
Cross Layer Fast Handoff for SIP Cha, Eunchul; Lee, Kyunghee; Kim, Myungchul, IEEE International Conference on Advanced information Networking and Applications, pp.443 - 450, IEEE, 2007 |
Cross-layer Network Parameterization for Application-aware Networking in Wireless Ad-hoc Networks Shin, Byoungheon; Abdullayev, Jalil; Lee, Dong-Man, The 9th International Conference on Future Internet Technologies (CFI2014), The University of Tokyo, 2014-06-20 |
Cross-layer packet prioritization for error-resilient transmission of IPTV system over wireless network Go, Kyung Min; Kang, Sungwon; Yoon, Yohaan; Kim, Myungchul; Lee, Ben, 5th ACM Multimedia Systems Conference, MMSys 2014, pp.180 - 190, Association for Computing Machinery, 2014-03-21 |
Cross-Lingual Information Retrieval (CLIR) Task at the NTCIR Workshop 3 Kishida, K; Chen, K; Lee, S; Chen, HH; Kando, N; Kuriyama, K; Myaeng, Sung Hyon; et al, ACM SIGIR Forum, v.38, no.1, pp.17 - 20, ACM, 2004-07 |
Cross-Sub-Project Just-in-Time Defect Prediction on Multi-Repo Projects Cho, Yeongjun; Kwon, Jung-Hyun; Ko, In-Young, 6th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2018), Asia-Pacific Software Engineering Conference, 2018-12-04 |
Crowd-Assisted Radio Map Construction for Wi-Fi Positioning Systems Ahn, Jeong-Hee; Han, Dong-Soo, 2017 Indoor Positioning and Indoor Navigation, IEEE, 2017-09-20 |
CrowdColor: Crowdsourcing Color Perceptions Using Mobile Devices Kim, Jae Jeung; Thamjamrassri, Punyotai; Leksikov, Sergey; Lee, Ui Chin; Suk, Hyeon Jeong, the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), pp.478 - 483, ACM, 2015-08-27 |
Crowdsourced radiomap for room-level place recognition in urban environment Lee, M.; Yang, H.; Han, Dongsoo; Yu, C., 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2010, pp.648 - 653, IEEE, 2010-03-29 |
Crowdsourcing and education: Towards a theory and praxis of learnersourcing Doroudi, Shayan; Williams, Joseph Jay; Kim, Juho; Patikorn, Thanaporn; Ostrow, Korinn S; Selent, Douglas; Heffernan, Neil T; et al, 13th International Conference of the Learning Sciences, ICLS 2018: Rethinking Learning in the Digital Age: Making the Learning Sciences Count, pp.1267 - 1274, International Society of the Learning Sciences (ISLS), 2018-06-25 |
Crowdsourcing in the Development of a Multilingual FrameNet: A Case Study of Korean FrameNet Hahm, Young Gyun; Noh, Youngbin; Han, Jiyoon; Oh, Taehwan; Choi, Hyonsu; Kim, Hansaem; Choi, Key-Sun, 12th International Conference on Language Resources and Evaluation (LREC), 12th Edition of its Language Resources and Evaluation Conference, 2020-05-11 |
Crowdsourcing law and policy: A design-thinking approach to crowd-civic systems McInnis, Brian; Poblet, Marta; Centivany, Alissa; Levy, Karen; Kim, Juho; Leshed, Gilly, 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2017, pp.355 - 361, ACM Special Interest Group on Computer-Human Interaction (SIGCHI), 2017-02 |
Crowdsourcing perspectives on public policy from stakeholders Kim, Hyunwoo; Ko, Eun-Young; Han, Donghoon; Lee, Sung-Chul; Perrault, Simon T; Kim, Jihee; Kim, Juho, 2019 CHI Conference on Human Factors in Computing Systems, CHI EA 2019, pp.1 - 6, Association for Computing Machinery, 2019-05-08 |
Crowdsourcing step-by-step information extraction to enhance existing how-to videos Kim, Juho; Nguyen, Phu; Weir, Sarah; Guo, Philip J.; Miller, Robert C.; Gajos, Krzysztof Z., 32nd Annual ACM Conference on Human Factors in Computing Systems, CHI 2014, pp.4017 - 4026, ACM Special Interest Group on Computer-Human Interaction (SIGCHI), 2014-04-30 |
Crowdsourcing-based Radio Map Update Automation for Wi-Fi Positioning Systems Chang, KM; Han, Dong Soo, 3rd ACM SIGSPATIAL International Workshop on Crowdsourced and Volunteered Geographic Information, GeoCrowd 2014, pp.24 - 31, Association for Computing Machinery, 2014-11-04 |
CRT-6D : Fast 6D Object Pose Estimation with Cascaded Refinement Transformers Castro, Pedro; Kim, Tae-Kyun, 23rd IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2023, pp.5735 - 5744, CVFIEEE Computer Society, 2023-01-04 |
CRT-6D: Fast 6D Object Pose Estimation with Cascaded Refinement Transformers Castro, Pedro; Kim, Tae-Kyun, 23rd IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2023, pp.5735 - 5744, Institute of Electrical and Electronics Engineers Inc., 2023-01 |
Cryptanalysis of ID-Based Remote Authentication with Smart Cards on Open Distributed System from Elliptic Curve Cryptography Vo, DL; Kim, Kwangjo, The 2007 Symposium on Cryptography and Information Security, Institute of Electronics, Information and Communication Engineers, 2007-01-23 |
Cryptanalysis of Kim et al's Traitor tracing scheme on ACISP02 Zhang, F; Kwangjo Kim, 2002년도 한국정보보호학회 학술대회, pp.99 - 101, Korea Institute of Information Security & Cryptology, 2002-11-16 |
Crypto API 연구 동향 김광조, 제6회 개방형 시스템 및 솔루션 전시회, v.0, no.0, pp.0 - 0, 1998-07-10 |
Cryptographic algorithm function validation modeling for nuclear I&C systems Son, JunYoung; Lee, JungWoon; Choi, JongGyun; Yoon, Hyunsoo, 11th Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2019, pp.1659 - 1666, American Nuclear Society, 2019-02 |
CS1QA: A Dataset for Assisting Code-based Question Answering in an Introductory Programming Course Lee, Changyoon; Seonwoo, Yeon; Oh, Alice Haeyun, 2022 Annual Conference of the North American Chapter of the Association for Computational Linguistics, pp.2026 - 2040, The North American Chapter of the Association for Computational Linguistics, 2022-07-13 |
CSI-SF: Estimating Wireless Channel State Using CSI Sample & Fusion Crepaldi, Riccardo; Lee, Jeongkeun; Etkin, Raul; Lee, Sung-Ju; Kravets, Robin, The 31st Annual IEEE International Conference on Computer Communications (INFOCOM 2012), IEEE, 2012-03-25 |
CTRL-C: Camera calibration TRansformer with Line-Classification Lee, Jinwoo; Go, Hyunsung; Lee, Hyunjoon; Cho, Sunghyun; Sung, Minhyuk; Kim, Junho, 18th IEEE/CVF International Conference on Computer Vision (ICCV), pp.16208 - 16217, International Conference on Computer Vision, 2021-10 |
Cuckoo Sandbox를 회피하는 악성코드 탐지 방안 연구 정제성; 김광조, CISC-S'15, 한국정보보호학회, 2015-06-25 |
Cultural Multilingual Synchronization of Wikipedia Choi, Key-Sun, 2011 Workshop on Social and Cultural Modeling, 2011 Workshop on Social and Cultural Modeling, 2011-03-02 |
Current research on 3D organ shape modeling and its applications Kim, Jaeil; Ryu, Hojin; Park, Jinah, 15th Germany-Korea Joint Workshop on Medical Image Analysis and Cognition-Guided Surgery, Ajou University School of Medicine, Center for Computer Graphics and Virtual Reality in Ewha University, 2014-10-28 |
Curvature-Guided Dynamic Scale Networks for Multi-view Stereo Khang, Truong Giang; Song, Soohwan; Jo, Sung-Ho, Tenth International Conference on Learning Representations, ICLR 2022, International Conference on Learning Representations, 2022-04-25 |
Curve watermarking technique for fingerprinting digital maps Hu, Y.; Lee, Heung-Kyu; Zeng, H., 2008 4th International Conference on Intelligent Information Hiding and Multiedia Signal Processing, IIH-MSP 2008, pp.223 - 226, IEEE, 2008-08-15 |
Customizable Natural Language Interfaces to Databases Park, Jong Cheol, Pacific Symposium on Biocomputing, Pacific Symposium on Biocomputing, 2000-01 |
Discover