KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2013

  • 전장공간정보의 실시간 처리를 위한 기하 모델 및 이산사건 시뮬레이션 모델의 양방향 연동 방법

    김동혁, 문보창, 강동훈, 이가연, 김상희, 최병규, 윤성의
    지상무기 학술대회
    2013

    [] []

  • 정보 보호 기능을 갖는 최대 빈발 패턴 탐색 기법

    정병수, 최호진
    정보과학회논문지 : 데이타베이스
    2013

    []

  • 지하철역 Wi-Fi 기반 실내 위치 인식 시스템 구축 사례

    한동수, 성락민
    한국ITS학회 2013년 춘계학술대회
    2013

    []

  • 크로스-브라우저 프로파일링을 통한 웹 어플리케이션 성능버그 탐지

    박용배, 홍신, 김문주
    정보과학회논문지 : 컴퓨팅의 실제 및 레터
    2013

    []

  • 클라우드 데이터 무결성 검증 방법 조사

    권오민, 윤현수
    한국정보과학회 2013 한국컴퓨터종합학술대회
    2013

    []

  • 타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성

    최진호, 지은경, 배두환
    정보과학회논문지 : 컴퓨팅의 실제 및 레터
    2013

    []

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

    문석현, 김윤호, 김문주
    2013 한국 소프트웨어공학 학술대회(KCSE 2013)
    2013

    [] []

  • 토픽 모델링을 위한 시뮬레이터 도구 개발

    정영섭, 임채균, 최호진
    2013 한국 소프트웨어공학 학술대회(KCSE 2013)
    2013

    []

  • 하모니 탐색 알고리즘을 이용한 소프트웨어 신뢰성 성장 모델의 매개변수 추정

    백종문, 김태현
    한국정보과학회 추계학술대회
    2013

    []

  • 한국어 워드넷 연결과 웹자원 접근성 개선에 의한 디비피디아 강화

    임경태, 함영균, Martin Rezk , Jungyeul Park , Yoon Yongun , 최기선
    정보과학회논문지 : 컴퓨팅의 실제 및 레터
    2013

    []

  • 햅틱스내핑을 이용한 효과적인 한글 쓰기교육 알고리즘

    김의태, 박진아
    2013 년도 한국멀티미디어학회 춘계학술발표대회
    2013

    []

  • 형태소 분석 결과를 사용한 통사 지표 자동 부여

    박정열, 최기선, 함영균, 임경태, 김영식
    한국정보과학회 추계학술대회
    2013

    []

  • 혼합 임계 사이버 물리 시스템을 위한 실시간성 지원 연구 조사

    이재우, 이지연, 신인식
    정보과학회논문지
    2013

    []

  • 2012

  • 3D Human-Pose Tracking through a Monocular Vision

    Min Ho Kim, Sihyun Joo, Sungho Jo
    International Conference on Robot Intelligence Technology and Applications (RITA 2012)
    2012

    []

  • 3D Imaging Spectroscopy for Measuring Hyperspectral Patterns on Solid Objects

    Min H. Kim, Harvey, Todd Alan, Kittle, David S., Rushmeier, Holly, Dorsey, Julie, Prum, Richard O., Brady, David J.
    ACM TRANSACTIONS ON GRAPHICS
    2012

    [] []

  • 3D medial axis point approximation using nearest neighbors and the normal field

    Jaehwan Ma, Sang Won Bae, Sunghee Choi
    VISUAL COMPUTER
    2012

    [] []

  • A Case Study of Globally Distributed Software Development with A-SQUARE Project

    Taehyun Park, Sungwon Kang
    11th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2012)
    2012

    [] []

  • A Case Study of the Application of Dynamic Symbolic Execution to Real-World Binary Programs

    Hoang, Duc Bui, 김윤호, 김문주
    2012 한국 소프트웨어공학 학술대회
    2012

    []

  • A Collaborative Inference Scheme Based on Context-sharing among Smartphones

    Jang-Ho Choi, Hochan Jo, Taehun Kim, Soon J. Hyun
    International Conference on Electronics, Information and Communication (ICEIC 2012)
    2012

    [] []

  • A Comparison of Field Mapping Approaches to Message Translation for Data Communication Protocols

    Jingyu KIM, Sungwon Kang
    Korea-Japan Joint Workshop on ICT
    2012

    []