1 | Hybrid software process simulation modeling for analyzing software-intensive system acquisition = 소프트웨어 획득 프로세스 분석을 위한 하이브리드 시뮬레이션 기법link Choi, Keung-Sik; 최경식; Bae, Doo-Hwan; 배두환, 한국과학기술원, 2007 |
2 | Efficient level-of-detail model generation of 3D objects using prioritized marching cube octree = 우선순위를 갖는 Marching Cube 8진트리를 이용한 3차원 물체의 효율적 상세화 모델 생성방법link Lee, Ha-Sup; 이하섭; Yang, Hyun-Seung; 양현승, 한국과학기술원, 2007 |
3 | Group divisible partially balanced incomplete block design based incidence matrices construction algorithms for digital contents protection = 디지털 콘텐츠 보호를 위한 그룹 분할 부분 균형 불완전 블록 디자인 입사행렬 생성 방법link Kang, In-Koo; 강인구; Lee, Heung-Kyu; 이흥규, 한국과학기술원, 2007 |
4 | A proximity-based hierarchical overlay framework for distributed hash tables = 분산 해시 테이블을 위한 거리 기반 계층 오버레이 프레임워크link Shin, Kwang-Wook; 신광욱; Yoon, Hyun-Soo; 윤현수, 한국과학기술원, 2007 |
5 | (A) static analysis technique for improving accuracy of worst case execution time estimation = 최장 수행 시간 예측의 정확도 향상을 위한 정적 분석 기법link Kim, Tai-Hyo; 김태효; Cha, Sung-Deok; 차성덕, 한국과학기술원, 2007 |
6 | Storage sharing in closed P2P system = 폐쇄형 P2P 시스템에서의 저장 공간 공유link Oh, Seung-Taek; 오승택; Lee, Joon-Won; 이준원, 한국과학기술원, 2007 |
7 | Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link Seo, Sun-Ae; 서선애; Han, Tai-Sook; 한태숙, 한국과학기술원, 2007 |
8 | A lattice boltzmann method for fast and accurate fluid simulation = 빠르고 정확한 유체 시뮬레이션을 위한 격자 볼츠만 방법link Park, Jin-Ho; 박진호; Shin, Sung-Yong; 신성용; Noh, Jun-Yong; 노준용, 한국과학기술원, 2007 |
9 | Fusion of the magnetic and optical sensor information for motion capturing = 모션캡쳐를 위한 자기식 센서와 광학식 마커의 혼용link Park, Chan-Jong; 박찬종; Wohn, Kwang-Yun; 원광연, 한국과학기술원, 2007 |
10 | (An) efficient method for reducing search space in bayesian structure learning = 베이지안 구조 학습에서의 효율적 탐색 공간 제한 기법link Jung, Sung-Won; 정성원; Lee, Kwang-H.; 이광형, 한국과학기술원, 2007 |