Showing results 1561 to 1620 of 7391
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine Choi, Kwanghoon; Lim, HI; Han, Taisook, 5th International Symposium, Funcional and Logic Programming 2001, pp.92 - 107, 5th International Symposium, Funcional and Logic Programming 2001, 2001-03-01 |
Complete exchange algorithms in wormhole-routed torus networks: A divide-and-conquer strategy Kim, Si-Gwang; Maeng, SeungRyoul; Cho, Jung Wan, International Symposiun on Parallel Architectures, Algorithms, and Networks, pp.296 - 301, International Symposiun on Parallel Architectures, Algorithms, and Networks, 1999-06 |
Complete Left Ventricular Wall Motion Estimation from Cascaded MRI-SPAMM Data Park, Jinah; Metaxas, Dimitris N; Axel, Leon, 9th World Congress on Medical Informatics, pp.1063 - 1065, IOS Press, 1998-08 |
Complex event processing in EPC sensor network middleware for both RFID and WSN Wang, W.; Sung, J.; Kim, Daeyoung, 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008, pp.165 - 169, IEEE, 2008-05-05 |
Complex Pattern Ranking(CPR): Evaluating Top-k Pattern Queries Over Event Streams Wang, Xinxin; Candan, K. Seluk; Song, Junehwa, The 5th ACM International Conference on Distributed Event-Based Systems (DEBS), pp.279 - 290, 2011-07-14 |
Complexity Reduction Methods for Vector Sum Excited Linear Predictive Coding Kim, S.J.; Park, S.J.; Oh, Yung-Hwan, International Conference on Spoken Language Processing, pp.2071 - 2074, 1994-08 |
Complexity Theory of (Functions on) Compact Metric Spaces Ziegler, Martin A, 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, pp.837 - 846, Institute of Electrical and Electronics Engineers Inc., 2016-07-08 |
Compressed High Definition Television (HDTV) over IPv6 Lee J.; Chon, Kil Nam, 2006 International Symposium on Applications and the Internet Workshops, SAINT 2006 Workshops, pp.22 - 25, 2006-01-23 |
Computability of the Solutions to Navier-Stokes Equations via Effective Approximation Sun, Shu-Ming; Zhong, Ning; Ziegler, Martin A., International Workshop on Complexity and Approximation, 2019, pp.80 - 112, Springer International Publishing, 2019-04 |
Computable operations on compact subsets of metric spaces with applications to fréchet distance and shape optimization Park, Chansu; Park, Ji-Won; Park, Sewon; Seon, Dongseong; Ziegler, Martin A, 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.37, KAIST School of Computing, 2017-07 |
Computation of non-dominated points using compact Voronoi diagrams Bhattacharya, Binay; Bishnu, Arijit; Cheong, Otfried; Das, Sandip; Karmakar, Arindam; Snoeyink, Jack, 4th International Workshop on Algorithms and Computation, WALCOM 2010, pp.82 - 93, 4th International Workshop on Algorithms and Computation, WALCOM 2010, 2010-02-10 |
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC Kim, Moonzoo; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Runtime Verification, pp.80 - 84, Runtime Verification, 2002-07-26 |
Computational Complexity of Real Powering and Improved Solving Linear Differential Equations Koswara, Ivan; Selivanova, Svetlana; Ziegler, Martin A., 14th International Computer Science Symposium in Russia, pp.215 - 227, Springer International Publishing, 2019-07-05 |
Computational Considerations on Interpreting Even If Conditionals Choi, Key-Sun; Han, SK, Korean-Japanese Joint Workshop on Formal Grammar, pp.67 - 76, 1986 |
Computational Generation of Context-based Intonation for Korean with Combinatory Categorial Grammar Lee, Hwa Jin; Park, Jong Cheol, International Conference on Computer Processing of Oriental Languages, pp.0 - 0, International Conference on Computer Processing of Oriental Languages, 2001-05-01 |
Computational Processing of Honorifics in Korean with Combinatory Categorial Grammar Kwon, O-Sik; Park, Jong Cheol, 한글 및 한국어 정보처리 학술대회, pp.365 - 372, 한글 및 한국어 정보처리 학술대회, 2001-10 |
Computational support for facilitating parental reflective functioning in everyday parent-child interaction Kim, Wonjung; Lee, Seungchul; Kim, Seonghoon; Jo, Sungbin; Yoo, Chungkuk; Hwang, Inseok; Kang, Seungwoo; et al, ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers, UbiComp/ISWC 2020, pp.54 - 58, Association for Computing Machinery, 2020-09 |
Computer Application Technologies: Case Study in Republic of Chon, Kil Nam, Proc. of Symposium on Computer Application Technology, Japan, 1981 |
Computer Assisted Annotation of Tension Development in TED Talks through Crowdsourcing Yoon, SW; YANG, WONSUK; Park, Jong-Cheol, Proceedings of the First Workshop on Aggregating and Analysing Crowdsourced Annotations for NLP, pp.39 - 47, Aggregating and Analysing Crowdsourced Annotations for NLP, 2019-11-04 |
Computer Networks for Korean Academic and Research Communities Chon, Kil Nam, INET, Copenhagen, 1991 |
Computer Science for Continuous Data Survey, Vision, Theory, and Practice of a Computer Algebra Analysis System Brauße, Franz; Collins, Pieter; Ziegler, Martin A, 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, pp.62 - 82, Springer Science and Business Media Deutschland GmbH, 2022-08 |
Computer Vision for Industry Automation: Applied Areas. Problems, and Current Trends 양현승, 89 국내외 한국과학기술자 학술회의 춘계 워크샵, pp.0 - 0, 1989-04 |
Computing a minimum-dilation spanning tree is NP-hard Cheong, Otfried; Haverkort, Herman; Lee, Mira, Computing: The Australasian Theory Symposium (CATS) 2007, pp.15 - 24, CATS '07, 2007-01-30 |
Computing and verifying depth orders Berg, Mark de; Overmars, Mark; Cheong, Otfried, 8th Annual ACM Symposium on Computational Geometry (SoCG) 1992, pp.138 - 145, 1992-06-10 |
Computing Betweenness Centrality in B-hypergraphs Lee, Kwang Hee; Kim, Myoung Ho, ACM Conference on Information and Knowledge Management (CIKM), pp.2147 - 2150, ACM Special Interest Group on Information Retrieval (SIGIR), 2017-11-08 |
Computing Convolutions on Mesh-Like Structures Cheong, Otfried, The 7th International Parallel Processing Symposium, pp.695 - 699, 1993-04-13 |
Computing Farthest Neighbors on a Convex Polytope Cheong, Otfried; Shin, Chan-Su; Vigneron, Antoine, The 7th Annual International Computing and Combinatorics Conference 2001, pp.159 - 169, 2001-08-21 |
Computing Haar Measures Pauly, Arno; Ziegler, Martin A.; Seo, Dongseong, 28th International Conference on Computer Science Logic, European Association for Computer Science Logic, 2020-01-15 |
Computing interdisciplinarity of scholarly objects using an author-citation-text model Seo, Min-Gwan; Jung, Seokwoo; Kim, Kyung-Min; Myaeng, Sung-Hyon, 5th Workshop on Bibliometric-Enhanced Information Retrieval, BIR 2017, pp.62 - 72, CEUR-WS, 2017-04-09 |
Computing Many Faces in Arrangements of Lines and Segments Agarwal, Pankaj; Matousek, Jiri; Cheong, Otfried, 10th Annual ACM Symposium on Computational Geometry (SoCG) 1994, pp.76 - 84, 1994-06-06 |
Computing Periods... Cho, Junhee; Park, Sewon; Ziegler, Martin A., 12th International Conference and Workshop on Algorithms and Computation (WALCOM), pp.132 - 143, Springer International Publishing, 2018-03-04 |
Computing the Capacity Region of a Wireless Network Gummadi, Ramakrishna; Jung, Kyomin; Shah, Devavrat; Sreenivas, Ramavarapu, IEEE International Conference on Computer Communications (INFOCOM), pp.1341 - 1349, IEEE, 2009-04 |
Computing the Maximum Overlap of Two Convex Polygons Under Translations Berg, Mark de; Devillers, Olivier; Kreveld, Marc van; Cheong, Otfried; Teillaud, Monique, 7th Ann. International Symp. on Algorithms and Computation, pp.126 - 135, 1996-12-16 |
Computing with secrets for mobile agent using one-time proxy signature Kim, H.; Baek, J.; Lee, B.; Kim, Kwangjo, SCIS2001, pp.845 - 850, 2001-01 |
COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구 Phan Duy Loc; 김문주; 고봉석; 김윤호, 2017 한국소프트웨어종합학술대회, 한국정보과학회, 2017-12-21 |
Concept Unification of Terms in Different Languages for IR Li, Q; Myaeng, Sung Hyon; Jin, Y; Kang, BY, COLING ACL2006, pp.641 - 648, Association for Computational Linguistics, 2006-07 |
Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review Shin, Yong-Jun; Bae, Joon-Young; Bae, Doo-Hwan, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), IEEE, 2021-12 |
Conceptscape: Collaborative concept mapping for video learning Liu, Ching; Kim, Juho; Wang, Hao-Chuan, 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, pp.387:1 - 387:12, Association for Computing Machinery, 2018-04-25 |
Conceptual Dependency로부터 한글 Semantic Network의 생성 문병로; 김진형, 한국 정보과학회 추계 학술발표회 , v.0, no.0, pp.0 - 0, 한국 정보과학회, 1986-10 |
Conceptual Graph Matching as a Plausible Inferencing Technique for Text Retrieval Myaeng, Sung Hyon, The 5th Annual Workshop on Conceptual Graphs, v.0, no.0, pp.0 - 0, 1990-07 |
Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry Kim, Yunho; Lee, Dongju; Baek, Junki; Kim, Moonzoo, International Conference on Software Engineering (ICSE), pp.151 - 160, IEEE Computer Society and ACM SIGSOFT, 2019-05-29 |
Concolic testing of the multi-sector read operation for flash memory file system Kim, Moonzoo; Kim, Yunho, 12th Brazilian Symposium on Formal Methods, SBMF 2009, pp.251 - 265, 2009-08-19 |
Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs Kim, Yunho; Kim, Moonzoo; Jang, Yoonkyu, ACM SIGSOFT Foundation of Software Engineering Industrial track, ACM SIGSOFT Foundation of Software Engineering Industrial track, 2011-09-05 |
Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가 김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30 |
Concolic 테스팅과 Fuzzing을 결합한 유닛 테스팅 자동화 기술 김윤삼; 김문주, 한국 소프트웨어공학 학술대회(KCSE2022), 한국정보과학회, 2022-01-20 |
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs Hong, Jaemin; Ryu, Sukyoung, 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, pp.716 - 728, IEEE Computer Society, 2023-05-17 |
Conditional GAN based Collaborative Filtering with Data Augmentation for Cold-Start User Woo, Sungpil; Zubair, Muhammad; Kim, Daeyoung, The 13th International Conference on ICT Convergence, ICTC 2022, IEEE Computer Society, 2022-10-19 |
Conditional Random Fields via Univariate Exponential Families Yang, Eunho; Ravikumar, Pradeep; Allen, Genevera; Liu, Zhandong, Advances in Neural Information Processing Systems (NIPS) 26, NIPS Foundation Inc., 2013-12-05 |
Confidence-Based Robot Navigation Under Sensor Occlusion with Deep Reinforcement Learning Ryu, Hyeongyeol; Yoon, Minsung; Park, Daehyung; Yoon, Sung-Eui, 2022 IEEE International Conference on Robotics and Automation (ICRA 2022), pp.8231 - 8237, IEEE Robotics and Automation Society, 2022-05-26 |
Conformance Testing of ATM Adaptation Layer Protocol Yoo, Sangjo; Collica, Leslie; Kim, Myungchul, the IFIP TC6 9th international workshop on Testing of communicating systems, pp.237 - 252, 1996 |
Conformance Testing of Multi-protocol IUTs Park, Yongbum; Kim, Myungchul; Kang, Sungwon, IWTCS, 1999 |
Congestion Controlled Adaptive Lightweight Multicast in Wireless Mobile Ad Hoc Networks Tang, Ken; Obraczka, Katia; Lee, Sung-Ju; Gerla, Mario, The Seventh IEEE Symposium on Computers and Communications (ISCC 2002), IEEE, 2002-07-01 |
Connecting Advanced Networks in Asia-Pacific ( Focusing on Applications ) Chon, Kil Nam, GIBN, 1998 |
Connecting Instructors and Learning Scientists via Collaborative Dynamic Experimentation Joseph Jay Williams; Anna Rafferty; Andrew Ang; Dustin Tingley; Walter S. Lasecki; Kim, Juho, 35th Annual CHI Conference on Human Factors in Computing Systems, CHI EA 2017, ACM Special Interest Group on Computer-Human Interaction (SIGCHI), 2017-05-09 |
Connecting Users with Similar Interests Across MultipleWeb Services Kwak, Haewoon; Shin, Hwa-Yong; Yoon, Jong-Il; Moon, Sue Bok, 3rd Int'l AAAI Conference on Weblogs and Social Media, Association for the Advancement of Artificial Intelligence (AAAI), 2009-05 |
Connectivities of Recursive Circulant Graphs Chwa Kyung Yong, In Proc. of KISS Conf., pp.591 - 594, 1992-01-01 |
Connector oriented workflow system for the support of structured ad hoc workflow Han, Dongsoo; Shim, J, The 33rd Annual Hawaii International Conference on System Siences (HICSS-33), pp.145 - 0, 2000-01-04 |
Consensus building in collaborative sequencing with visual awareness Kim, Tae Soo; Hong, Sungsoo; Goyal, Nitesh; Kim, Jeongyeon; Kim, Juho, ACM CHI Conference on Human Factors in Computing Systems, CHI EA 2020, Association for Computing Machinery, 2020-04-27 |
Conserved domain combination identification in human proteins Jung, S.H.; Kim, D.; Han, Dongsoo, 22nd International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINA 2008, pp.802 - 807, IEEE, 2008-03-25 |
Discover