DSpace at KOASAS
Browsing DSpace

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

Jump to a point in the index:

Showing results 421 to 440 of 16017

421
시간 차원 지원을 위한 확장된 릴레이션의 구조 및 오퍼레이션 = Extended relational structure and operations for time supportlink

이효건; Lee, Hyo-Gun; et al, 한국과학기술원, 1986

422
(A) study on rapid prototyping in SDL environment = SDL 환경하에서의 prototyping 기법에 관한 연구link

Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 1986

423
(A) rhino XR-2 kinematic simulator as a teaching aid = 교구용 rhino XR-2 운동학적 모의실험기link

Lee, Si-Bong; 이시봉; et al, 한국과학기술원, 1986

424
국어 대용어 해결 시스템의 설계및 구현 = The design and implementation of the korean anaphora resolution systemlink

허정; Hur, Jung; 김길창; 최기선; et al, 한국과학기술원, 1986

425
Design of optimal filters for error feedback quantization of picture images = 영상 디스플레이를 위한최적 에러 휘드백 퀀타이저의 설계link

Kim, Jung-Guk; 김정국; et al, 한국과학기술원, 1986

426
On some computational structures for parallel graph algorithms = 병렬 그래프 알고리즘을 위한 계산 구조에 관한 연구link

Kim, Tae-Nam; 김태남; Chwa, Kyung-Yong; Kwon, Yong-Rae; et al, 한국과학기술원, 1986

427
연구와 개발 네트위크에서의 분산 디렉토리 체계를 위한 접근 방법 = Access methods for distributed directory system in research and development networklink

허남원; Heo, Nam-Won; et al, 한국과학기술원, 1986

428
On parsing partially free word order languages based on petri nets and montague grammer = 페트리 네트와몬테규 문법을 이용한 部分自由語順言語의 파싱에 관한 연구link

Choi, Key-Sun; 최기선; et al, 한국과학기술원, 1986

429
PROKB의 다중 상속계층에 대한 일치성 유지기법 = Consistency maintenance mechanism for multiple inheritance hierarchy in PROKBlink

서상구; Seo, Sang-Koo; et al, 한국과학기술원, 1986

430
(An) improved protocol validation technique by generating the group perturbation tree = 그룹 퍼터베이션트리 작성에 의한 효율적인 프로토콜 검증 기법link

Hwang, Si-Yeong; 황시영; et al, 한국과학기술원, 1986

431
구조적 분석 기법의 자동화를 위한 기초 연구 = A study on automation of structured analysis techniqueslink

김동환; Kim, Dong-Hwan; et al, 한국과학기술원, 1986

432
자연언어의 格分類에 관한 연구 : 전산학에서의 언어를 중심으로 = A study on the case classicication of natural language : with regard to the sentences of computer science literatureslink

윤길배; Yoon, Gil-Bae; et al, 한국과학기술원, 1986

433
PROKB : a construction of knowlege base with dynamic features = PROKB : 동적 특성을 갖는 지식 베이스의 구축link

Cho, Han-Mo; 조한모; et al, 한국과학기술원, 1986

434
개념적 분석 방법을 사용한 한국어 문장의 의미분석에 관한 연구 : 언어학적 지식을 중심으로 = On the meaning analysis of korean sentence using conceptual analysislink

신지애; Shin, Ji-Ae; et al, 한국과학기술원, 1986

435
Pure equations in logic programming languages : an approach to implementation of equality relation = 논리언어 상에서 pure equation 에 의한 equality relation 의 구현link

Han, Yoon-Seop; 한윤섭; et al, 한국과학기술원, 1986

436
Parallel Algorithms for a Depth First Search and a Breadth First Search

Taenam Kim; Chwa, Kyung Yong, INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, v.19, no.1, pp.39 - 54, 1986-01

437
A CONTROL AND DATA FLOW MULTIPROCESSOR

Maeng, SeungRyoul; Cho, Jung Wan, AUSTRALIAN COMPUTER JOURNAL, v.18, no.1, pp.26 - 32, 1986-02

438
Determination of the Identity, Position and Orientation of the Topmost Object in a Pile

Yang, Hyun-Seung; Kak, A.C., Proceedings of the IEEE International Conference on Robotics and Automation, pp.293 - 297, 1986-04

439
한글 LISP 개발에 관한 연구

김두현; 김진형, 한국 정보과학회 춘계 학술발표회, v.13, no.1, pp.327 - 332, 한국정보과학회, 1986-04

440
A CONTROLLED QUANTIFICATION IN PARSING OF MONTAGUE GRAMMAR

Choi, Key-Sun; Kim, Gil Chang, INFORMATION PROCESSING LETTERS, v.22, no.4, pp.207 - 216, 1986-04

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0