1541 | 회전각 보간에 기반한 실시간 인체 변형 = Real-time human body deformation based on rotation angle interpolationlink 신승협; Shin, Seung-Hyup; 신성용; 좌경룡; et al, 한국과학기술원, 2000 |
1542 | 스테레오 영상을 이용한 광학식 모션캡처 후처리 소프트웨어 개발 = Development of optical motion capture post-processing software using stereoscopic displayslink 안정현; Ahn, Jung-Hyun; et al, 한국과학기술원, 2000 |
1543 | 광역 무선 ATM 네트웍을 위한 단일화된 점진적 경로 재 설정 기법 = One step incremental re-establishment scheme in wireless ATM WANslink 신규용; Shin, Kyu-Yong; et al, 한국과학기술원, 2000 |
1544 | H.323 기반의 인터넷 비디오폰 시스템 설계 및 구현 = Design and implementation of an internet videophone system based on H.323link 송명석; Song, Myoung-Seok; et al, 한국과학기술원, 2000 |
1545 | Constraints-based testing for systems specified with statecharts = Statecharts 명세를 가지는 시스템에 대한 제약 조건 기반 테스팅link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2000 |
1546 | (An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000 |
1547 | KLIMEX(KAIST live MPEG-2 extension)를 이용한 고성능 화상회의 시스템 = KLIMEX(KAIST live MPEG-2 extension) for high performance videoconferencinglink 박승범; Park, Seung-Beom; et al, 한국과학기술원, 2000 |
1548 | 메모리 공유 패턴 예측기의 저장 공간 비용을 줄이기 위한 동적 테이블 할당 기법 = A dynamic table allocation scheme to reduce storage overhead of memory sharing pattern predictorslink 박소연; Park, So-Yeon; et al, 한국과학기술원, 2000 |
1549 | 치환간의 종속관계를 이용한 단형 타입의 점진적인 유추 = An incremental monomorphic type inference using a dependency relation on substitutionslink 문부기; Moon, Boo-Gi; et al, 한국과학기술원, 2000 |
1550 | Testing of adapted components using mutation techniques = 변용 컴포넌트를 위한 뮤테이션 테스팅 기법link Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2000 |
1551 | Myrinet 상에서 VMMC를 기반으로 하는 효율적인 MPI 구현 = An efficient implementation of MPI over VMMC for Myrinetlink 김호중; Kim, Ho-Joong; et al, 한국과학기술원, 2000 |
1552 | Message sequence charts와 statecharts간의 일관성 검사 = Consistency checking between Message sequence charts and statechartslink 김태효; Kim, Tai-Hyo; 차성덕; 배두환; et al, 한국과학기술원, 2000 |
1553 | 희박한 데이터 큐브 계산을 위한 예비 구간 분할 방법 = Early ranged partitioning for sparse data cube computationlink 김진녕; Kim, Jin-Nyoung; et al, 한국과학기술원, 2000 |
1554 | 웹 지리정보 시스템을 위한 응용프로그램 관리자의 설계 및 구현 = Design and implementation of an application manager for Web GISlink 김종익; Kim, Jong-Ik; et al, 한국과학기술원, 2000 |
1555 | 두단계 대역패턴 선택방식을 이용한 구단위 패턴기반 한영 기계번역 시스템 = A phrase-pattern based Korean to English machine translation system using two-level translation pattern selection methodlink 김정재; Kim, Jung-Jae; et al, 한국과학기술원, 2000 |
1556 | Dynamic composition of functionality using code mobility for autonomous objects = 자율적 객체에서의 코드 이동성을 이용한 동적 기능 합성link Kim, In-Gyu; 김인규; et al, 한국과학기술원, 2000 |
1557 | MPEG-4 파라미터 기반의 계층 구조를 갖는 얼굴 모델링 시스템의 설계 및 구현 = Hierarchical design and implementation of human face modeling system based on MPEG-4 parameterslink 김용주; Kim, Yong-Joo; et al, 한국과학기술원, 2000 |
1558 | 자동 인식을 위한 한글 필기 상자 디자인 = New character box design for handwritten Hangul recognitionlink 김영신; Kim, Young-Shin; et al, 한국과학기술원, 2000 |
1559 | 개인성 정보의 가중화를 이용한 화자인식 시스템의 성능향상 = Improvement of speaker recognition system by individual information weightinglink 김세현; Kim, Se-Hyun; et al, 한국과학기술원, 2000 |
1560 | 동작 데이터를 사용한 곡선 경로를 따르는 이동 동작 생성 = Generation of curved path locomotion using motion datalink 김성용; Kim, Sung-Yong; et al, 한국과학기술원, 2000 |