KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2014

  • Ask the Mutants: Mutating Faulty Programs for Fault Localization

    Moon, Seokhyeon, Kim, Yunho, Kim, Moonzoo, Shin Yoo
    IEEE International Conference on Software Testing, Verification and Validation (ICST 2014)
    2014

    []

  • Augmented Keyboard: a Virtual Keyboard Interface for Smart glasses

    Jinki Jung, Jinwoo Jeon, Hyeopwoo Lee, Kwon, Kichan, Jamal Zemerly, Hyun S. Yang
    ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry (VRCAI 2014)
    2014

    [] []

  • Automated test case generation for FBD programs implementing reactor protection system software

    지은경, Donghwan Shin, Cha, Sungdeok, Lee, Jang-Soo, Doo-Hwan Bae
    SOFTWARE TESTING VERIFICATION & RELIABILITY
    2014

    [] []

  • Automatic Construction of Timing Diagrams from UML/MARTE Models for Real-Time Embedded Software

    Doo-Hwan Bae, Nguyen, Minh Chau, 지은경, Choi, Jinho
    The 29th Symposium On Applied Computing(SAC 2014)
    2014

    [] []

  • Automatic Exploit Generation

    Avgerinos, Thanassis, Sang Kil Cha, Rebert, Alexandre, Schwartz, Edward J., Woo, Maverick, Brumley, David
    COMMUNICATIONS OF THE ACM
    2014

    []

  • Automatic hippocampal multimodal assessment for studies of stroke and small vessel disease

    Maria del C. Valdes Hernendez, Jaeil Kim, Ian Whitteford, Xinyi Qiu, Joanna M. Wardlaw, Jinah Park
    Medical Image Understanding and Analysis 2014
    2014

    [] []

  • Avatar Recommendation Method Based On Facial Attribute

    Youngmin Park, Yeong Jae Choi, Hyun S. Yang
    20th International Conf. on Virtual Systems and Multimedia (VSMM 2014)
    2014

    [] []

  • Biometric-PKI Authentication System Using Fingerprint Minutiae

    HANUL JANG, Heung-Kyu LEE
    Journal of Computer and Communications
    2014

    []

  • Boundary enhanced supervoxel segmentation for sparse outdoor LiDAR data

    Soo Hwan Song, Honggu Lee, Sungho Jo
    ELECTRONICS LETTERS
    2014

    []

  • Brain Ventricular Morphology Analysis Using a Set of Ventricular-Specific Feature Descriptors

    Kim, J, Ryoo, H, Maria del C. Vald?s Hern?ndez, Natalie A. Royle, Jinah Park
    International Symposium on Biomedical Simulation (ISBMS) 2014
    2014

    [] []

  • Building a Practical Wi-Fi-Based Indoor Navigation System

    Dongsoo Han, SUKHOON JUNG, Lee, Minkyu, Yoon, Giwan
    IEEE PERVASIVE COMPUTING
    2014

    []

  • Building a Two-Way Hyperspectral Imaging System with Liquid Crystal Tunable Filters

    Lee, Haebom, Min H. Kim
    International Conference Image and Signal Processing (ICISP)
    2014

    [] []

  • Cloud RRT*: Sampling Cloud based RRT*

    Sung-Eui Yoon, Kim, Donghyeok, Jung Hwan Lee
    International Conference on Robotics and Automation(ICRA)
    2014

    [] []

  • CoSMiC: Designing a Mobile Crowd-sourced Collaborative Application to Find a Missing Child in Situ

    신효정, 박태우, Seungwoo Kang, 이법재, Junehwa Song, 전요한, 차호정
    Human-Computer Interaction with Mobile Devices and Services(MobileHCI)
    2014

    []

  • Codon-based encoding for DNA sequence analysis

    Jeong, Byeong-Soo, Bari, A. T. M. Golam, Reaz, Mst. Rokeya, Jeon, Seokhee, Lim, Chae-Gyun, Ho-Jin Choi
    METHODS
    2014

    [] []

  • Cognitive Resource-Aware Web Service Selection in Mobile Computing Environments

    Antonio Jimenez Molina Angel, In-Young Ko
    International World Wide Web Conference(WWW)
    2014

    []

  • Color Laser Printer Identification Using Photographed Halftone Images

    Kim, Do-Guk, Heung-Kyu LEE
    EURASIP, European Signal Processing Conf.(EUSIPCO 2014)
    2014

    []

  • Communication-efficient processing of multiple continuous aggregate queries

    Joo Hyuk Jeon, Lee, Ki Yong, Myoung Ho Kim
    INFORMATION SCIENCES
    2014

    []

  • Comparing Model-based and Dynamic Event-Extraction Based GUI Testing Techniques: An Empirical Study

    Gi Gon Bae, Rothermel, Gregg, Doo-Hwan Bae
    JOURNAL OF SYSTEMS AND SOFTWARE
    2014

    [] []

  • Compositional Mixed-Criticality Scheduling

    Arvind Easwaran, Insik Shin
    IEEE Real-Time Systems Symposium (RTSS)
    2014