KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2008

  • Unit Testing of Flash Memory Device Driver through a SAT-based Model Checker

    Moonzoo Kim, Yunho Kim, 김호태
    2008 23rd IEEE/ACM International Conference on Automated Software Engineering
    2008

    []

  • Unit Testing of Flash Memory Device Driver through a SAT-based Model Checker

    Moonzoo Kim, Yunho Kim, 김호태
    International Conference Automated Software Engineering
    2008

  • Vector Watermarking Robust To Both Global and Local Geometrical Distortions,

    Heung-Kyu LEE, Dong-Hyuck Im, Hae-Yeoun Lee, Seung Jin Ryu
    IEEE SIGNAL PROCESSING LETTERS
    2008

    []

  • Watching Television over an IP network

    Meeyoung Cha, Pablo Rodriguez, Jon Crowcroft, Sue Moon, Xavier Amatriaun
    ACM SIGCOMM Internet Measurement Conference
    2008

    []

  • Watermarking Curves Using 2D Mesh Spectral Transform

    Ji Young Kim, Heung-Kyu LEE, Dong-Hyuck Im, Hae-Yeoun Lee
    2008 IEEE International Symposium on Circuits and Systems (ISCAS 2008)
    2008

    []

  • Web-GIS 기반 폭풍해일 시각화 기법 연구

    김진아, 박광순, 권재일, 박진아
    2008 한국컴퓨터종합학술대회(KCC 2008)
    2008

    []

  • Weighted feature value based Drug Target Protein prediction

    BORA HYUN, HwieSung Jung, Woohyuk Jang, SUKHOON JUNG, Dongsoo Han
    Int. J. Computational Biology and Drug Design
    2008

    []

  • Wireless Sensor Networks for Cultural Property Protection

    Jongwoo Sung, Sungjin Ahn, TaiSoo Park, Seonghun Jang, Donghui Yun, Jonggu Kang, Seong-eun Yoo, Chong Pohkit, Daeyoung KIM
    2008 22nd IEEE International Conference on Advanced Information Networking and Applications (AINA)
    2008

    []

  • XTRON: An XML Data Management System using Relational Databases

    Min, Jun-Ki, Chon hee Lee, Chin-Wan Chung
    INFORMATION AND SOFTWARE TECHNOLOGY
    2008

    [] []

  • snapPVFS: Snapshot-able Parallel Virtual File System

    Kwangho Cha, JinSoo Kim, Seungryoul Maeng
    IEEE International Conference on Parallel and Distributed Systems (IEEE ICPADS)
    2008

    []

  • 개념 및 관계 분류를 통한 분야 온톨로지 구축

    황금하, 류법모, 최기선
    정보과학회논문지
    2008

    []

  • 확률모형과 수확률모형과 수식정보를 이용한 와/과 병렬명사구 범위결정

    최용석, 최기선
    정보과학회논문지
    2008

    []

  • 2007

  • A BPM-BASED MOBILE U-HEALTH SERVICE FRAMEWORK

    Dongsoo Han, In-Young Ko, SUNGJOON PARK, MINKYU LEE, Suntae Jung
    HEALTHINF 2008(International Confernece on Health Informatics)
    2007

    []

  • A Cell-based Approach for Evolutionary Component Repositories for Intelligent Service Robots

    Hyung-min Koo, In-Young Ko
    The IEEE 21st International Conference on Advanced Information Networking and Applications (AINA 2007)
    2007

    []

  • A Deputy Object based Presentation Sematnics Split Application Model for Synchronous Collaboration in Ubiquitous computing Environments

    SeungHyun Han, Dongman Lee, In-Young Ko
    The third International Conference on Collaboration Technologies (CollabTech 2007)
    2007

    []

  • A Design Framework for Real-Time Embedded Systems with Code Size and Energy Constraints

    Lee, Sheayun, Insik Shin, Kim, Woonseok, Lee, Insup, Min, Sang Lyul
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
    2007

    []

  • A Feasibility Study of Sixth Sense Computing Scenarios in a Wearable Community

    Seunghwan Lee, Geehyuk Lee, Hojin Kim, Sumi Yun
    HCI International
    2007

    []

  • A Formal Approach to Verify Mapping Relation in a Software Product Line

    Tonny Kurniadi Satyananda, Danhyung LEE, Sungwon Kang
    The 7th IEEE Int’l Conference on Computer and Information Technology (CIT 2007)
    2007

    []

  • A Landmark-based Scalable Semantic Resource Discovery Scheme

    Kang, S, Younghee LEE, Dongman Lee, Youn, HY
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    2007

    []

  • A Lightweight Value-based Software Architecture Evaluation

    김창기, Danhyung LEE, In-Young Ko, Jongmoon BAIK
    Proceedings of the 8th ACIS International Conference on Software Engineering, Artifical Intelligence, Networking, and Parallel/Distributed Computing (SNPD2007)
    2007

    []