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

Jump to a point in the index:

Showing results 521 to 540 of 16139

521
직교 다각형의 내부에 포함되는 최대 볼록 다각형을 구하는 알고리즘 = Algorithms for finding the largest convex subpolygon of a rectilinear polygonlink

최승학; Choi, Seung-Hak; 권용래; 좌경룡; et al, 한국과학기술원, 1987

522
최적인 2-단계 고장 진단 시스템에 관한 연구 = A study on optimal design of two-step fault diagnosable systemslink

박정흠; Park, Jung-Heum; 권용래; 좌경룡; et al, 한국과학기술원, 1987

523
(A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process = AND-control 프로세스를 가진 AND/OR 프로세스 모델에서의 논리 프로그램의 병렬 처리 기법link

Kim, Do-Hyeong; 김도형; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1987

524
분할된 분산 데이타베이스시스템에서의 트랜잭션 분류에 관한 연구 = A study on transaction classification in partitioned distributed database systemslink

임종태; Lim, Jong-Tae; et al, 한국과학기술원, 1987

525
분산 디버깅을 위한 대화식 감시 체제 = Interactive monitoring mechanism to support distributed debugginglink

이철호; Lee, Chul-Ho; et al, 한국과학기술원, 1987

526
Pattern classification by combining single feature clusterings = 단일 feature의 clustering 을 이용한 pattern classification 방법에 관한 연구link

Sin, Bong-Kee; 신봉기; et al, 한국과학기술원, 1987

527
확장 관계모형에서의 최적 질의어 처리에 관한 연구 = A study on optimal query processing in extended relational modellink

이진수; Lee, Jin-Soo; et al, 한국과학기술원, 1987

528
분산 데이타베이스 시스템에서의 쉐도우 페이지 회복 = Shadow page recovery in distributed database systemslink

엄준호; Eom, Joon-Ho; et al, 한국과학기술원, 1987

529
자료흐름도로부터 Vienna definition language 를 이용하여 실행 가능한 specification 을 구성하는 방법 = Constructing an executable specification from data flow diagrams using vienna definition languagelink

이종희; Lee, Jong-Heui; et al, 한국과학기술원, 1987

530
연역 데이타베이스에서 가상 릴레이션을 통한 데이타베이스 갱신에 관한 연구 = A study on database update through derived relations in deductive databaseslink

조완섭; Cho, Wan-Seop; et al, 한국과학기술원, 1987

531
Performance of integrated concurrency control method in distributed database systems = 분산 데이타베이스 체제하의 통합 동시성 제어방법의 성능에 관한 연구link

Won, Yoo-Heung; 원유흥; et al, 한국과학기술원, 1987

532
개념 의존 구조로부터 한국어 시맨틱 네트웍의 생성에 관한 연구 = A study on generating korean semantic metworks from conceptual dependency representationlink

문병로; Moon, Byung-Ro; et al, 한국과학기술원, 1987

533
Tabular parsing 방법과 접속 정보를 이용한 한국어 형태소 분석기 = A morphological analyzer for korean language with tabular parsing method and connectivity informationlink

김성용; Kim, Seong-Yong; et al, 한국과학기술원, 1987

534
Diamete 가 d이고 c Vertex 연결도를 갖는 k-Regular 그래프에 관한 연구 = A study on c-connected k-Regular graphs with diameter dlink

최한영; Choi, Han-Yeong; 권용래; 좌경룡; et al, 한국과학기술원, 1987

535
(A) model for temporal reasoning based on time point = 시점에 의한 시간 추론 모형에 관한 연구link

Jun, Young-Pyo; 전영표; et al, 한국과학기술원, 1987

536
연구개발 네트워크를 위한 CCITT 권고안에 따른 디렉토리 시스템 = A directory system based on CCITT recommendations for research and development networkslink

윤병흠; Yoon, Byeong-Heum; et al, 한국과학기술원, 1987

537
(A) study on nonredundant allocation of files in distributed systems = 분산 체제하에서 비 중복 화일 할당에 관한 연구link

Kim, Sun; 김선; et al, 한국과학기술원, 1987

538
Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prologlink

최정훈; Choi, Jeong-Hun; et al, 한국과학기술원, 1987

539
(A) design and implementation of temporal query language with abstract time support = 추상적 시간을 지원하는 이력 질의 언어의 설계 및 구현link

Yoo, Ho-Dong; 유호동; et al, 한국과학기술원, 1987

540
지상보조회선의 제어를 받는 하이브리드 데이타 방송 네트워크에 관한 연구 = A study on hybrid data broadcasting metwork based on terrestrial reverse channel controllink

이영규; Lee, Young-Kyu; et al, 한국과학기술원, 1987

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0