Browse "CS-Conference Papers(학술회의논문)" by Type Conference

Showing results 4101 to 4120 of 7390

4101
Partition-based coverage metrics and type-guided search in concolic testing for JavaScript applications

Bae, Sora; Park, Joonyoung; Ryu, Sukyoung, 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017, pp.72 - 78, Institute of Electrical and Electronics Engineers Inc., 2017-05-27

4102
Partitioning Ethereum without Eclipsing It

Heo, Hwanjo; Woo, Seungwon; Yoon, Tae Ung; Kang, Min Suk; Shin, Seungwon, Network and Distributed System Security Symposium, NDSS 2023, Internet Society, 2023-03-01

4103
Passive Wi-Fi Fingerprinting Method

Kim, Jaewon; Han, Dong-Soo, 2018 International Conference on Indoor Positioning and Indoor Navigation (IPIN 2018), 2018 Indoor Positioning and Indoor Navigation, 2018-09-26

4104
Passive WiFi Fingerprinting Method

Kim, Jaewon; Han, Dongsoo, 9th International Conference on Indoor Positioning and Indoor Navigation (IPIN), IEEE, 2018-09

4105
PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems

Shin, Yong-Jun; Cho, Eunho; Bae, Doo-Hwan, 24th International Conference on Fundamental Approaches to Software Engineering, pp.292 - 312, Springer International Publishing, 2021-03-29

4106
PAT 기반 반례로부터 테스트 시퀀스로의 체계적 변환

Zelalem Mihret, Belay; Lingjun, Liu; 지은경; 배두환, 2021 한국 소프트웨어공학 학술대회, 한국정보과학회, 2021-02-01

4107
PAT: A Pen-based Arithmetic Tutoring System

Kim, SM; Kim, JinHyung, Proceedings of the 6th International Conference on Handwriting and Drawing, v.0, no.0, pp.0 - 0, Proceedings of the 6th International Conference on Handwriting and Drawing, Paris, 1993-07

4108
Patent Document Retrieval and Classification at KAIST

Kim, JH; Huang, JX; Jung, HY; Choi, Key-Sun, NTCIR Workshop Meeting, Serial. 5, NTCIR, 2005-12-06

4109
Path dependent types with path-equality

Hong, Jaemin; Park, Jihyeok; Ryu, Sukyoung, 9th ACM SIGPLAN International Symposium on Scala (Scala) as part of the ACM SIGPLAN International Conference on Functional Programming (ICFP), pp.35 - 39, ACM Press, 2018-09-28

4110
Path Protection Routing with SRLG Constraints to Support IPTV in WDM Mesh Networks

Cha, Meeyoung; Chaovalitwongse, Wanpracha; Ge, Zihui; Yates, Jennifer; Moon, Sue Bok, IEEE INFOCOM 2006 Conference/25th IEEE International Conference on Computer Communications, pp.3191 - 3195, IEEE Communications Society, 2006-04-23

4111
Path Query Reduction and Diffusion for Distributed Semi-structured Data Retrieval

Lee, J.H.; Chung, Y.D.; Kim, Myoung Ho, Int'l Database Engineering and Applications Symposium IDEAS2000, IEEE, 2000-09

4112
Path stitching: Internet-wide path and delay estimation from existing measurements

Lee, DK; Jang, Keon; Lee, Changhyun; Iannaccone, Gianluca; Moon, Sue Bok, IEEE INFOCOM 2010, pp.0 - 0, IEEE Communications Society, 2010-03-14

4113
Pattern Cache: Design of a Coherence Message Predictors with Reduced Storage Overhead

Park, Soyeon; Lee, Joonwon; Maeng, SeungRyoul, 한국정보과학회 학술대회, pp.0 - 0, 한국정보과학회, 2001-09-01

4114
Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning

Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Baek, Young-Min; Bae, Doo-Hwan, 27th Asia-Pacific Software Engineering Conference (APSEC), pp.326 - 335, IEEE COMPUTER SOC, 2020-12

4115
Pattern-based and Statistics-oriented Chinese-Korean Machine Translation

Zhang, M; Choi, Key-Sun, International Conference on Computer Processing Languages(ICCPOL'99), pp.93 - 98, 1999

4116
Pattern-Preserving-based Motion Imitation for Robots

Jo Sungho; Shin, B, International Conference on Ubiquitous Robots and Ambient Intelligence, KROS, 2011-11

4117
Patterns on the Connected Components of Terabyte-Scale Graphs

Kang, U; Mary McGlohon; Leman Akoglu; Christos Faloutsos, IEEE International Conference on Data Mining (ICDM) 2010, IEEE Computer Society, 2010-12-17

4118
PCA based Computation of Illumination-Invariant Space for Road Detection

Kim, Taeyoung; Tai, Yu-Wing; Yoon, Sung-Eui, 17th IEEE Winter Conference on Applications of Computer Vision (WACV), pp.632 - 640, IEEE and PAMITC, 2017-03-27

4119
PCCD: Parallel continuous collision detection

Kim, Dohyeong; Heo, Jae-Pil; Yoon, Sung-Eui, SIGGRAPH 2009: Posters, SIGGRAPH '09, 2009-08-03

4120
PC통신 환경에서의 계층구조 안내 시스템 설계 및 구현

장동현; 맹성현, 한국정보과학회 1996년도 가을 학술발표, v.23, no.2, 한국정보과학회, 1996-02

Discover

rss_1.0 rss_2.0 atom_1.0