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

Jump to a point in the index:

Showing results 501 to 520 of 16017

501
PrologTool:Development of Prolog Programming Environments on Sun Workstations

조정완, Proceedings of KISS Conference, pp.199 - 202, 1987

502
Implementation X-WAM for the Parallel Execution of Logic Program

조정완, Proceedings of KISS Conference, pp.143 - 146, 1987

503
An Abstract Machine for the Parallel Execution of Logic Program

조정완, Proceedings of KISS Conference, pp.135 - 138, 1987

504
A New Triangulation-Linear Class of Simple Polygons

Sang-Ho Lee; Chwa, Kyung Yong, INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, v.22, no.2, pp.135 - 147, 1987

505
CONVINCE - A CONVERSATIONAL INFERENCE CONSOLIDATION ENGINE

Kim, JinHyung; PEARL, J, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, v.17, no.2, pp.120 - 132, 1987

506
APPROXIMATING THE NUMBER OF UNIQUE VALUES OF AN ATTRIBUTE WITHOUT SORTING

ASTRAHAN, MM; SCHKOLNICK, M; Whang, Kyu-Young, INFORMATION SYSTEMS, v.12, no.1, pp.11 - 15, 1987

507
An Intelligent Image Compression System Through Image Understanding

김진형, 전자공학회논문지, v.6, no.0, pp.32 - 39, 1987

508
효율적인 Convex Hull 알고리즘과 그응용

차혜경; 신성용, 정보과학회지, v.5, no.4, pp.59 - 70, 1987

509
Path pascal 을 위한 synchronizer 자동 생성 시스템 = An automatic synchronizer synthesis system for path pascallink

손경철; Sohn, Kyung-Cheol; et al, 한국과학기술원, 1987

510
설계 변환에 의한 소프트웨어 재구성에 관한 연구 = A study on software restructuring by design transformationslink

김장수; Kim, Jang-Su; et al, 한국과학기술원, 1987

511
개체-카테고리-관계 모형을 이용한 자동 관계 데이타베이스 설계 도구의 개발에 관한 연구 = A study on the development of automatic relational database design tool using the entity-category-relationship modellink

이동수; Lee, Dong-Su; et al, 한국과학기술원, 1987

512
2차원 망구조 다중 프로세서 시스템 통신체제의 모의 실험 및 분석 = Analysis and simulation of communication mechanism on multiprocessor system using two-dimensional grid topologylink

강성재; Kang, Seong-Jae; et al, 한국과학기술원, 1987

513
컴파일시 생성된 여러 개의 선형순서를 가지는 AND/OR 프로세스 모델에 관한 연구 = A study on the AND/OR process model with the multiple ordered lists generated in compile timelink

박승운; Park, Seung-Woon; et al, 한국과학기술원, 1987

514
기계번역을 위한 한국어 해석에서 형태소로부터 구문요소의 형성에 관한 연구 = Transforming morphemes into sentence constituents in analyzing korean language for machine translationlink

안동언; An, Dong-Un; 전길남; 최기선; et al, 한국과학기술원, 1987

515
논리프로그램을 위한 AND/OR 프로세스 모델의 동적 프로세스 할당 정책 = A dynamic process allocation scheme for conery's AND/OR process modellink

은성배; Eun, Seong-Bae; et al, 한국과학기술원, 1987

516
오픈 시스템 환경에서의 화일 전송, 접근 및 관리 프로토콜을 위한 가상 화일 스토어 = Virtual file storefor file transfer, access and management protocol in open system environmentlink

박승철; Park, Seung-Chul; 전길남; 최양희; et al, 한국과학기술원, 1987

517
Simple transport mechanism for distributed systems on internetwork = 분산체제를 위한 internetwork 상에서의 간단한 전송 mechanism 에 관한 연구link

Heo, Deuk-Man; 허득만; et al, 한국과학기술원, 1987

518
연역 규칙의 관리와 순환 질의 컴파일에 관한 연구 = A study on the management of deduction rules and the compilation of recursive querieslink

홍기형; Hong, Ki-Hyung; et al, 한국과학기술원, 1987

519
주기억장치 데이타베이스 시스템에서 결합 연산자의 병렬 수행에 관한 연구 = A study on parallel processing of the join operations in main memory database systemlink

김창동; Kim, Chang-Dong; et al, 한국과학기술원, 1987

520
Development of automatic transaction design tool based on SHM+ = SHM+ 를 기초로 하는 트랜잭션 설계의 자동화link

Shin, Dong-Cheon; 신동천; et al, 한국과학기술원, 1987

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0