KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2013

  • ExCHARON: Improved Modeling Language for Cyber-Physical Systems based on CHARON

    Han, Younghun, Sungwon Kang, Kim, Jinhyun
    2013 IEEE 16th International Conference on Computational Science and Engineering (CSE)
    2013

    []

  • ExerSync: Facilitating Interpersonal Synchrony in Social Exergames

    Park, Taiwoo, Lee, Uichin, Lee, Bupjae, Lee, Haechan, Son, Sanghun, Song, Seokyoung, Junehwa Song
    The 16th ACM Conference on Computer Supported Cooperative Work and Social Computing
    2013

    []

  • Exploiting External Data for Training a Cancer-Revealing Clause Classifier

    Nam, Sangsu, Sung-Hyon Myaeng
    2013 IEEE International Conference on Healthcare Informatics (ICHI)
    2013

    []

  • Exploiting Trustors as Well as Trustees in Trust-based Recommendation

    Hwang, Won-Seok, Li, Shaoyu, Kim, Sang-Wook, Ho-Jin Choi
    International Conference on Information and Knowledge Management (CIKM)
    2013

    [] []

  • Exploring the Solution Space of Community Detection Methods

    Sue Moon, Sohn, Yunkyu, Ju, Jeongin, Kwak, Haewoon
    XXV IUPAP International Conference on Statistical Physics (STATPHYS25)
    2013

    []

  • F-Index: 빠른 부분그래프 매칭을 위한 특징 인덱스

    김송현, 송인철, 이윤준
    정보과학회논문지 : 데이타베이스
    2013

    []

  • FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구

    신동환, 지은경, 배두환
    정보과학회논문지
    2013

    []

  • FEAST: 테스트 케이스의 결함 실행확률을 이용한 향상된 결함 위치추정 기법

    문석현, 김윤호, 김문주
    정보과학회논문지 : 소프트웨어 및 응용
    2013

    []

  • Facilitating developer-user interactions with mobile app review digests

    Oh, Jeungmin, Kim, Daehoon, Lee Uichin, Junehwa Song, Lee Jae-Gil
    CHI 2013 Extended Abstracts on Human Factors in Computing Systems(CHI EA 2013)
    2013

    [] []

  • Fast and Accurate Wi-Fi Localization in Large-Scale Indoor Venues

    Jeon, SS, Suh, YJ, Yu, CS, Dongsoo Han
    10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2013)
    2013

    [] []

  • Fast and scalable approximate spectral graph matching for correspondence problems

    U Kang, Hebert, Martial, Park, Soon-Yong
    INFORMATION SCIENCES
    2013

    []

  • Fast anomaly detection despite the duplicates

    Lee, Jay Yoon, U Kang, Koutra, Danai, Faloutsos, Christos
    World Wide Web Conference Series (WWW)
    2013

    [] []

  • Fault Localization Prioritization: Comparing Information Theoretic and Coverage Based Approaches

    Mark Harman, David Clark, Shin Yoo
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
    2013

    []

  • Fault buffers Enabling near-true voltage scaling in variation-sensitive L1 caches

    Mahmood, Tayyeb, Soontae Kim
    Design Automation for Embedded Systems
    2013

    [] []

  • Feature Selection Using a Semantic Hierarchy for Event Recognition and Type Classification

    Jung, Yunjae, Sung-Hyon Myaeng
    The 6th International Joint Conference on Natural Language Processing (IJCNLP 2013)
    2013

    [] []

  • Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance

    Kim, Jieung, Sukyoung Ryu, Luchangco, Victor, Steele Jr. , Guy L.
    11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
    2013

    [] []

  • FingerSkate: making multi-touch operations less constrained and more continuous

    Son, Jeongmin, Geehyuk Lee
    User Interface Software and Technology (UIST)
    2013

    [] []

  • GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards

    Shin Yoo, Harman, Mark, Ur, Shmuel
    EMPIRICAL SOFTWARE ENGINEERING
    2013

    []

  • Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms

    Insik Shin, Chwa, Hoon Sung, Phan, Kieu-My, Easwaran, Arvind, Lee, Jinkyu
    25th  Euromicro  Conference  on  Real‐Time  Systems  (ECRTS  2013)
    2013

    []

  • GreenBag: Energy-efficient Bandwidth Aggregation for Real-time Streaming in Heterogeneous Mobile Wireless Networks

    Bui, Duc Hoang, Lee, Kilho, Oh, Sangeun, Insik Shin, Shin, Hyojeong, Woo,Honguk, Ban, Daehyun
    IEEE Real-Time Systems Symposium (RTSS)
    2013

    [] []