A New Kind of Three-Valued Predicated Logic with Applications to Theory of Programs

Chen Xin Yuan

TENCON 87 - Computers and Communications Technology Toward 2000

1987 .01

Predicate Logic Form을 이용한 자연어 텍스트로부터의 감정인식

설용수 ,  김동주 ,  김한우 외 1명

한국컴퓨터정보학회 학술발표논문집

2010 .07

Logic Simulation

권태욱

대한전자공학회 단기강좌

1983 .01

융합방법을 이용한 定理증명기의 구현

백은옥 ,  류기열

(구)정보과학회논문지

1985 .02

Logic Synthesis

황선영

CAD기술특강

1989 .01

확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구

박춘명

한국인터넷방송통신학회 논문지

2008 .01

연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법

안길승 ,  허선

산업경영시스템학회지

2015 .01

초고해상도 기반 비대면 저해상도 영상의 얼굴 인식 시스템

배현빈 ,  권오설

멀티미디어학회논문지

2020 .03

AN APPROACH FOR LOGIC SYNTHESIS

Takeshi Yoshimu ,  a

ICVC : International Conference on VLSI and CAD

1989 .01

Super-resolution Techniques based on Temporal Recursion using Optimal and Real Parameters

S. Kathi ,  avan ,  J. Kanaka 외 1명

SmartCR

2014 .02

A Study on Performance Assessment Methods by Using Fuzzy Logic

Kwang-Baek Kim ,  Cheol-Ki Kim ,  Jung-Wook Moon

INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS

2003 .12

A Study on Performance Assessment Methods Using Fuzzy Logic

채규용 ,  장길상 ,  주재훈

한국산업정보학회논문지

2004 .03

A Rule - Based Hardware Description Language and Verification of Logic Circuits

조동섭 ,  황희융

한국정보과학회 학술발표논문집

1986 .10

Logic Simulator의 구현에 관한 연구 ( A Study on Implementation of logic Simulator )

김현호 ,  이용희 ,  최상국 외 1명

대한전자공학회 학술대회

1990 .11

LOGIC SIMULATOR의 구현에 관한 연구

김현호 ,  이용희 ,  최상국 외 1명

대한전자공학회 학술대회

1990 .11

PLC에서의 입출력 응답속도 향상을 위한 모듈 분산 형 Logic

송동신 ,  조계석 ,  권순창 외 1명

정보 및 제어 논문집

2012 .10

철도차량의 효과적 RCM 적용을 위한 LTA로직 개발

송기태 ,  김민호 ,  백영구 외 2명

한국철도학회 학술발표대회논문집

2008 .11

A Novel Algorithm for Face Recognition From Very Low Resolution Images

C. Senthilsingh ,  M. Manikandan

Journal of Electrical Engineering & Technology

2015 .03

난독화 해제를 위한 Opaque Predicate Detector

양종환 ,  김영철 ,  목성균 외 2명

한국정보과학회 학술발표논문집

2019 .12

퍼지 Logic을 이용한 화재감지기법에 관한 연구

홍성호 ,  김두현 ,  김상철

한국화재소방학회 학술대회 논문집

2003 .01