1921 | 병행 프로그램의 테스트 케이스 생성 방법에 관한 연구 = A study on the test-case generation for the concurrent programlink 배준수; Pae, Chun-Su; et al, 한국과학기술원, 1992 |
1922 | 지연대치 규칙과 배타적 베타규칙 적용 규칙을 이용한 그래프 축약 = A graph reduction scheme with delayed substitution rule and exclusive beta reduction rulelink 반규익; Barn, Kyu-Ic; et al, 한국과학기술원, 1993 |
1923 | 평형 상태로의 수렴을 보장하는 병렬 Hopfield 신경망에 관한 연구 = A study on the parallel hopfield neural network with stable-state convergence propertylink 박찬희; Park, Chan-Hee; et al, 한국과학기술원, 1993 |
1924 | 재귀 원형군 다중컴퓨터에서 Fully-Adaptive Minimal 라우팅 알고리즘의 설계 및 성능 평가 = Design and performance evaluation of a fully-adaptive minimal routing algorithm in recursive circulant multicomputerslink 박재형; Park, Jae-Hyung; et al, 한국과학기술원, 1993 |
1925 | 픽셀 응집도 특성을 이용한 병렬 광선 추적법에 관한 연구 = A study on the rarallel ray-tracing scheme exploiting the pixel coherencelink 박배경; Park, Bae-kyung; et al, 한국과학기술원, 1993 |
1926 | 가변길이 속성을 지원하는 저장 시스템의 설계 및 구현 = Design and implementation of a storage system supporting variable length attributeslink 문양세; Moon, Yang-Sae; et al, 한국과학기술원, 1993 |
1927 | 지능형 자율 운행 시스템을 위한 Landmark 인식 기법에 관한 연구 = A study on landmark recognition for intellignet autonomous navigation systemlink 류주현; Ryu, Ju-Hyun; et al, 한국과학기술원, 1993 |
1928 | 지능형 이동 로봇 CAIR-2 제어를 위한 객체지향적 소프트웨어 라이브러리의 구현 = Implementation of object-oriented software library for the control of intelligent mobile robot CAIR-2link 류병순; Ryu, Byeong-Soon; et al, 한국과학기술원, 1993 |
1929 | 인터네트 상에서의 MHEG 객체 통신 시스템의 구현 = Implementation of an MHEG object communication system based on the internet protocollink 노웅기; Loh, Woong-Kee; et al, 한국과학기술원, 1993 |
1930 | 복합 객체에 대한 다중키 색인 방법 = Multikey indexing techniques for complex objectslink 김채미; Kim, Chae-Mee; et al, 한국과학기술원, 1993 |
1931 | 한국어 구문 분석을 위한 오른쪽 우선 챠트 파서 = A right-to-left chart parser for Koreanlink 김창현; Kim, Chang-Hyun; et al, 한국과학기술원, 1993 |
1932 | 엘리베이터 군관리 시스템의 정지호출 평가치 결정을 위한 퍼지모델에 관한 연구 = A fuzzy model based approach to determine the area value in the elevator group control systemlink 김창범; Kim, Chang-Bum; et al, 한국과학기술원, 1993 |
1933 | 초기 확률 분포 설정을 통한 은닉 마르코프 모델의 훈련에 관한 연구 : 온라인 필기 문자 인식에의 적용 = Training hidden markov model by giving initial parameter estimates with application to on-line character recognitionlink 김진우; Kim, Jin-Woo; et al, 한국과학기술원, 1993 |
1934 | 특정 분야 지식을 사용한 온라인 한글 인식 후처리 방법에 관한 연구 = A study on postprocessing methods for on-line hangul recognition using domain specific knowledgelink 김정현; Kim, Jeong-Hyun; et al, 한국과학기술원, 1993 |
1935 | 긍정적 보상 연산자를 이용한 정보 검색 효율의 향상 = Improving retrieval effectiveness with positively compensatory operatorslink 김원용; Kim, Won-Yong; et al, 한국과학기술원, 1993 |
1936 | 문서제공시스템을 위한 에이전트 = Agent for document serverslink 김정주; Kim, Jung-Ju; et al, 한국과학기술원, 1993 |
1937 | 범용 퍼지 하드웨어의 설계 및 구현 = Design and implementation of general purpose fuzzy hardwarelink 김영달; Kim, Young-Dal; et al, 한국과학기술원, 1993 |
1938 | 오일러문자열을 이용한 트리패턴일치 코드생성기의 설계및 구현 = Design and implementation of tree-pattern matching code generation using euler stringlink 김신모; Kim, Shin-Mo; et al, 한국과학기술원, 1993 |
1939 | 재귀원형군에 대한 Embedding 문제들 = Embedding problems into recursive circulantslink 김숙연; Kim, Sook-Yeon; et al, 한국과학기술원, 1993 |
1940 | 백트랙킹을 이용한 국부적 최소비용 오류보정 모델의 확장 = An extension of the locally least-cost error repair model using backtrackinglink 김성훈; Kim, Seong-Hoon; et al, 한국과학기술원, 1993 |