Hong, Jaemin; Shim, Sunghwan; Park, Sanguk; Kim, Tae Woo; Kim, Jungwoo; Lee, Junsoo; Ryu, Sukyoung; Kang, Jeehoon, SCIENCE OF COMPUTER PROGRAMMING, v.238, 2024-12
Jeong, Hoyong; Chung, Kiwon; Hwang, Sung Ju; Son, Sooel, COMPUTERS SECURITY, v.144, 2024-09
Jung, Gyuwon; Park, Sangjun; Ma, Eun-Yeol; Kim, Heeyoung; Lee, Uichin, ACM COMPUTING SURVEYS, v.56, no.9, 2024-09
Kim, Minsu; Hwang, Jinwoo; Heo, Guseul; Cho, Seiyeon; Mahajan, Divya; Park, Jongse, PROCEEDINGS OF THE VLDB ENDOWMENT, v.17, no.8, pp.1802 - 1815, 2024-08
HA, TAEWOOK; Kim, Myoung Ho, 정보과학회 컴퓨팅의 실제 논문지, v.30, no.8, pp.347 - 353, 2024-08
Wang, Pei; Zhu, Yu; Xue, Danna; Yan, Qingsen; Sun, Jinqiu; Yoon, Sung-Eui; Zhang, Yanning, COMPUTER VISION AND IMAGE UNDERSTANDING, v.245, 2024-08
Yi, Shinyoung; Kim, Donggun; Na, Jiwoong; Tong, Xin; Kim, Min Hyuk, ACM Transactions on Graphics, v.43, no.4, 2024-07
Son, Sunmin; Jung, Jingun; Ham, Auejin; Lee, Geehyuk, INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, v.40, no.13, pp.3539 - 3551, 2024-07
Kim, Mincheul; Kwon, Youngsun; Lee, Sebin; Yoon, Sung-Eui, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.6, pp.5767 - 5774, 2024-06
Hwang, Soojin; Baek, Daehyeon; Park, Jongse; Huh, Jaehyuk, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, v.21, no.2, 2024-06
On the Protocol Validation and Verification B.M. Kim; H. Yoon, INFORMATION NETWORK REVIEW, KISS, v.4, no.2, pp.27 - 40, 1990-12 |
AN APPROACH TO PARTITIONING PROGRAMS ON THE FUNCTIONAL BASIS AND APPLICATIONS Chung, In Sang; Kwon, Yong Rae, MICROPROCESSING AND MICROPROGRAMMING, v.40, no.5, pp.315 - 326, 1994-06 |
Knowledge and Object-Oriented Approach for Interoperability of Heterogeneous Information Management Systems Chung, Chin-Wan; Kim, C.R.; Dao, S., JOURNAL OF DATABASE MANAGEMENT, v.10, no.3, pp.13 - 25, 1993-07 |
A Comparative Study of Three Object-Modeling Methodologies Kushner, P. Michael; Song, Il-Yeol; Whang, Kyu-Young, SYSTEMS DEVELOPMENT MANAGEMENT, pp.1 - 22, 1994 |
Performance Evaluation of a Class of Multipath Packet Switching Interconnection Networks Lee, K.Y.; Yoon, Hyunsoo; Liu, M.T., JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.17, no.4, pp.353 - 359, 1993-04 |
Recognition of 3-D objects by forward checking constrained search Cho, C.J.; Kim, JinHyung, ROBOTICS AND AUTONOMOUS SYSTEMS, v.10, no.4, pp.287 - 309, 1992-01 |
ASIACRYPT`91에서 본 암호학의 최근 연구 동향 김광조, 한국정보보호학회 논문지 , v.2, no.1, pp.0 - 0, 1992-03 |
ON INTERVAL-BASED TEMPORAL PLANNING - AN IQ-STRATEGY RICHARDS, B; JIANG, Y; Choi, Ho-Jin, LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, v.542, pp.226 - 235, 1991 |
AN INTEGRATION OF HEURISTIC AND MODEL-BASED REASONING IN FAULT-DIAGNOSIS LEE, JM; Kim, JinHyung, ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, v.6, no.4, pp.345 - 356, 1993-08 |
INTEGRATION OF EXPERT SYSTEMS AND DATABASE-MANAGEMENT SYSTEMS - AN EXTENDED DISJUNCTIVE NORMAL-FORM APPROACH Whang, Kyu-Young; NAVATHE, SB, INFORMATION SCIENCES, v.64, no.1-2, pp.57 - 81, 1992-10 |
A HYBRID KNOWLEDGE-BASED APPROACH TO INFORMATION-RETRIEVAL YOON, YG; Choi, Key-Sun; KIM, G; SHIN, D, MICROPROCESSING AND MICROPROGRAMMING, v.35, no.1-5, pp.329 - 336, 1992-09 |
A TYPED FUNCTIONAL EXTENSION OF LOGIC PROGRAMMING SHIN, DW; NANG, JH; Maeng, SeungRyoul; Cho, Jung Wan, NEW GENERATION COMPUTING, v.10, no.2, pp.197 - 221, 1992 |
GRAMMAR COVERINGS OF A DETERMINISTIC PARSER WITH ACTION CONFLICTS LEE, EJ; Choe, Kwang-Moo, INFORMATION PROCESSING LETTERS, v.51, no.2, pp.85 - 92, 1994-07 |
YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL KIM, DH; Choe, Kwang-Moo, INFORMATION PROCESSING LETTERS, v.40, no.4, pp.201 - 211, 1991-11 |
ON RAY SHOOTING IN CONVEX POLYTOPES MATOUSEK, J; Cheong, Otfried, DISCRETE COMPUTATIONAL GEOMETRY, v.10, no.2, pp.215 - 232, 1993 |
PARALLEL COMPUTATION OF DISEASE TRANSFORMS Cheong, Otfried, ALGORITHMICA, v.6, no.5, pp.685 - 697, 1991 |
EUCLIDEAN MINIMUM SPANNING-TREES AND BICHROMATIC CLOSEST PAIRS AGARWAL, PK; EDELSBRUNNER, H; Cheong, Otfried; WELZL, E, DISCRETE COMPUTATIONAL GEOMETRY, v.6, no.5, pp.407 - 422, 1991 |
Toward Brain-Actuated Humanoid Robots: Asynchronous Direct Control Using an EEG-Based BCI Chae, Yong-Wook; Jeong, Jae-Seung; Jo, Sung-Ho, IEEE TRANSACTIONS ON ROBOTICS, v.28, no.5, pp.1131 - 1144, 2012-10 |
PERFORMANCE COMPARISON OF SIGNATURE-BASED MULTIKEY ACCESS METHODS CHANG, JW; YOO, JS; Lee, Yoon Joon, MICROPROCESSING AND MICROPROGRAMMING, v.35, no.1-5, pp.345 - 352, 1992-09 |
THE FUZZY SET MODEL-BASED ON N-ARY POSITIVELY COMPENSATORY OPERATORS KIM, WY; Lee, Yoon Joon; LEE, JH; CHO, YH, MICROPROCESSING AND MICROPROGRAMMING, v.39, no.2-5, pp.101 - 104, 1993-12 |
Discover