Browse "School of Computing(전산학부)" by Author 조정완

Showing results 1 to 60 of 234

1
2 경로 2 단계 요약 화일 방법에서의 다중 단어 질의 처리 기법에 관한 연구 = A multi-term query processing scheme in two-path two-level signature file methodslink

조혁제; Cho, Hyuk-Je; 조정완; 이윤준; et al, 한국과학기술원, 1990

2
2차원 메쉬에서 교착상태 버퍼를 이용한 효율적인 고장허용 라우팅 = Efficient fault tolerant routing using deadlock buffer in 2D-meshlink

장영배; Jang, Young-Bae; et al, 한국과학기술원, 1998

3
2차원 필터에 대한 빠른 패킷 분류 기법

정상훈; 윤현수; 조정완, 한국정보과학회 춘계 학술대회, pp.593 - 596, 한국정보과학회, 2003-04-01

4
3세대 무선망에서의 패킷 데이터를 위한 효율적인 버퍼 할당 알고리즘에 관한 연구 = An efficient buffer allocation algorithm for packet data in 3rd generation wireless networklink

이진원; Lee, Jin-Won; et al, 한국과학기술원, 2002

5
A Deductive Approach for Representing and Reasoning about Temporal Knowledge

조정완, 인공지능 학술발표회, 1987

6
A Hybrid Knowledge Representation System Using Extended Logic Programming

조정완, 인공지능 학술발표회, 1987

7
A Motion Estimation Method based on Pel-Recursive Algorithm and Block Matching Algorithm

조정완, Proceedings of KISS Conference, 1993

8
A New Scheduling Problem to Optimize Both Timeliness and Reliability

조정완, Proceedings of KISS Conference, pp.159 - 162, 1994

9
A Study on the Test System for Microprograms

조정완, Proceedings of KISS Conference, 1985

10
A System to Generate Test Data for Microprogram Using Symbolic Execution

조정완, Proceedings of KISS Conference, 1994

11
A Truth Maintenance Strategy in Hybrid Knowledge Representation System

조정완, Proceedings of KISS Conference, pp.139 - 142, 1987

12
(A) frame-and horn claude-based hybrid knowledge representation = 틀과 혼 논리절에 기초한 혼성 지식 표현에 관한 연구link

Han, Sang-Ki; 한상기; et al, 한국과학기술원, 1989

13
(A) framework for deadlock-free, adaptive routing in multicomputer networks : The flow control approach = 멀티컴퓨터 네트웍에서의 교착상태없는 적응 라우팅을 위한 흐름제어 기법link

Kim, Ji-Yun; 김지윤; et al, 한국과학기술원, 1996

14
(A) hierarchical bus architecture for distributed shared-memory multiprocessors = 분산 공유 메모리 다중처리기를 위한 계층버스 구조link

Kim, Jang-Seon; 김장선; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1995

15
(A) highly concurrent control and data flow computer architecture = 제어 및 데이타 흐름 방식의 병렬처리 컴퓨터구조에 관한 연구link

Maeng, Seung-Ryoul; 맹승렬; et al, 한국과학기술원, 1984

16
(A) learning scheme of self-organizing neural network based on incremental ordering method = 점진적 순서화 방법에 기초한 자율학습 신경망의 학습방법link

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

17
(A) microprogrammed computer architecture for software reliability improvement = 소프트웨어 신뢰도 증가를 위한 컴퓨터 구조에 관한 연구link

Lee, Bum-Chun; 이범천; et al, 한국과학기술원, 1979

18
(A) mode driven dataflow model for AND/OR parallelism of logic programs = 모드에 바탕을 둔 논리 프로그램을 위한 AND/OR 병렬 데이타플로우 모델link

Chung, Tae-Choong; 정태충; et al, 한국과학기술원, 1987

19
(A) module-level test pattern generation package for the test of digital networkslink

Chang, Tae-Mu; 장태무; et al, 한국과학기술원, 1979

20
(A) multi-processor accessible floppy disk systemlink

Park, Byung-Soo; 박병수; et al, 한국과학기술원, 1979

21
(A) parallel connection graph proof procedure using hybrid parallelism = 혼성 병렬성을 이용한 정리 증명 방법link

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

22
(A) parallel execution model of prolog programs for multiprocessor systems = 다중처리기 시스템을 위한 프로로그(Prolog)프로그램의 병렬 수행 모델link

Kim, Seung-Beom; 김승범; et al, 한국과학기술원, 1989

23
(A) parallel prolog execution model = 프롤로그의 병렬 수행 모델에 대한 연구link

Kim, Jin-Soo; 김진수; et al, 한국과학기술원, 1985

24
(A) relational dataflow database machine based on hierarchical chordal ring = 릴레이쇼날 데이타 베이스를 위한 링 구조의 컴퓨터에 관한 연구link

Kim, Jee-In; 김지인; et al, 한국과학기술원, 1984

25
(A) study of integrity for relational modellink

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

26
(A) study of security and privacy for DBMSlink

임해철; Lim, Hae-Chull; et al, 한국과학기술원, 1978

27
(A) study on fault-tolerant routing in interconnection networks = 상호 연결망에서의 고장 감내 라우팅에 관한 연구link

Kim, Jin-Soo; 김진수; et al, 한국과학기술원, 1998

28
(A) study on functional and multivalued dependencies in relational modellink

Park, Seog; 박석; et al, 한국과학기술원, 1980

29
(A) study on knowledge refinement technique for an oriental medicine knowledge base = 한의 지식 베이스를 위한 지식 정예 기법에 관한 연구link

