KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2012

  • Formal Specification of a JavaScript Module System

    Seonghoon Kang, Sukyoung Ryu
    ACM SIGPLAN NOTICES
    2012

    [] []

  • Formal Specification of a JavaScript Module System

    Seonghoon Kang, Sukyoung Ryu
    ACM Conference on Object-Oriented Prog., Systems, Lang., and Apps (OOPSLA)
    2012

    []

  • Fragile Online Relationship: A First Look at Unfollow Dynamics in Twitter

    Kwak, Haewoon, Chun, Hyunwoo, Sue Moon
    The 2011 annual conference on Human factors in computing systems (CHI 2011)
    2012

    [] []

  • Framework for Creating Intuitive Motion Content for Humanoid Robots Based on Programming by Demonstration

    Il Kwon, Gi, Jeong, Il Woong, Seo, Yong-Ho, Hyun S. Yang
    INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS
    2012

    [] []

  • GBASE: an efficient analysis platform for large graphs

    U Kang, Tong, Hanghang, Sun, Ji-Meng, Lin, Ching-Yung, Faloutsos, Christos
    VLDB JOURNAL
    2012

    [] []

  • Generalized Mean-Field Approximation for Opinion Spreading in Social Networks

    임성수, Jung, Kyomin
    Interdisciplinary Workshop on Information and Decision in Social Networks (WIDS 2012)
    2012

    []

  • Generic security-amplifying methods of ordinary digital signatures

    Li, Jin, Zhang, Fangguo, Chen, Xiaofeng, Kwangjo Kim, Wong, Duncan S.
    INFORMATION SCIENCES
    2012

    []

  • GigaTensor: Scaling Tensor Analysis Up By 100 Times - Algorithms and Discoveries.

    U Kang, Evangelos Papalexakis, Abhay Harpale, Christos Faloutsos
    ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)
    2012

    [] []

  • Guest Editorial New Interconnect Technologies in On-Chip Communication

    Kiyoung Choi, John Kim, Gabriel Loh
    IEEE Journal of Emerging and Selected Topics in Circuits and Systems
    2012

    [] []

  • Guest Editorial: Special Issue on Algorithms and Computation

    Kyung-Yong Chwa, Park, Kunsoo
    ALGORITHMICA
    2012

    [] []

  • Guest Editorial: Special section on software reliability and security

    Jongmoon BAIK, Massacci, Fabio, Zulkernine, Mohammad
    INFORMATION AND SOFTWARE TECHNOLOGY
    2012

    []

  • Guest editor's foreword

    Otfried Cheong, Yoshio Okamoto.
    INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS
    2012

    [] []

  • HDFS에서 저장 공간 절약을 위한 방법에 관한 연구

    안후영, 이수호, 이경하, 이윤준
    한국정보과학회 2012 한국컴퓨터종합학술대회
    2012

    [] []

  • HadoopXML: A Suite for Parallel Processing of Massive XML Data with Multiple Twig Pattern Queries

    Hyebong Choi, Kyungha Lee, Suhyeong Kim, Yoon-Joon Lee, 문봉기
    ACM International Conference on Information and Knowledge Management (CIKM)
    2012

    [] []

  • HandCall: Calling a Tool by a Hand Gesture on the Tabletop

    Jiseong Gu, Jaehyun Han, Geehyuk Lee
    Designing Interactive Systems (DIS 2012)
    2012

    []

  • Heuristic Query Tree Protocol: Use of Known Tags for RFID Tag Anti-Collision

    Jongwoo Sung, Daeyoung KIM, Taehong Kim, Choi, Jinhyuk
    IEICE TRANSACTIONS ON COMMUNICATIONS
    2012

    []

  • Hierarchical Analysis in the Human Brain Connectivity Networks

    Jungsu Lee, Yongsub Lim, Woosang Lim, Jung, Kyomin, 김대식
    Neuroscience 2012
    2012

    [] []

  • High-Speed Automatic Segmentation of Intravascular Stent Struts in Optical Coherence Tomography Images

    Myounghee Han, D. Kim, W.Y. Oh, Sukyoung Ryu
    International Forum on Medical Imaging in Asia 2012 (IFMIA 2012)
    2012

    [] []

  • Histogram estimation-scheme-based steganalysis defeating the steganography using pixel-value differencing and modulus function

    Jeong Chun Joo, Kyung-Su Kim, Heung-Kyu LEE, Lee, Hae-Yeoun
    OPTICAL ENGINEERING
    2012

    [] []

  • Horizontal Reduction: Instance-Level Dimensionality Reduction for Similarity Search in Large Document Databases

    Kim, MS, Kyu-Young Whang, Moon, YS
    28th IEEE International Conference on Data Engineering (ICDE)
    2012

    []