Browse "CS-Conference Papers(학술회의논문)" by Issue Date
Showing results 141 to 160 of 7493
| EXECUTION STRATEGIES FOR JOIN OPERATION IN MULTI-PROCESSOR MAIN MEMORY BASED DATABASE SYSTEM Kim, CD; Lee, Yoon Joon, Proceedings - TENCON 87: 1987 IEEE Region 10 Conference, 'Computers and Communications Technology Toward 2000'., pp.302 - 306, IEEE, 1987 |
| An Executable System Model Based on Stream Processing for Structured Analysis Kwon, Yong Rae, 1987 IEEE Region 10 Conference, pp.1202 -, 1987 |
| 다중 시간을 갖는 이력 데이타의 저장을 위한 논리적 표현 방법 오상헌; 김진호; 이윤준, KISS Conference Proceeding, pp.431 - 434, 한국정보과학회, 1987 |
| Assertion 기법의 소프트웨어 요구분석 과정에의 응용 연구 권용래, 한국정보과학회 학술발표논문집 제 1 4권 1호, 1987 |
| Hypercube 컴퓨터에서의 Sorting 알고리즘에 대한 비교연구 이흥규; 차혜경; 김병국, Proc. of the KITE Spring Conf, pp.1137 - 1139, 대한전기학회, 1987 |
| MULTIPLE BACKTRACKING IN THE AND PROCESS OF LOGIC PROGRAMMING. Choe, Kwang-Moo; Lee, Myung Joon; Woo, Nam Sung, Proceedings - TENCON 87: 1987 IEEE Region 10 Conference, 'Computers and Communications Technology Toward 2000'., pp.826 - 829, 1987 |
| An Error Correction Method in Hangul Text Recognition Park, J.K.; Kim, JinHyung, Proceedings of the Korea Information Science Society Conference, 1987 |
| Hangul Recognition with a Mixed Control Strategy Shim, W.T.; Kim, JinHyung, Proceedings of the Korea Information Science Socieyt Conference, 1987 |
| KAIST-KIT Campus Network Chon, K.-N., Proc. of WCCW, 1987 |
| A Deductive Approach for Representing and Reasoning about Temporal Knowledge 조정완, 인공지능 학술발표회, 1987 |
| An AND-Parallel Dataflow Graph for Logic Programs 조정완, 인공지능 학술발표회, 1987 |
| 설계 안정성을 고려한 모듈 접속 언어의 확장 권용래; 안세환, 한국정보과학회 학술발표대회, 1987 |
| A Study on Database Machines 이윤준, 과학기술처 특정연구결과 발표회, pp.137 - 140, 1987 |
| PIVOT 방식의 기계번역에서 한국어 격구조설정과 중간언어로부터 조사생성 김길창; 김재훈; 김철호; 최기선, 한국정보과학회 '87가을 학술발표, pp.216 - 219, 한국정보과학회, 1987 |
| Intelligent Machine Vision System for Complex Industrial Tasks Yang, Hyun-Seung; Sengupta, S., Proceedings of the IEEE Conference on Systems, Man and Cybernetics, pp.588 - 593, 1987 |
| An Extended Deduction Model of Belief and A Unified Proof Mechanism of Knowledge and Belief 조정완, Proceedings of KISS Conference, pp.220 - 226, 1987 |
| A Study on the extended necessary condition of graceful graphs 좌경룡, In Proc. of KISS Conf., pp.365 - 368, 1987 |
| PrologTool:Development of Prolog Programming Environments on Sun Workstations 조정완, Proceedings of KISS Conference, pp.199 - 202, 1987 |
| Implementation X-WAM for the Parallel Execution of Logic Program 조정완, Proceedings of KISS Conference, pp.143 - 146, 1987 |
| An Abstract Machine for the Parallel Execution of Logic Program 조정완, Proceedings of KISS Conference, pp.135 - 138, 1987 |
Discover
Type
- 102 Article
- 7,390 Conference
- 1 Thesis
Date issued
- 937 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989