Showing results 181 to 240 of 7395
A formal C memory model supporting integer-pointer casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp.326 - 335, ACM Special Interest Group on Programming Languages (SIGPLAN), 2015-06-16 |
A formal modeling and analysis framework for software product line of preemptive real-time systems Kim, Jin Hyun; Legay, Axel; Traonouez, Louis-Marie; Acher, Mathieu; Kang, Sungwon, 31st Annual ACM Symposium on Applied Computing, SAC 2016, pp.1562 - 1565, ACM Special Interest Group on Applied Computing (SIGAPP), 2016-04 |
A Formal Representation of Platform Feature-to-Requirement Traceability for Software Product Line Development Kang, Sung-Won; Kim, Jingyu; Kang, Sungju; Eom, Seokhwan, 2014 IEEE 38th Annual Computer Software and Application Conference (COMPSAC), IEEE, 2014-07-21 |
A Forward-Secure Blind Signature Scheme Based on the Strong RSA Assumption Duc, DN; Cheon, JH; Kim, Kwangjo, ICICS03, v.2971, no.0, pp.11 - 21, Springer-Verlag, 2003-10 |
A Four-Frames Differencing Technique for Moving Objects Detection in Wide Area Surveillance Abdelli, Ahmed; Choi, Ho-Jin, IEEE International Conference on Big Data and Smart Computing (BigComp), pp.210 - 214, Institute of Electrical and Electronics Engineers Inc., 2017-02-13 |
A Fragile Watermakring Scheme For Binary Image Authentication using Hamming Code Lee, Y; Kim, H; Park, Y; Chung, B; Yoon, Hyunsoo, 6th Asia Pacific International Symposium on Information Technology, pp.445 - 448, IEEE, 2007-01 |
A Framework for analyzing activity time data Ibrahim, Ahmad; Choi, Ho-Jin, Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE2008), pp.14 - 18, IEEE, 2008-12-18 |
A framework for dynamic inter-device task dispatch with eventual consistency Park, Jihyeok; Park, Joonyoung; Lee, Yoonkyong; Kim, Chul-Joo; Kim, Byoungoh; Ryu, Sukyoung, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, pp.63 - 68, Association for Computing Machinery, 2018-04-12 |
A Framework for Exchanging Heterogeneous Messages based-on Ontology Mapping 윤은채; 강성원, 2007 한국 소프트웨어공학 학술대회, pp.0 - 0, 2007 |
A framework for handling dependencies among web services transactions Choi, Seunglak; Kim, Jungsook; Jang, Hyukjae; Kim, Su Myeon; Song, Junehwa; Kim, Hangkyu; Lee, Yoon Joon, 14th International World Wide Web Conference, WWW2005, pp.1130 - 1131, Association for Computing Machinery (ACM), 2005-05-10 |
A Framework for Optimization in Expert System-DBMS Interface Whang, Kyu-Young; Brady, S, pp.126 - 133, 1988-02 |
A framework for personalized healthcare service Recommendation Lee, C.-O.; Lee, M.; Han, Dongsoo; Jung, S.; Cho, J., 2008 10th IEEE Intl. Conf. on e-Health Networking, Applications and Service, HEALTHCOM 2008, pp.90 - 95, IEEE, 2008-07-07 |
A Framework for Software Development for Distributed Parallel Computing Systems Yau, Stephan S.; Bae, Doo-Hwan; Chidambaram, Madhan, Future Trends of Distributed Computing Systems, pp.240 - 246, IEEE, 1992-04 |
A Framework for Supporting Rapid Development of the Semantic Web Application Kim, T.E.; Kim, Myoung Ho, KCC2010, Korea Computer Congress 2010, pp.72 - 77, KCC, 2010-06 |
A framework for supporting the configuration and automatic integration of heterogeneous location sensors Chung, Y.C.; Ko, Y.; Cha, Y.; Lee, DongMan, 5th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2007, pp.368 - 377, 2007-05-07 |
A framework for the use of Six Sigma tools in PSP/TSP Park, Youngkyu; Choi, Ho-Jin; Baik, Jongmoon, SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications, pp.807 - 814, IEEE Computer Society, 2007-08-20 |
A framework for the V&V capability assessment focused on the safety-criticality Yoon, Kyung-A; Park, Seunghun; Bae, Doo-Hwan; Chang, Hoon-Seon; Jung, Jae-Cheon, 13th IEEE International Workshop on Software Technology and Engineering Practice 2005, pp.17 - 24, IEEE, 2005-09-24 |
A Framework of Callbot for Dialogue Process in Seperated Network Oh, Kyo-Joong; Song, Jiha; An, Hyeongak; Choi, Ho-Jin, IEEE International Conference on Big Data and Smart Computing (BigComp), pp.362 - 364, IEEE, 2021-01 |
A Framework of Consolidated Authorization Management in e-SCM Hong, Seung-Phil; Kim, Myungchul; Kim, Kwangjo; Kim, Jinho, Conference on Applied Cryptography and Network Security, pp.0 - 0, 2003-10 |
A Front End Text Editor Lee, Heung-Kyu; Cho, JW, IEEE, Proc. of Int'l, Conf. on Computers, Systems and Signal, pp.1286 - 1289, 1984-12 |
A Functional Logic Language Based on Canonical Unification Shin, D.W.; Nang, Jong H.; Han, S.; Maeng, SeungRyoul, Symposium on Logic Programming, 1987 |
A Fuzzy Relational Query Language Expressing Soft Constraints Lee, Doheon; Kim, Myoung Ho; Lee, Kwang-Hyung, KISS Conference, pp.93 - 96, KISS, 1993-10 |
A Fuzzy Relational Query Language Expressing Soft Constraints Lee, D.H.; Lee, Kwang-Hyung; Kim, Myoung Ho, KISS Conference, pp.93 - 96, KISS, 1993-11 |
A Fuzzy Relaxation Algorithm for Image Enhancement Yang, Hyun-Seung; Li, H.; Raz, T., IEEE conference on System, Man and Cybernetics, pp.749 - 753, 1987-10 |
A Genealogy of Information Spreading on Microblogs: a Galton-Watson-based Explicative Model Moon, Sue Bok; Wang, Dong; Park, Hosung; Xie, Gaogang; Mohamed-Ali Kaafar; Kave Salamatian, 32nd IEEE Conference on Computer Communications, IEEE INFOCOM 2013, pp.2391 - 2399, IEEE Communications Society, 2013-04-14 |
A general Construction Scheme for Unit Quarternion Curves with Simple High Order Derivatives Kim, MJ; Kim, MS; Shin, Sung-Yong, SIGGRAPH'95, pp.369 - 376, 1995-08 |
A Generalization of the Convex Kakeya Problem Ahn, Hee-Kap; Bae, Sang Won; Cheong, Otfried; Gudmundsson, Joachim; Tokuyama, Takeshi; Vigneron, Antoine, 10th Latin American Symposium on Theoretical Informatics (LATIN), pp.1 - 12, LATIN'12, 2012-04-16 |
A Generate-and-Test Method of Detecting Negative-Sentiment Sentences Choi, Yoonjung; Oh, Hyo-Jung; Myaeng, Sung Hyon, The 13th International Conference on Intelligent Text Processing and Computational Linguistics, pp.500 - 512, CIC, IPN, 2012-03-12 |
A generic e-government process based on case studies Odongo, Agnes Owuato; Kang, Sungwon; Rho, Jae Jeung, 10th ACIS Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2009, In conjunction with IWEA 2009 and WEACR 2009, pp.339 - 345, IEEE, 2009-05-27 |
A GPU-based tensor decomposition method for large-scale tensors Lee, Jihye; Chon, Kang-Wook; Kim, Min-Soo, 2023 IEEE International Conference on Big Data and Smart Computing (BigComp), pp.77 - 80, IEEE, 2023-02 |
A Grammar Writing Language for the Machine Translation System using Transfer Method Kweon, CJ; Kang, WS; Choi, Key-Sun; Kim, Gil Chang, Seoul Int'l Conference on Natural Language Processing, pp.306 - 309, 1990 |
A graph based approach to detecting causes of implied scenarios under the asynchronous and synchronous communication styles Song, In-Gwon; Jeon, Sang-Uk; Bae, Doo-Hwan, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, pp.53 - 60, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 2009-12-01 |
A graph-based database partitioning method for parallel olap query processing Nam, Yoon-Min; Kim, Min-Soo; Han, Donghyoung, IEEE International Conference on Data Engineering, pp.1037 - 1048, Institute of Electrical and Electronics Engineers Inc., 2018-04-19 |
A Graph-Based Subcube Allocation and Task Migration in Hypercube Systems Kang, O; Kim, BM; Yoon, Hyunsoo; Maeng, SeungRyoul; Cho, Jung Wan, Fourth Symposium on the Frontiers of Massively Parallel Computation, pp.535 - 538, IEEE, 1992-10 |
A Graphic Presentation of temporal Aggregate Data Kim, J.H.; Ahn, T.S.; Lee, Yoon Joon, ISMM International Conference on Mini and Microcomputers and Their Applications, 1989 |
A Greedy Load Balancing Algorithm for FaaS Platforms Lee, Youngsoo; Choi, Sunghee, 5th International Conference on Cloud and Big Data Computing, ICCBDC 2021, pp.63 - 69, Association for Computing Machinery, 2021-08-13 |
A Group-Aware Middleware for Ubiquitous Computing Environments Lee, DongMan; Han, Seunghyun; Park, Insuk; Kang, SaeHoon; Lee, Kyungmin; Hyun, SoonJoo; Lee, Young-Hee; et al, ICAT 2004, pp.291 - 298, IEEE, 2004-11 |
A Group-aware Service Discovery scheme in ubiquitous environment using service assignment You, Hankyul; Kim, Dohyun; Hoang, XuanTung; Lee, Young-Hee, 2008 IEEE International Performance Computing and Communications Conference, IPCCC 2008, pp.233 - 238, IEEE, 2008-12-07 |
A Guideline for Generating Reference Architecture Based on Feature Models Jo, Hye-Kyeong; Ko, In-Young; Kim, Hyuck-Rae, The Triangle Symposium on Advanced ICT 2008 (TriSAI 2008), TriSAI, 2008-10-06 |
A Haptic Enhancement Surgery Simulator with a Dual Model Kim, Y; Lee, Y; Park, Jinah; Kim, S, 4th SPENALO International Symposium on Marin and Medical Robotics (SIS 2012), SPENALO, KITECH, 2012-09-07 |
A Haptic Interface Framework for Sensing Movement Behavior from Existing Application Contents Song, Deok Jae; Park, Jin Ah, 2nd Korea-Europe Workshop on Biomedical Informatics and Natural Language Processing, Systems Biomedical Informatics National Core Research Center, 2015-02-27 |
A Heuristic Processor Allocation Strategy in Hypercube Systems Yoon, SY; Kang, O.; Yoon, Hyunsoo; Maeng, SeungRyoul; Cho, Jung Wan, Proc. of the IEEE Symp. on Parallel and Distributed Processing, pp.574 - 581, IEEE, 1991-12-02 |
A Hierachical Neural Network for Printed Hangul Character Recognition 김진형; 조성배, 인지과학회 학술발표회, v.0, no.0, pp.0 - 0, 인지과학회, 1989-11 |
A hierarchical approach to interactive motion editing for human-like figures Lee, J; Shin, Sung-Yong, ACM SIGGRAPH '99, pp.39 - 48, ACM, 1999-08 |
A Hierarchical Aspect-Sentiment Model for Online Reviews Kim, Suin; Jianwen Zhang; Zheng Chen; Oh, Alice Haeyun; Shixia Liu, The Twenty-Seventh AAAI Conference on Artificial Intelligence, AAAI Press, 2013-07 |
A Hierarchical Model for Traceability between Requirements and Architecture Oh, Jeho; Kang, Sungwon, 29th Annual ACM Symposium on Applied Computing, SAC 2014, pp.1035 - 1042, Association for Computing Machinery, 2014-03-24 |
A Hierarchical Signature File Access Method for Office Automation Environments Yoo, J.S.; Han, S.K.; Kim, Myoung Ho; Lee, Yoon Joon, KISS Conference, pp.43 - 46, KISS, 1993 |
A Hierarchical Signature File Method for Dynamic Environments Han, S.G.; Yoo, J.S.; Kim, Myoung Ho; Lee, Yoon Joon, KISS Conference, pp.199 - 202, KISS, 1993 |
A Hierarchically Distributed System: Pagoda 전길남, Proc. of KISS, Seoul, 1984 |
A High Performance On-Line Transactions Processing Monitor Yoo, H.D.; Lim, S.C.; Kim, Myoung Ho; Lee, Yoon Joon, Unix Symposium of Korea '93, pp.147 - 153, UNIX Symposium of Koera, 1993 |
A highly reliable storage based on SSD array for cloud computing environment Ahn, Hoo Young; Kim, Junsu; Lee, Yoon-Joon, 16th IEEE International Conference on Computer and Information Technology, CIT 2016, pp.538 - 544, Institute of Electrical and Electronics Engineers Inc., 2016-12 |
A Histogram Utilizing the Cluster Information Roh, Y.H.; Park, H.K.; Min, K.W.; Kim, Myoung Ho, IASTED-DBA2005, pp.99 - 104, ACTA Press, 2005-02 |
A Historical Perspective of Handwritten Recognition Research at CAIR/KAIST Kim, JinHyung, 1994 Korean-French Character Recognition Workshop, v.0, no.0, pp.0 - 0, Proceedings of the 1994 Korean-French Character Recognition Workshop, 1994-09 |
A historically-based task composition mechanism to support spontaneous interactions among users in urban computing environments Jimenez-Molina, Angel; Ko, In-Young, 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2010, pp.54 - 63, KES, 2010-09-08 |
A HMM Part-of-Speech Tagger for Korean with Wordphrasal Relations Shin, JH; Han, YS; Park, YC; Choi, Key-Sun, RANLP '95, 1995 |
A Home Cloud-based Home Network Auto-Configuration using SDN Lee, Minseok; Kim, Younggi; Lee, Young-Hee, 12th IEEE International Conference on Networking, Sensing and Control, IEEE, 2015-04-10 |
A hop-based routing scheme for MANETs Nguyen, Duc-Dzung; Kim, Myungchul; Le, Quy Loc; Tu, Pham Tuan, 2008 5th IEEE Consumer Communications and Networking Conference, CCNC 2008, pp.370 - 374, 2008-01-10 |
A hop-by-hop reliability support scheme for wireless sensor networks Lee, H.; Ko, Y.; Lee, DongMan, 4th Annual IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2006, v.2006, pp.431 - 435, 2006-03-13 |
A hybrid approach for a real-time haptic and graphic simulator in virtual environment Kim, S.-Y.; Park, S.; Kwon, D.-S.; Park, Jinah, 16th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN, pp.316 - 319, 2007-08-26 |
A Hybrid Architecture for Effective Representation of Knowledge in Eddy Current Signal Evaluation Kwon, Yong Rae, Proc. 2nd. Pacific Rim Int'l Conference on Artificial Intelligance, pp.400 -, 1992 |
Discover