2041 | (An) improved algorithm for protocol validation by extended circular exploration = 확장된 원형 탐색을 이용한 프로토콜 검증 방법의 개선link Gong, Jae-Cheol; 공재철; et al, 한국과학기술원, 1991 |
2042 | Concurrent C++에서의 process 기술 방법에 관한 연구 = A study on the method for describing process in concurrent C++link 위의석; Wi, Eui-Seok; et al, 한국과학기술원, 1990 |
2043 | 변환 방식의 기계 번역을 위한 문법 기술 언어의 설계 및 구현 = The design and implementation of a grammar writing language for machine translation using transfer methodlink 권철중; Kweon, Cheol-Jung; et al, 한국과학기술원, 1990 |
2044 | 영한 기계번역을 위한 변환 시스템과 역어선택을 위한 필터 메커니즘의 설계 및 구현 = A design and implementation of the transfer system for english-korean machine translation and filter mechanism for selection of translat[i]on equivalentslink 김영식; Kim, Young-Sik; et al, 한국과학기술원, 1990 |
2045 | 신경망을 이용한 인쇄체 한글 문자의 인식 = A neural network approach for printed hangul character recognitionlink 고병기; Ko, Byong-Ki; et al, 한국과학기술원, 1989 |
2046 | 자연어 문장 분석을 통한 개념적 데이타베이스 설계 = Conceptual database design by analyzing natural language sentenceslink 박용범; Park, Yong-Bum; et al, 한국과학기술원, 1989 |
2047 | (A) tool for constructing hypertext systems = 하이퍼텍스트 시스템 구축을 위한 도구link Park, Tae-Ha; 박태하; et al, 한국과학기술원, 1989 |
2048 | 음절인식을 위한 순환구조 신경회로망 = Recurrent neural network for syllable recognitionlink 조용덕; Cho, Yong-Duk; et al, 한국과학기술원, 1990 |
2049 | (A) knowledge-based common lisp library system for software reuse = 소프트웨어 재사용을 위한 지식기반 common lisp 라이브러리 시스템link Cho, Won-Gyu; 조원규; et al, 한국과학기술원, 1990 |
2050 | 신경망계산을 위한 뉴론모형 계산구조에 대한 연구 = A study on design of neuron model for neurocomputinglink 안병익; Ahn, Byung-Iek; et al, 한국과학기술원, 1990 |
2051 | 메타클레스를 기초한 반영기능을 가지는 객체지향 prolog의 구현 = An implementation of object-oriented prolog with reflective facilities based on metaclasseslink 정영민; Chung, Young-Min; et al, 한국과학기술원, 1990 |
2052 | Prolog의 OR 병렬 수행을 위한 계층 다중 프로세서 시스템의 연구 = A study on the hierarchical multiprocessor system for OR-parallel execution of prologlink 송충근; Song, Chung-Geun; et al, 한국과학기술원, 1990 |
2053 | 밀결합 멀티 프로세서 컴퓨터 시스템을 위한 버스 = A system bus for tightly coupled mult[i]processor computer systemslink 박병관; Park, Byung-Kwan; et al, 한국과학기술원, 1990 |
2054 | 통신소프트웨어 관리를 위한 버젼관계모델 = A version relationship model for communication software managementlink 심영진; Sim, Young-Jin; et al, 한국과학기술원, 1990 |
2055 | (An) optimization technique for type checking in polymorphic horn clause specification = 폴리모픽 혼 논리 명세어 형 검증의 최적화에 대한 연구link Park, Dong-Hoon; 박동훈; et al, 한국과학기술원, 1990 |
2056 | OR 병렬 프롤로그에서 데이타 베이스 술어의 처리 = Treatment of database predicates on an OR-parallel prologlink 한창민; Han, Chang-Min; et al, 한국과학기술원, 1990 |
2057 | Superquadric을 이용한 3차원 물체의 표현과 인식 = 3D object representation and recognition using superquadricslink 황삼청; Hwang, Sam-Chung; et al, 한국과학기술원, 1990 |
2058 | 다중 처리기 시스템에서의 동적 부하 분산 알고리즘 = A dynamic load distribution algorithm on multiprocessor systemlink 최진근; Choi, Jin-Keun; et al, 한국과학기술원, 1990 |
2059 | Design and implementation of transaction processing system in multiprocessor system = 다중 처리기 시스템에서의 트랜잭션 처리 시스템의 설계 및 구현link Choi, Hwan-Ik; 최환익; Cho, Jung-Wan; Lee, Yoon-Joon; et al, 한국과학기술원, 1990 |
2060 | (A) proposal for formal scheme in AND parallel execution of logic programs = 논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1990 |