KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2012

  • Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교

    김영주, 김문주, 김윤호, 정의준
    정보과학회논문지 : 컴퓨팅의 실제 및 레터
    2012

    []

  • Congestion control for sudden bandwidth changes in TCP

    Eui-Yul Ko, Donghyeok An, Yeom, Ik-Jun, Hyunsoo Yoon
    INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS
    2012

    [] []

  • Construction of an Automated Screening System to Predict Breast Cancer Diagnosis and Prognosis

    Jin, Sou-Young, Won, Jae-Kyung, Lee, Hojin, Ho-Jin Choi
    Basic and Applied Pathology
    2012

    []

  • Context Clustering with Complex Environments

    Sung-Suk Kim, JunBeom Kim, ELBASHIR MOHAMED SALAH ELDIN ABBAS, Ho-Jin Choi
    The Fourth International Conference on Emerging Databases-Technologies, Applications, and Theory (EDB)
    2012

    [] []

  • Contextual Information Provision on Augmented Reality with IoT-based Semantic Communication

    Heesuk Son, Seungwook Han, Dongman Lee
    International Symposium on Ubiquitous Virtual Reality (ISUVR 2012)
    2012

    [] []

  • Contrasting Opposing Views of News Articles on Contentious Issues

    Park, Souneil, Lee, Kyung Soon, Junehwa Song
    The 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL 2011)
    2012

    []

  • Control Flow Error Protection by Selective Re-execution and Available Redundancies in the Pipeline

    MOHAMMAD ABDUR ROUF, Soontae Kim
    International Exposition Yeosu Korea, International Conference on Information Tecnology
    2012

    []

  • Controlled Composition and Abstraction for Bottom-up Integration and Verification of Abstract Components

    Choi, Y, Moonzoo Kim
    INFORMATION AND SOFTWARE TECHNOLOGY
    2012

    [] []

  • Convex Optimization Framework for Intermediate Deadline Assignment in Soft and Hard Real-Time Distributed Systems

    Jinkyu Lee, Insik Shin, Easwaran, Arvind
    JOURNAL OF SYSTEMS AND SOFTWARE
    2012

    []

  • Correction of Spatially Varying Image and Video Motion Blur Using a Hybrid Camera

    유윙타이, Hao Du, Michael S. Brown, Stephen Lin
    IEEE Transactions on Pattern Analysis and Machine Intelligence
    2012

    [] []

  • Cost based in-network join strategy in tree routing sensor networks

    Min, Jun-Ki, Yang, Heejung, Chin-Wan Chung
    INFORMATION SCIENCES
    2012

    [] []

  • Cost-Sensitive Exploration in Bayesian Reinforcement Learning

    김동호, Kee-Eung Kim
    Neural Information Processing Systems Conference (NIPS)
    2012

    []

  • Crowdsourced Radiomap for Room-Level Place Recognition in Urban Environment

    Lee, M., Yang, H., Dongsoo Han, Yu, C.
    2010 IEEE International Conference on Pervasive Computing and Communication(PerCom)
    2012

    [] []

  • DRAM Power-Aware Rank Scheduling

    김석기, Soontae Kim, Yebin Lee
    18th IEEE/ACM international symposium on Low-power electronics and design (ISPLED 2012)
    2012

    [] []

  • DRAM 에너지 소비를 줄이기 위한 컨텐츠 기반의 선택적 Refresh 기법

    김석기, 이예빈, 김순태
    대한임베디드공학회 추계학술대회
    2012

    []

  • DaaC: Device-reserved Memory as an Eviction-based File Cache,

    Jinkyu Jeong, Hwanju Kim, Jeaho Hwang, Joonwon Lee, Seungryoul Maeng
    International Conference on Compilers Architecture and Synthesis for Embeded Systems (CASES 2012)
    2012

    [] []

  • Delay-Constrained Adaptive Early Drop for Real-time Video Delivery over IEEE 802.11 Wireless

    Sooyong Lee, Giwon Yang, Yo Haan Yoon, Kyounghee Lee, Soon J. Hyun, Ben Lee, Myungchul Kim
    ACM ICUIMC (IMCOM) 2013 International Conference on Ubiquitous Information Management and Communication
    2012

    [] []

  • Deriving Data Dependence from/for UML State Machine Diagrams

    Hyeon Jeong Kim, Doo-Hwan Bae, Vidroha Debroy, W. Eric Wong
    International Conference on Secure Software Integration and Reliability Improvement(SSIRI)
    2012

    [] []

  • Design of a shape dependent snapping algorithm

    Seongkook Heo, 이용기, JIHO YEOM, Geehyuk Lee
    ACM SIGCHI Conference on Human Factors in Computing Systems (CHI)
    2012

    [] []

  • Designing a User Interface for a Painting Application Supporting Real Watercolor Painting Processes

    JIHO YEOM, Geehyuk Lee
    The 10th Asia Pacific Conference on Computer Human Interaction (APCHI 2012)
    2012

    [] []