10321 | Synthesizing datalog programs using numerical relaxation Si, Xujie; Raghothaman, Mukund; Heo, Kihong; Naik, Mayur, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, pp.6117 - 6124, International Joint Conferences on Artificial Intelligence, 2019-08-10 |
10322 | System and method for detecting interpersonal touch using electrical properties of skin Junehwa Song; Yuhwan Kim; Seungchul Lee; Inseok Hwang; Hyunho Ro; Youngki Lee; Miri Moon, 2017-07-11 |
10323 | System and method for extracting users of similar interests between various types of web servers Moon, Sue Bok; Kwak, Hae Woon; Shin, Hwa Yong; Yoon, Jong Il, 2013-04-16 |
10324 | SYSTEM AND METHOD FOR GENERATING SCALABLE GROUP KEY BASED ON HOMOMORPHIC ENCRYPTION WITH TRUST SERVER Kim, Kwangjo; Choi, Rakyong |
10325 | System and method for implementing a hidden server Kang, Brent Byunghoon, 2015-01-06 |
10326 | System and method for localization for non-line of sight sound source Yoon, Sung-Eui; An, Inkyu; Lee, Doheon; Choi, Jung-Woo |
10327 | SYSTEM AND METHOD FOR MONITORING BEHAVIOR OF STUDENTS IN FIELD TRIPS 송준화; 황인석; 장혁재; 박태우; 최아람; 이영기; 황찬유, 2015-12-22 |
10328 | System and method for perceiving outcast in group 송준화; 황인석; 장혁재; 박태우; 최아람; 이영기; 황찬유, 2017-10-17 |
10329 | System and method for providing healthcare program service based on vital signals and condition information 조철호; 한동수; 조재걸; 정선태; 이민규; 송지수, 2014-04-22 |
10330 | System Development Network Chon, Kil Nam, Proc. of TENCOM N, pp.133 - 135, 1984 |
10331 | System Development Network and ISO/OSI 전길남, Proc. of KISS, Seoul, 1985 |
10332 | System of systems policy suggestion framework using search-based technique = 탐색 기반 기술을 사용한 시스템 오브 시스템즈 정책 제안 프레임워크link Jung, Youlim; Bae, Doo-Hwan; et al, 한국과학기술원, 2018 |
10333 | System supports for data syndication service : high performance aggregation and archiving of frequently changed distributed data = 데이터 신디케이션 서비스를 위한 시스템 : 빈번하게 변경되는 분산 데이터의 고성능 통합 처리와 기록link Kim, Su-Myeon; 김수면; Lee, Heung-Kyu; Song, June-Hwa; et al, 한국과학기술원, 2006 |
10334 | System Test 자동화 도구 제품화를 위한 품질 개선 하승우; 백종문, 2019 한국 소프트웨어공학 학술대회, 한국정보과학회 소프트웨어공학 소사이어티, 2019-01-30 |
10335 | System-Wide Cooperative Optimization for NAND Flash-Based Mobile Systems Shim, Hyotaek; Kim, Jin-Soo; Maeng, SeungRyoul, IEEE TRANSACTIONS ON COMPUTERS, v.63, no.8, pp.2052 - 2065, 2014-08 |
10336 | Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
10337 | Systematic functional decomposition in a product line using aspect-oriented software development: A case study Marew, T; Kim, J; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.17, no.1, pp.33 - 55, 2007-02 |
10338 | Systematic Software Product Line Test Case Derivation for Test Data Reuse Kang, Sung Won; Baek, Hae Un; Kim, Jung Min; Lee, Ji Hyun, 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), pp.433 - 440, IEEE, 2015-07-01 |
10339 | Systematic software testing approaches for specification and maintenacne phases = 명세와 유지보수 단계를 위한 체계적인 소프트웨어 테스팅 접근방법link Chung, In-Sang; 정인상; et al, 한국과학기술원, 1993 |
10340 | Systematic Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven Park, Yongbase; Hong, Shin; Kim, Moonzoo; Lee, Dongju; Cho, Junhee, International Conference on Software Engineering (ICSE), IEEE Computer Society and ACM SIGSOFT, 2015-05-20 |