2161 | 설계 변환에 의한 소프트웨어 재구성에 관한 연구 = A study on software restructuring by design transformationslink 김장수; Kim, Jang-Su; et al, 한국과학기술원, 1987 |
2162 | 지상보조회선의 제어를 받는 하이브리드 데이타 방송 네트워크에 관한 연구 = A study on hybrid data broadcasting metwork based on terrestrial reverse channel controllink 이영규; Lee, Young-Kyu; et al, 한국과학기술원, 1987 |
2163 | 연역 규칙의 관리와 순환 질의 컴파일에 관한 연구 = A study on the management of deduction rules and the compilation of recursive querieslink 홍기형; Hong, Ki-Hyung; et al, 한국과학기술원, 1987 |
2164 | Object 개념의 메모리 세그먼트를 이용한 효율적인 트랜잭션 복구방법 = Efficient transaction recovery mechanism using object based memory segmentationlink 강석열; Kang, Seok-Youl; et al, 한국과학기술원, 1987 |
2165 | 속성과 중심단어의 2경로를 제공하는 문서검색시스템에 관한연구 = A study on a document retrieval system using two access paths by attribute and keywordlink 김영기; Kim, Young-Gi; et al, 한국과학기술원, 1987 |
2166 | Diamete 가 d이고 c Vertex 연결도를 갖는 k-Regular 그래프에 관한 연구 = A study on c-connected k-Regular graphs with diameter dlink 최한영; Choi, Han-Yeong; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
2167 | Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prologlink 최정훈; Choi, Jeong-Hun; et al, 한국과학기술원, 1987 |
2168 | Simple transport mechanism for distributed systems on internetwork = 분산체제를 위한 internetwork 상에서의 간단한 전송 mechanism 에 관한 연구link Heo, Deuk-Man; 허득만; et al, 한국과학기술원, 1987 |
2169 | Assertion 기법을 소프트웨어 요구 분석에 적용하기 위한 연구 = A study on application of the assertion techniques to analysis of software requirementslink 차신; Cha, Shin; et al, 한국과학기술원, 1987 |
2170 | 직교 다각형의 내부에 포함되는 최대 볼록 다각형을 구하는 알고리즘 = Algorithms for finding the largest convex subpolygon of a rectilinear polygonlink 최승학; Choi, Seung-Hak; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
2171 | 통계 분석 지원을 위한 통합 요약 데이타 테이블의 설계 및 구현 = A design and implementation of integrated summary data tables supporting statistical analysislink 최원석; Choe, Weon-Seog; et al, 한국과학기술원, 1987 |
2172 | 연역 데이타베이스에서 가상 릴레이션을 통한 데이타베이스 갱신에 관한 연구 = A study on database update through derived relations in deductive databaseslink 조완섭; Cho, Wan-Seop; et al, 한국과학기술원, 1987 |
2173 | 구문속성을 지닌 의미구조로부터 한국어 형태소의 생성 = The generation of korean morpheme from the meaning structure with syntactic featurelink 조용섭; Cho, Yong-Seob; 전길남; 최기선; et al, 한국과학기술원, 1987 |
2174 | (A) model for temporal reasoning based on time point = 시점에 의한 시간 추론 모형에 관한 연구link Jun, Young-Pyo; 전영표; et al, 한국과학기술원, 1987 |
2175 | 고정크기 다각형의 위치문제에 대한 알고리즘 = Algorithms for the fixed-size polygon placement problemlink 조창제; Cho, Chang-Je; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
2176 | 선형 특성을 이용한 Image matching 에 관한 연구 = Image matching using linear featureslink 정근섭; Chung, Keun-Sup; et al, 한국과학기술원, 1987 |
2177 | (An) extension of reproducing-scoring-function for intervals of probabilities = 재생 스코어링 함수의 구간확장link Chung, Min-Gyo; 정민교; et al, 한국과학기술원, 1987 |
2178 | 확장 관계모형에서의 최적 질의어 처리에 관한 연구 = A study on optimal query processing in extended relational modellink 이진수; Lee, Jin-Soo; et al, 한국과학기술원, 1987 |
2179 | 분할된 분산 데이타베이스시스템에서의 트랜잭션 분류에 관한 연구 = A study on transaction classification in partitioned distributed database systemslink 임종태; Lim, Jong-Tae; et al, 한국과학기술원, 1987 |
2180 | 인쇄체 한글 인식에서의 잡음 처리에 관한 연구 = A study on noise handling techniques for the recognition of printed korean characterslink 임헌규; Lim, Hun-Kyoo; et al, 한국과학기술원, 1987 |