| 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) microprocessor based digital integrated circuit test system = 마이크로 프로셋서를 이용한 디지탈 집적회로 테스트 시스템link Choi, Dong-Jae; 최동재; et al, 한국과학기술원, 1976 |
| 18 | (A) microprogrammed computer architecture for software reliability improvement = 소프트웨어 신뢰도 증가를 위한 컴퓨터 구조에 관한 연구link Lee, Bum-Chun; 이범천; et al, 한국과학기술원, 1979 |
| 19 | (A) mode driven dataflow model for AND/OR parallelism of logic programs = 모드에 바탕을 둔 논리 프로그램을 위한 AND/OR 병렬 데이타플로우 모델link Chung, Tae-Choong; 정태충; et al, 한국과학기술원, 1987 |
| 20 | (A) module-level test pattern generation package for the test of digital networkslink Chang, Tae-Mu; 장태무; et al, 한국과학기술원, 1979 |
| 21 | (A) multi-processor accessible floppy disk systemlink Park, Byung-Soo; 박병수; et al, 한국과학기술원, 1979 |
| 22 | (A) parallel connection graph proof procedure using hybrid parallelism = 혼성 병렬성을 이용한 정리 증명 방법link Kim, Byeong-Man; 김병만; et al, 한국과학기술원, 1992 |
| 23 | (A) parallel execution model of prolog programs for multiprocessor systems = 다중처리기 시스템을 위한 프로로그(Prolog)프로그램의 병렬 수행 모델link Kim, Seung-Beom; 김승범; et al, 한국과학기술원, 1989 |
| 24 | (A) parallel prolog execution model = 프롤로그의 병렬 수행 모델에 대한 연구link Kim, Jin-Soo; 김진수; et al, 한국과학기술원, 1985 |
| 25 | (A) processor organization for user-microgramming using main memory = 주 기억 장치를 이용하여 사용자 마이크로프로그래밍을 하기 위한 컴퓨터 제어부의 구조link Woo, Nam-Sung; 우남성; et al, 한국과학기술원, 1977 |
| 26 | (A) relational dataflow database machine based on hierarchical chordal ring = 릴레이쇼날 데이타 베이스를 위한 링 구조의 컴퓨터에 관한 연구link Kim, Jee-In; 김지인; et al, 한국과학기술원, 1984 |
| 27 | (A) study of integrity for relational modellink 황시영; Hwang, Si-Yeong; et al, 한국과학기술원, 1978 |
| 28 | (A) study of security and privacy for DBMSlink 임해철; Lim, Hae-Chull; et al, 한국과학기술원, 1978 |
| 29 | (A) study on fault-tolerant routing in interconnection networks = 상호 연결망에서의 고장 감내 라우팅에 관한 연구link Kim, Jin-Soo; 김진수; et al, 한국과학기술원, 1998 |
| 30 | (A) study on functional and multivalued dependencies in relational modellink Park, Seog; 박석; et al, 한국과학기술원, 1980 |
| 31 | (A) study on knowledge refinement technique for an oriental medicine knowledge base = 한의 지식 베이스를 위한 지식 정예 기법에 관한 연구link Lee, Chang-Hoon; 이창훈; et al, 한국과학기술원, 1993 |
| 32 | (A) study on pipelined, parallel FFT processorlink Lee, Sang-Gu; 이상구; et al, 한국과학기술원, 1981 |
| 33 | (A) study on state assignment in sequential machine designlink Lee, Hee-Sub; 이희섭; et al, 한국과학기술원, 1981 |
| 34 | (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 |
| 35 | (A) study on the frequency - weighted spectral representations for robust speech recognition = Robust한 음성인식을 위한 주파수 가중 스펙트럼 표현에 관한 연구link Kim, Ki-Chul; 김기철; et al, 한국과학기술원, 1992 |
| 36 | (A) study on the microprogram verification using simulation techniquelink 박도순; Park, Do-Soon; et al, 한국과학기술원, 1980 |
| 37 | (A) study on the recognition of Hangeul character patternslink Joo, Bok-Gyu; 주복규; et al, 한국과학기술원, 1980 |
| 38 | (A) tool for constructing hypertext systems = 하이퍼텍스트 시스템 구축을 위한 도구link Park, Tae-Ha; 박태하; et al, 한국과학기술원, 1989 |
| 39 | (A) two level mapped random file structurelink Paik, In-Sup; 백인섭; et al, 한국과학기술원, 1975 |
| 40 | (A) two-way memory interleaved SIMD machine for image processing = 영상 처리를 위한 투-웨이 메모리 인터리빙 병렬 처리기link Song, Joo-Won; 송주원; et al, 한국과학기술원, 1983 |
| 41 | (A) Typed functional logic language : semantics and implementation = 형 함수 논리 언어 : 의미와 구현link Shin, Dong-Wook; 신동욱; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1990 |
| 42 | (A) unified proof mechanism for knowledge and belief based on box model = 상자 모형에 기초한 믿음과 지식의 단일화된 증명 방법link Kim, Young-Hoon; 김영훈; et al, 한국과학기술원, 1994 |
| 43 | (A) universal systolic chip and their interconnection network = Systolic 데이타 베이스 칩 및 이들의 상호 연결망link Kim, Seung-Beom; 김승범; et al, 한국과학기술원, 1984 |
| 44 | AFLOG- A New Computational Model for A Functional Logic Language 조정완, 인공지능 학술발표회, 1987 |
| 45 | AHPL 하드웨어 시뮬레이터 조정완, KISS Conference, 1984 |
| 46 | An Abstract Machine for the Parallel Execution of Logic Program 조정완, Proceedings of KISS Conference, pp.135 - 138, 1987 |
| 47 | An AND-Parallel Dataflow Graph for Logic Programs 조정완, 인공지능 학술발표회, 1987 |
| 48 | An Extended Deduction Model of Belief and A Unified Proof Mechanism of Knowledge and Belief 조정완, Proceedings of KISS Conference, pp.220 - 226, 1987 |
| 49 | (An) Adaptive channel access control method for CDMA/PRMA = 코드분할/패킷예약 다중접속을 위한 적응형 채널접속 제어 방식link Kang, Seok-Youl; 강석렬; et al, 한국과학기술원, 2003 |
| 50 | (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 |
| 51 | (An) automatic document retrieval systemlink Kim, Yong-Man; 김용만; et al, 한국과학기술원, 1979 |
| 52 | (An) emulation oriented CPU designlink Han, Tai-Sook; 한태숙; et al, 한국과학기술원, 1978 |
| 53 | (An) emulation oriented dynamic microprogrammable processor design = 에뮬레이션을 위한 DMP 설계link Bae, Min-Oh; 배민오; et al, 한국과학기술원, 1983 |
| 54 | (An) image parallel approach for ray tracing on distributed memory multicomputers = 분산메모리 멀티 컴퓨터에서 화상 병렬 광선 추적법link Yoon, Hyeon-Ju; 윤현주; Cho, Jung-Wan; Shin, Sung-Yong; et al, 한국과학기술원, 1997 |
| 55 | (An) improved protocol validation technique by generating the group perturbation tree = 그룹 퍼터베이션트리 작성에 의한 효율적인 프로토콜 검증 기법link Hwang, Si-Yeong; 황시영; et al, 한국과학기술원, 1986 |
| 56 | (An) inference model for the domain independent expert system = 전문 영역에 대해서 독립적인 전문가 시스템을 위한 추론 모형에 관한 연구link Yoon, Ho-Seong; 윤호성; Chung, Seon-Jong; Cho, Jung-Wan; et al, 한국과학기술원, 1985 |
| 57 | (An) interactive graphics system for logic circuit diagrams = 논리회로 도면 작성을 위한 그래픽 시스템link Choi, Sun-Jung; 최선정; et al, 한국과학기술원, 1983 |
| 58 | (An) interactive multi-user microprogramming simulator for S-machinelink 김재정; Kim, Jae-Jeong; et al, 한국과학기술원, 1978 |
| 59 | Analog to digital and digital to analog converters interfaces for a minicomputer and their application to the deadbeat controller = 미니 컴퓨터를 위한 A/D converter, D/A converter interface 와 deadbeat controller 에 대한 그의 응용link Shin, In-Cheol; 신인철; et al, 한국과학기술원, 1975 |
| 60 | AND/OR parallel token machine = 논리언어의 병렬수행 Token machine 에 대한 연구link Lee, Heon-Guil; 이헌길; et al, 한국과학기술원, 1985 |
