KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2016

  • A Theoretical Framework for Understanding Mutation-Based Testing Methods

    Shin, Donghwan, Doo-Hwan Bae
    9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016
    2016

    []

  • A Thermal Margin Preservation Scheme for Interactive Multimedia Consumer Electronics

    Badano, Nicolas, Woo, Youngjoo, Jeaho Hwang, Seo, Euiseong
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS
    2016

  • A Topic Transition Map for Query Expansion: a Semantic Analysis of Clickthrough Data and Test Collections

    Kyung-min Kim, Yuchul Jung, Sung-Hyon Myaeng
    The 29th Australasian Joint Conference on Artificial Intelligence (AI 2016)
    2016

    []

  • A Trusted IaaS Environment with Hardware Security Module

    Jinho Seol, Seongwook Jin, Daewoo Lee, Jaehyuk Huh, Seungryoul Maeng
    IEEE TRANSACTIONS ON SERVICES COMPUTING
    2016

    []

  • A Unified Virtual Fixture Model for Haptic Telepresence Systems based on Streaming Point Cloud Data and Implicit Surfaces

    Seokyeol Kim, Jinah Park
    ICCAS 2016
    2016

    []

  • A User eXperience Evaluation Framework for Mobile Usability

    Hee Jin Lee, Lee, JS, 지은경, Doo-Hwan Bae
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
    2016

    []

  • A Workload Prediction Approach using Models Stacking based on Recurrent Neural Network and Autoencoder

    Hoang Minh Nguyen, Sungpil Woo, JANGGWAN IM, Tae Joon Jun, Daeyoung KIM
    2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity:SLA:DSS)
    2016

    []

  • A crowdsourcing-based global indoor positioning and navigation system

    SUKHOON JUNG, Sangjae Lee, Dongsoo Han
    PERVASIVE AND MOBILE COMPUTING
    2016

    [] []

  • A runtime verification framework for dynamically adaptive multi-agent systems

    Lim, Yoo Jin, Hong, Gwangui, Shin, Donghwan, Jee, Eunkyoung, Doo-Hwan Bae
    International Conference on Big Data and Smart Computing, BigComp 2016
    2016

    []

  • A sensor network query processing system for healthcare data acquisition in Dr. M

    chanhee lee, Taehun Kim, Soon J. Hyun
    The 32nd International Conference on Data Engineering
    2016

    []

  • A survey of temporal information extraction and language independent features

    Chae-Gyun Lim
    International Conference on Big Data and Smart Computing, BigComp 2016
    2016

    []

  • A task-oriented service personalization scheme for smart environments using reinforcement learning

    Tegelund, Bjorn, Heesuk Son, Dongman Lee
    13th IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016
    2016

    []

  • A tiny hypervisor-based trusted geolocation framework with minimized TPM operations

    Sungjin Park, Won, Jong-Jin, Yoon, Jaenam, Kim, Kyong Hoon, Taisook Han
    JOURNAL OF SYSTEMS AND SOFTWARE
    2016

    []

  • AMONET: A Method for Detecting and Mitigating the Data Rate Degradation Due to Interference Over Wireless Networks

    Lan, Guohao, Sang Yup Han, Il Gu Lee, Myungchul Kim
    IFIP Networking 2016
    2016

    []

  • Abstraction Refinement Guided by a Learnt Probabilistic Model

    Grigore, Radu y, Hongseok Yang
    ACM SIGPLAN NOTICES
    2016

    []

  • Accelerating Linked-list Traversal Through Near-Data Processing

    Byungchul Hong, GWANGSUN KIM, Ahn, Jung Ho, Kwon, Yongkee, Kim, Hongsik, John Kim
    25th International Conference on Parallel Architectures and Compilation Techniques, PACT 2016
    2016

    []

  • ActiveSort: Efficient external sorting using active SSDs in the MapReduce framework

    Young Sik Lee, Quero, Luis Cavazos, Sang Hoon Kim, Kim, Jin-Soo, Seungryoul Maeng
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE
    2016

    []

  • Adaptive Service Selection According to the Service Density in Multiple Qos Aspects

    Cho, Jae-Hyun, Han-Gyu Ko, In-Young Ko
    IEEE TRANSACTIONS ON SERVICES COMPUTING
    2016

    [] []

  • Adaptive and Flexible Key-Value Stores Through Soft Data Partitioning

    Byungchul Hong, 권용기, 안정호, John Kim
    2016 IEEE 34th International Conference on Computer Design (ICCD)
    2016

    []

  • Amortised Optimisation of Non-functional Properties in Production Environments

    Jeongju Sohn, Shin Yoo
    International Symposium on Search Based Software Engineering
    2016