KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2007

  • Real hypercomputation and continuity

    Ziegler Martin A.
    THEORY OF COMPUTING SYSTEMS
    2007

  • Relational Separation Logic

    Hongseok Yang
    THEORETICAL COMPUTER SCIENCE
    2007

  • Remarks on Receipt-free Auction/Voting Schemes Using Commitment

    Chunhui Wu, Xiaofeng Chen, Fangguo Zhang, Hyunrok Lee, Kwangjo Kim
    China Cryptology 2007 conference
    2007

    []

  • Representing emotions with linguistic acuity

    Hye-Jin Min, Jong C. Park
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    2007

    []

  • Robot with Emotion - Triggering Human Interaction

    MariaJose Acosta, 김동범, Ho-Jin Choi
    The 7th International Conference on Applications and Principles of Information Science (APIS 2008)
    2007

    []

  • Rough Set Based Information Retrieval from Argumentative Data Points in Weblogs

    김시우, Chin-Wan Chung
    Proc. of the 4th International Conference on Frontiers in the Convergence of Bioscience and Information Technologies
    2007

    []

  • SVM을 사용한 약물 표적 단백질 예측

    정휘성, 현보라, 정석훈, 장우혁, 한동수
    제34회 추계학술발표회
    2007

    []

  • Secure Approach to Deploy RFID-based Applications in Smart Home Environment

    Divyan M. Konidala, 김진, 윤찬엽, Jin Li, 김광조
    2007년 한국정보보호학회 동계학술대회
    2007

    []

  • Security Enhancement of a Remote User Authentication Scheme Using Bilinear Pairings and ECC

    LiemVo Duc, Kwangjo Kim
    NSS 2007-IFIP International Workshop on Network and System Security
    2007

    []

  • Security analysis of an ID-based key agreement for peer group communication

    Vo, DL, Kwangjo Kim
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
    2007

    [] []

  • Semantic Block Mapping of Ontologies

    Prakash Kadel, 신지애, Ho-Jin Choi
    The 7th International Conference on Applications and Principles of Information Science (APIS 2008)
    2007

    []

  • Software Quality Assurance in XP and Spiral - A Comparative Study

    SajidIbrahim Hashmi, Jongmoon BAIK
    ICCSA 2007
    2007

    []

  • Special issue on AIRS2005: Information retrieval research in Asia

    Lee, Gary Geunbae, Sung-Hyon Myaeng
    INFORMATION PROCESSING MANAGEMENT
    2007

    []

  • Systematic functional decomposition in a product line using aspect-oriented software development: A case study

    Marew, T, Kim, J, Doo-Hwan Bae
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
    2007

  • TCP-MR: 최소 전송률 보장을 위한 TCP

    김인희, 김윤모, 강문수, 모정훈
    네트워크 비디오 워크샵 (NV 2007)
    2007

    []

  • TCP-aware uplink scheduling for IEEE 802.16

    김승운, 염익준
    IEEE COMMUNICATIONS LETTERS
    2007

    []

  • Target Classification in Sparse Sampling Acoustic Sensor Net-works using DTWC Algorithm

    Youngsoo Kim, Daeyoung KIM, Sangbae Jeong, Poh Kit Chong
    IPC-07(The 2007 International Conference on Intelligent Pervasive Computing
    2007

    []

  • Target Classification in Sparse Sampling Acoustic Sensor Networks Using DTWC Algorithm

    Youngsoo Kim, TaeHong Kim, JongWoo Sung, Seong-eun Yoo
    The 2007 International conference intelligent pervasive computing
    2007

    []

  • Target Classification in Sparse Sampling Acoustic Sensor Networks using IDDC Algorithm

    Youngsoo Kim, Daeyoung KIM, TaeHong Kim, JongWoo Sung, Seong-eun Yoo
    The 3rd International Workshop on RFID and Ubiquitous Sensor Networks ( USN ’07)
    2007

    []

  • Test Cases Generation from UML Activity Diagrams

    HyungChoul Kim, Sungwon Kang, Jongmoon BAIK, In-Young Ko
    Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2007)
    2007

    []