Fuzzy Expert Classification Systems

조성원

한국지능시스템학회 학술발표 논문집

1994 .04

Automated Test Generation from Specifications Based on Formal Description Techniques

Byoung-Moon Chin ,  Young-Han Choe ,  Sung-Un Kim 외 1명

[ETRI] ETRI Journal

1997 .08

System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis

Kyou Ho Lee ,  Jeong Hee Hong ,  Tag Gon Kim

[ETRI] ETRI Journal

2015 .02

Integrating Expert Systems and Multimedia

James. M. Ragusa

한국지능정보시스템학회 학술대회논문집

1994 .04

Fe⁰, Fe²⁺, Fe³⁺/H₂O₂ 시스템을 이용한 펜톤반응의 특성

박성호 ,  배진열 ,  신지원 외 1명

대한환경공학회 학술발표논문집

2004 .12

Level Converting Flip-Flops for Multi-V_DD Systems

Hyoun Soo Pa ,  k ,  Bong Hyun Lee 외 1명

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2005 .07

A Construction Method of Expert Systems in an Integrated Environment

Hui Chen

한국지능정보시스템학회 기타 간행물

2001 .11

수도작을 위한 적정 농기계 선정 전문가 시스템개발( $\Pi$)- 전문가 시스템 개발-

조성인

한국농업기계학회 학술발표논문집

1996 .01

Integration of Expert Systems and Object-Oriented Database Management Systems

유석인

한국정보과학회 워크샵

1991 .03

Expert System 개발

오길록

전자진흥

1984 .01

Human Factor Considerations for Successful Expert Systems

서의호 ,  서창교

한국지능정보시스템학회 학술대회논문집

1993 .07

LAPD 프로토콜의 Formal Description

한운영 ,  한치문 ,  최양희 외 2명

대한전자공학회 학술대회

1986 .06

LAPD프로토콜의 Formal Description ( The Formal Description of LAPD Protocol )

한운영 ,  한치문 ,  최양희 외 2명

대한전자공학회 학술대회

1986 .01

건설공사 관리분야에 있어서 EXPERT, SYSTEM의 이용 - 중장비 및 자원관리 중심으로 ( Applications of Expert Systems in Construction Management )

조병후 ,  이병해 ,  김선호

대한건축학회 학술발표대회 논문집 - 구조계

1987 .04

Formal Model 작성을 위한 Event Graph 모델링 연구

박정현 ,  최병규

한국정밀공학회 학술발표대회 논문집

1997 .11

Knowledge-Based Expert System in Traffic Signal Control Systems.

Kang-Won Lim ,  Gyeong-Chul Kim

환경논총

1991 .12

The Year 2000 and its effect on I. T. Systems

Roge ,  Davies

한국항공우주학회 단행본

2000 .01

The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems

Hyun-Jeong Jo ,  Jong-Gyu Hwang ,  Yong-Ki Yoon

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2007 .07

Formal Verification Network-based Protocol for Railway Signaling Systems

Jong-Gyu Hwang ,  Jae-Ho Lee

제어로봇시스템학회 국제학술대회 논문집

2004 .08

Learning New Knowledge without influencing the Old in Expert Systems Based on Neural Network

Xun Liang ,  Ji Hong Du ,  Shawei Xia 외 1명

ICONIP : International Conference On Neural Information Processing

1994 .01