KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2017

  • Partition-based Coverage Metrics and Type-guided Search in Concolic Testing for JavaScript Applications

    Bae, Sora, Joonyoung Park, Sukyoung Ryu
    2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
    2017

    []

  • Perceptual 3D Watermarking using Mesh Saliency

    Jeongho Son, Dongkyu Kim, HAKYEOL CHOI, HANUL JANG, Sunghee Choi
    iCatse Conference on Information Science and Applications (ICISA)
    2017

    []

  • Perceptual Watermarking for Stereoscopic 3D image based on Visual Discomfort

    Ji, Sang-Keun, Kang, Ji-Hyeon, Heung-Kyu LEE
    iCatse Conference on Information Science and Applications (ICISA)
    2017

    []

  • Performance Evaluation of Radio Map Construction Methods for Wi-Fi Positioning Systems

    SUKHOON JUNG, Byeong-Cheol Moon, Dongsoo Han
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS
    2017

    []

  • Physically Inspired, Interactive Lightning Generation

    Jeongsu Yun, Myungbae Son, Byungyoon Choi, Theodore Kim, Sung-Eui Yoon
    International Conference on Computer Animation and Social Agents
    2017

    [] []

  • Physically inspired, interactive lightning generation

    Yun, Jeongsu, Myungbae Son, Choi, Byungyoon, Kim, Theodore, Sung-Eui Yoon
    COMPUTER ANIMATION AND VIRTUAL WORLDS
    2017

    []

  • PinPad: Touchpad Interaction with Fast and High-Resolution Tactile Output

    Jung, Jingun, Eunhye, Youn, Geehyuk Lee
    SIGCHI Confereence on Human Factors in Computing System(CHI:AMP:#41;
    2017

    []

  • Placing your Coins on a Shelf

    Otfried Cheong, Alt, Helmut, Buchin, Kevin, Chaplick, Steven, Kindermann, Philipp, Knauer, Christian, Stehn, Fabian
    International Symposium on Algorithms and Computation (ISAAC)
    2017

    []

  • PlayBetter: A Phone-based Baby Play Support System for Childcare Bystander Parents

    Song, Seokwoo, Juho Kim, Kim, John
    ACM Conference on Human Factors in Computing Systems (CHI)
    2017

    [] []

  • PowMash: 프레젠테이션 작성 스킴 기반 최종 사용자 서비스 매쉬업

    남상규, No? Dom?nguez, 고인영
    한국컴퓨터종합학술대회
    2017

    []

  • Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain

    Changhee Park, Im, Hyeonseung, Sukyoung Ryu
    ACM SIGPLAN NOTICES
    2017

    []

  • Principal Elements for Visualizing Event Sequence Data Applied to 3D Cascading Diagrams

    Oh, Youngju, Seokyeol Kim, Jinah Park
    2017 IEEE International Conference on Big Data and Smart Computing (BigComp)
    2017

    [] []

  • Protego: Cloud-Scale Multitenant IPsec Gateway

    Son, Jeongseok, Sue Moon, Yongqiang Xiong, Paul Wang, Ze Gan, Kun Tan
    USENIX Annual Technical Conference(USENIX ATC)
    2017

    [] []

  • Provably Secure Gateway Threshold Password-Based Authenticated Key Exchange Secure against Undetectable On-Line Dictionary Attack

    Kobayashi, Yukou, Yanai, Naoto, Yoneyama, Kazuki, Nishide, Takashi, Hanaoka, Goichiro, Kwangjo Kim, Okamoto, Eiji
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
    2017

    []

  • QoS 요구사항 만족을 위한 온톨로지 기반 태스크 매치메이킹 기술

    김민협, 고인영
    2017 한국 소프트웨어공학 학술대회 (KCSE 2017)
    2017

    []

  • Quality of Private Information (QoPI) Model for Effective Representation and Prediction of Privacy Controls in Mobile Computing

    Seung Hyun Kim, In-Young Ko, Kim, Soo-Hyung
    COMPUTERS & SECURITY
    2017

    []

  • Quantisation-free binary feature aggregation for fast image representation

    Suwon Lee, Hyun S. Yang
    ELECTRONICS LETTERS
    2017

    []

  • RAVEN : Perception-aware Optimization of Power Consumption for Mobile Games

    Chanyou Hwang, Saumay Pushp, Koh, Changyoung, Yoon, Jungpil, Liu, Yunxin, Choi, Seungpyo, Junehwa Song
    ACM International Conference on Mobile Computing and Networking (MobiCom)
    2017

    [] []

  • REboost: Improving Throughput in Wireless Networks Using Redundancy Elimination

    Kilho Lee, Kim, Daehyeok, Insik Shin
    IEEE COMMUNICATIONS LETTERS
    2017

    []

  • RGB-D 영상 데이터의 네트워크 스트리밍을 통한 원격 환경과의 실시간 햅틱 상호작용

    김석열, 박진아
    HCI KOREA
    2017

    [] []