A Decomposition-based Approach to Checking the Satisfiability of Temporal Database Query in Temporal Planning

Ho-Jin Choi ,  Ba ,  y Richa 외 1명

Journal of Electrical Engineering and information Science

1999 .06

A Decomposition-based Approach to Checking the Satisfiability of Temporal Database Query in Temporal Planning

Ho-Jin Choi ,  Ba ,  y Richa 외 1명

Journal of Electrical Engineering and Information Science

1999 .06

An Algorithm Solving SAT Problem Based on Splitting Rule and Extension Rule

Youjun Xu

JIPS(Journal of Information Processing Systems)

2017 .01

Y-Branch 광스위치 설계에 관한 연구 ( A Study on the Design of Y-Branch Optical Switch )

윤중현 ,  이재규 ,  김상덕 외 3명

한국통신학회 학술대회논문집

1994 .01

Y-branch 광스위치 설계에 관한 연구

윤중현 ,  이재규 ,  김상덕 외 3명

한국통신학회 학술대회논문집

1994 .07

Branch analysis of comb-shaped polystyrene with long branches

이상훈 ,  장태현

한국고분자학회 학술대회 연구논문 초록집

2014 .10

Synthesis of branched polystyrene with equal chain length between branch points

이경민 ,  유영창 ,  기보람 외 1명

한국고분자학회 학술대회 연구논문 초록집

2010 .04

Synthesis and branch analysis of long branched comb-shaped polystyrene

이상훈 ,  장태현

한국고분자학회 학술대회 연구논문 초록집

2014 .04

고성능 프로세서를 위한 하이브리드 분기 명령 예측기에 대한 연구

이준현 ,  이상훈 ,  이용석

대한전자공학회 학술대회

2012 .11

분기 명령어 히스토리 조절을 적용한 고성능 프로세서에 대한 연구

이상훈 ,  이용석

대한전자공학회 학술대회

2012 .06

분기 히스토리와 예측 카운터의 크기 변화에 따른 분기 예측 정확도

김태목 ,  김준성

대한전자공학회 학술대회

2007 .11

불완전 릴레이셔날 모델에서의 데이타 의존에 관한 연구

이석호 ,  박석

(구)정보과학회논문지

1983 .02

Characterization of an exact comb polyisoprene with three branches having the middle branch

이상훈 ,  장태현 ,  Keda 외 6명

한국고분자학회 학술대회 연구논문 초록집

2013 .10

A Branch-and Price Algorithm for the Bandwidth Packing Problem

Deokseong Kim ,  Kyungsik Lee ,  Sungsoo Pa 외 1명

대한산업공학회 춘계공동학술대회 논문집

2003 .05

Analysis and Accuracy Improvement for Perceptron-based Branch Prediction Method

Jiajing Liu ,  Shinji Kimu ,  a

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

2008 .07

Split cuts generating strategy for improving the performance of branch-and-cut algorithm

곽정환 ,  박성수

대한산업공학회 추계학술대회 논문집

2015 .11

2D-HPLC Characterization of branched polymers

Kyuhyun Im ,  Sunyoung Ahn ,  Taihyun Chang

한국고분자학회 학술대회 연구논문 초록집

2006 .10

2D-LC characterization of branched polymers

안선영 ,  장태현 ,  이세경 외 1명

한국고분자학회 학술대회 연구논문 초록집

2007 .10

CONDITIONAL BRANCHES : MODELING AND SYNTHESIS

Noh Byung Pa ,  k

ICVC : International Conference on VLSI and CAD

1989 .01

신경망을 이용한 다중 분기 예측법에 대한 정확도 및 하드웨어 비용 비교 연구

이종복

대한전자공학회 학술대회

2008 .11