DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Issue Date 

Jump to a point in the index:

Showing results 14781 to 14800 of 15971

14781
신경망을 이용한 인쇄체 한글 문자의 인식 = A neural network approach for printed hangul character recognitionlink

고병기; Ko, Byong-Ki; et al, 한국과학기술원, 1989

14782
다중 프로그램 view를 제공하기 위한 명세어의 설계 = Design of a specification language for displaying multiple views of the programlink

조영순; Cho, Young-Soon; et al, 한국과학기술원, 1989

14783
프로그램 수행 경로와 자료 흐름 정보에 기반을 둔 새로운 복잡도 척도에 관한 연구 = A new hybrid complexity measure based on program path and data flow informationlink

이호경; Lee, Ho-Kyoung; et al, 한국과학기술원, 1989

14784
대화상 단축표현의 계획, 상황적 이해에 대한 연구 = A study on understanding of sentence fragment in dialogue based in plan and situationlink

정광렬; Jung, Gwang-Ryoul; et al, 한국과학기술원, 1989

14785
연결 그래프에 바탕을 둔 병렬 정리 증명에 관한 연구 = A study on the parallel theorem proving based on connection graphlink

김병만; Kim, Byeong-Man; et al, 한국과학기술원, 1989

14786
자료흐름도로부터 실행 가능한 명세를 작성하기 위한 명세 언어 = An executable specification language for constructing an executable specification from data flow digramslink

함경수; Ham, Kyung-Soo; et al, 한국과학기술원, 1989

14787
이식성을 고려한 Common lisp object system의 구현 = A portable implementation of common lisp object systemlink

이동현; Lee, Dong-Hyeon; et al, 한국과학기술원, 1989

14788
프롤로그를 이용한 게이트 수준 논리 회로 합성에 관한 연구 = A study on gate level logic circuit synthesis using prologlink

안종철; Ahn, Jong-Chul; et al, 한국과학기술원, 1989

14789
분산 데이타베이스 시스템에서의 교착상태 탐지 기법의 성능 비교 = Performance comparison of deadlock detection schemes in distributed database systemslink

이원섭; Lee, Won-Sup; et al, 한국과학기술원, 1989

14790
(A) study on the test data generation based on the dynamic analysis of specifications = 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구link

Jung, In-Sang; 정인상; et al, 한국과학기술원, 1989

14791
객체지향 프로그래밍을 위한 prolog의 확장에 관한 연구 = A study on extension of prolog for object-oriented programminglink

송우길; Song, Woo-Gil; et al, 한국과학기술원, 1989

14792
분산 시스템에서 그룹간의 상호 동작을 지원하기위한 동적 그룹 구성 = Dynamic group configuration for group interactions on distributed systemslink

함종민; Ham, Jong-Min; et al, 한국과학기술원, 1989

14793
한영 텍스트에서의 스트링 검색 알고리즘 = String searching algorithm for korean-english textlink

정환도; Jeong, Hwan-Do; et al, 한국과학기술원, 1989

14794
논리 프로그램의 병렬 수행을 위한 bipartite 멀티프로세서 구조에서의 부하 균등 = Load balancing on the bipartite multiprocessor architecture for parallel evaluation of logic programslink

우진형; Woo, Jin-Hyung; et al, 한국과학기술원, 1989

14795
스크립트 정합을 통한 상황평가 = Situation assessment through script matchinglink

김석원; Kim, Seok-Won; et al, 한국과학기술원, 1989

14796
(A) recovery scheme for main memory database systems = 주기억 장치 데이타베이스 시스템을 위한 회복 기법link

Kang, Suk-Hoon; 강석훈; et al, 한국과학기술원, 1989

14797
AND/OR 프로세스 모델에서 실패 분석을 이용한 효율적인 backtracking = Intelligent backtracking with cause analysis in the AND/OR process modellink

변성원; Byon, Sung-Won; et al, 한국과학기술원, 1989

14798
(A) tool for constructing hypertext systems = 하이퍼텍스트 시스템 구축을 위한 도구link

Park, Tae-Ha; 박태하; et al, 한국과학기술원, 1989

14799
Automatic extraction of analytic font from bitmap font = 비트맵 자형으로부터 해석적 자형의 자동 추출link

Kim, Young-Bong; 김영봉; et al, 한국과학기술원, 1989

14800
소프트웨어 고장을 허용하는 원격 프로시듀어 호출 = Software fault-tolerant remote procedure calllink

백칠현; Baek, Chil-Hyun; et al, 한국과학기술원, 1989

Discover

rss_1.0 rss_2.0 atom_1.0