Lee, Chang-Hoon; 이창훈; et al, 한국과학기술원, 1993

30
(A) study on pipelined, parallel FFT processorlink

Lee, Sang-Gu; 이상구; et al, 한국과학기술원, 1981

31
(A) study on state assignment in sequential machine designlink

Lee, Hee-Sub; 이희섭; et al, 한국과학기술원, 1981

32
(A) study on the clustering method in speaker independent isolated word recognition = 독립화가 고립단어 인식에 있어서의 Clustering 방법에 관한 연구link

Jang, Ig-Hyeon; 장익현; Cho, Jung-Wan; Maeng, Seung-Ryeul; et al, 한국과학기술원, 1986

33
(A) study on the frequency - weighted spectral representations for robust speech recognition = Robust한 음성인식을 위한 주파수 가중 스펙트럼 표현에 관한 연구link

Kim, Ki-Chul; 김기철; et al, 한국과학기술원, 1992

34
(A) study on the microprogram verification using simulation techniquelink

박도순; Park, Do-Soon; et al, 한국과학기술원, 1980

35
(A) study on the recognition of Hangeul character patternslink

Joo, Bok-Gyu; 주복규; et al, 한국과학기술원, 1980

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

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

37
(A) two level mapped random file structurelink

Paik, In-Sup; 백인섭; et al, 한국과학기술원, 1975

38
(A) two-way memory interleaved SIMD machine for image processing = 영상 처리를 위한 투-웨이 메모리 인터리빙 병렬 처리기link

Song, Joo-Won; 송주원; et al, 한국과학기술원, 1983

39
(A) Typed functional logic language : semantics and implementation = 형 함수 논리 언어 : 의미와 구현link

Shin, Dong-Wook; 신동욱; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1990

40
(A) unified proof mechanism for knowledge and belief based on box model = 상자 모형에 기초한 믿음과 지식의 단일화된 증명 방법link

Kim, Young-Hoon; 김영훈; et al, 한국과학기술원, 1994

41
(A) universal systolic chip and their interconnection network = Systolic 데이타 베이스 칩 및 이들의 상호 연결망link

Kim, Seung-Beom; 김승범; et al, 한국과학기술원, 1984

42
AFLOG- A New Computational Model for A Functional Logic Language

조정완, 인공지능 학술발표회, 1987

43
AHPL 하드웨어 시뮬레이터

조정완, KISS Conference, 1984

44
An Abstract Machine for the Parallel Execution of Logic Program

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

45
An AND-Parallel Dataflow Graph for Logic Programs

조정완, 인공지능 학술발표회, 1987

46
An Extended Deduction Model of Belief and A Unified Proof Mechanism of Knowledge and Belief

조정완, Proceedings of KISS Conference, pp.220 - 226, 1987

47
(An) Adaptive channel access control method for CDMA/PRMA = 코드분할/패킷예약 다중접속을 위한 적응형 채널접속 제어 방식link

Kang, Seok-Youl; 강석렬; et al, 한국과학기술원, 2003

48
(An) AND/OR graph model for parallel execution of logic program = 논리언어의 병렬수행을 위한 AND/OR graph modellink

Kim, Yong-Woon; 김용운; Cho, Jung-Wan; Maeng, Seung-Ryoul; et al, 한국과학기술원, 1986

49
(An) automatic document retrieval systemlink

Kim, Yong-Man; 김용만; et al, 한국과학기술원, 1979

50
(An) emulation oriented CPU designlink

Han, Tai-Sook; 한태숙; et al, 한국과학기술원, 1978

51
(An) emulation oriented dynamic microprogrammable processor design = 에뮬레이션을 위한 DMP 설계link

Bae, Min-Oh; 배민오; et al, 한국과학기술원, 1983

52
(An) image parallel approach for ray tracing on distributed memory multicomputers = 분산메모리 멀티 컴퓨터에서 화상 병렬 광선 추적법link

Yoon, Hyeon-Ju; 윤현주; Cho, Jung-Wan; Shin, Sung-Yong; et al, 한국과학기술원, 1997

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

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

54
(An) inference model for the domain independent expert system = 전문 영역에 대해서 독립적인 전문가 시스템을 위한 추론 모형에 관한 연구link

Yoon, Ho-Seong; 윤호성; Chung, Seon-Jong; Cho, Jung-Wan; et al, 한국과학기술원, 1985

55
(An) interactive graphics system for logic circuit diagrams = 논리회로 도면 작성을 위한 그래픽 시스템link

Choi, Sun-Jung; 최선정; et al, 한국과학기술원, 1983

56
(An) interactive multi-user microprogramming simulator for S-machinelink

김재정; Kim, Jae-Jeong; et al, 한국과학기술원, 1978

57
AND/OR parallel token machine = 논리언어의 병렬수행 Token machine 에 대한 연구link

Lee, Heon-Guil; 이헌길; et al, 한국과학기술원, 1985

58
ATM switche fabrics based on the cell extracting banyan networks = 셀 추출 반얀 네트워크를 이용한 ATM 스위치 패브릭link

Kim, Byung-Gi; 김병기; et al, 한국과학기술원, 1997

59
ATM 망에서의 MPEG 전송을 위한 전송률 기반 혼잡 제어 기법

안병찬; 조기호; 이우섭; 윤현수; 조정완, 한국정보과학회 논문지 (A), v.25, no.3, pp.322 - 330, 1998-03

60
ATM 망에서의 MPEG 전송을 위한 전송률 기반 혼잡 제어 기법의 설계

조정완, Proceedings of KISS Conference, pp.309 - 312, 1997

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0