Shie-Jue Lee

139 papers B 19C 10Misc 15Journal 69Unranked 25
YearRankTypeTitle / Venue / Authors
2023 J jnl
A hybrid deep learning network for forecasting air pollutant concentrations.
Appl. Intell.
Yu-Shun Mao, Shie-Jue Lee, Chih-Hung Wu, Chun-Liang Hou, Chen-Sen Ouyang, Chih-Feng Liu
2022 J jnl
Analytical method for solving max-min inverse fuzzy relation.
Fuzzy Sets Syst.
Yan-Kuen Wu, Yung-Yih Lur, Ching-Feng Wen, Shie-Jue Lee
2022 J jnl
Exploiting exercise electrocardiography to improve early diagnosis of atrial fibrillation with deep learning neural networks.
Comput. Biol. Medicine
Hsiang-Chun Lee, Chun-Yen Chen, Shie-Jue Lee, Ming-Chuan Lee, Ching-Yi Tsai, Su-Te Chen, Yu-Ju Li
2022 J jnl
Leveraging attribute latent features for addressing new item cold-start issue.
Electron. Commer. Res. Appl.
Mi-Tsuen Hsieh, Shie-Jue Lee, Chih-Hung Wu, Chun-Liang Hou, Chen-Sen Ouyang, Zhan-Pei Lin
2021 J jnl
Using word semantic concepts for plagiarism detection in text documents.
Inf. Retr. J.
Chia-Yang Chang, Shie-Jue Lee, Chih-Hung Wu, Chih-Feng Liu, Ching-Kuan Liu
2020 J jnl
Air quality prediction by neuro-fuzzy modeling approach.
Appl. Soft Comput.
Yu-Chun Lin, Shie-Jue Lee, Chen-Sen Ouyang, Chih-Hung Wu
2019 — conf
A LVQ-Based Identification System for Pathological Brain Aging Diseases.
CISP-BMEI
Ching-Sheng Tu, Chen-Yu Wu, Ying-Jie You, Shie-Jue Lee, Sharon Chia-Ju Chen, Mei-Chuan Chou, Ching-Kuan Liu
2019 — conf
Constructing RBF Networks for Classifying ECG Heartbeat Patterns.
CISP-BMEI
Deng-Yi Wu, Yan-Ting Lin, Shie-Jue Lee, Wei-Chung Tsai, Tien-Chi Huang, Chia-Yen Dai
2018 — conf
A RBF Network Approach for Function Approximation.
ICIA
Zan-Rong He, Yan-Ting Lin, Shie-Jue Lee, Chih-Hung Wu
2018 — conf
Information Retrieval Based on Word Semantic Clustering.
CISP-BMEI
Chia-Yang Chang, Yan-Ting Lin, Shie-Jue Lee, Chih-Chin Lai
2018 J jnl
Network intrusion detection using equality constrained-optimization-based extreme learning machines.
Knowl. Based Syst.
Cheng-Ru Wang, Rong-Fang Xu, Shie-Jue Lee, Chie-Hong Lee
2018 J jnl
Power consumption minimization by distributive particle swarm optimization for luminance control and its parallel implementations.
Expert Syst. Appl.
Chih-Lun Liao, Shie-Jue Lee, Yu-Shu Chiou, Ching-Ran Lee, Chie-Hong Lee
2018 — conf
Regression Estimation by Radial Basis Function Networks With Self-Constructing Clustering.
ICSAI
Ching-Sheng Tu, Deng-Yi Wu, Shie-Jue Lee, Chih-Hung Wu
2018 — conf
Supervised Classification by RBF Networks With Self-Constructing Clustering.
ICNC-FSKD
Ching-Sheng Tu, Deng-Yi Wu, Shie-Jue Lee, Yann-Yean Su
2017 — conf
A novel recommender system for E-commerce.
CISP-BMEI
Pang-Ming Chu, Shie-Jue Lee
2017 J jnl
An Extended Type-Reduction Method for General Type-2 Fuzzy Sets.
IEEE Trans. Fuzzy Syst.
Bing-Kun Xie, Shie-Jue Lee
2017 J jnl
An oblique elliptical basis function network approach for supervised learning applications.
Appl. Soft Comput.
Hung-Wen Peng, Shie-Jue Lee, Chie-Hong Lee
2017 — conf
Cascading global and local features for face recognition using support vector machines and local ternary patterns.
ICIA
Jia-Ching Jang Jian, Chih-Hung Wu, Chih-Chin Lai, Shing-Tai Pan, Shie-Jue Lee, Chen-Sen Ouyang
2017 — conf
Copy detection for digital documents.
CISP-BMEI
Pang-Ming Chu, Chia-Yang Chang, Shie-Jue Lee
2017 — conf
Recursive SVD-based fuzzy extreme learning machine.
ICIA
Chen-Sen Ouyang, Yu-Yuan Cheng, Tzu-Chin Kao, Shing-Tai Pan, Chih-Hung Wu, Shie-Jue Lee
2017 Misc conf
Weighted word2vec based on the distance of words.
ICMLC
Chia-Yang Chang, Shie-Jue Lee, Chih-Chin Lai
2016 J jnl
A clustering based approach to improving the efficiency of collaborative filtering recommendation.
Electron. Commer. Res. Appl.
Chih-Lun Liao, Shie-Jue Lee
2016 — conf
Using personal preference in calculating rating scores for recommendations.
ICIA
Chie-Hong Lee, Yann-Yean Su, Pang-Ming Chu, Shie-Jue Lee
2015 J jnl
A weighted LS-SVM based learning system for time series forecasting.
Inf. Sci.
Thao-Tsen Chen, Shie-Jue Lee
2015 J jnl
Dimensionality reduction by feature clustering for regression problems.
Inf. Sci.
Rong-Fang Xu, Shie-Jue Lee
2015 J jnl
Employing local modeling in machine learning based methods for time-series prediction.
Expert Syst. Appl.
Shin-Fu Wu, Shie-Jue Lee
2015 Misc conf
Novel imputation for time series data.
ICMLC
Chia-Yang Chang, Cheng-Ru Wang, Shie-Jue Lee
2015 J jnl
Time Series Forecasting with Missing Values.
EAI Endorsed Trans. Cogn. Commun.
Shin-Fu Wu, Chia-Yung Chang, Shie-Jue Lee
2015 J jnl
Time series forecasting with a neuro-fuzzy modeling scheme.
Appl. Soft Comput.
Hung-Wen Peng, Shen-Fu Wu, Chia-Ching Wei, Shie-Jue Lee
2015 — ch.
Type-Reduction for Concave Type-2 Fuzzy Sets.
New Trends in Intelligent Information and Database Systems
Bing-Kun Xie, Shie-Jue Lee
2014 J jnl
A Similarity Measure for Text Classification and Clustering.
IEEE Trans. Knowl. Data Eng.
Yung-Shen Lin, Jung-Yi Jiang, Shie-Jue Lee
2014 Misc conf
A modified scheme for all-pairs evolving fuzzy classifiers.
ICMLC
Bing-Kun Xie, Shie-Jue Lee
2014 Misc conf
A neuro-fuzzy based method for TAIEX forecasting.
ICMLC
Zhao-Yu Wang, Shie-Jue Lee
2014 J jnl
Modified Multivalued Neuron With Periodic Tolerant Activation Function.
IEEE Trans. Neural Networks Learn. Syst.
Jin-Ping Chen, Shie-Jue Lee
2014 J jnl
Multilabel Text Categorization Based on Fuzzy Relevance Clustering.
IEEE Trans. Fuzzy Syst.
Shie-Jue Lee, Jung-Yi Jiang
2014 Misc conf
Temporal prediction using self-organizing multilayer perceptron.
ICMLC
Cheng-Ru Wang, Shie-Jue Lee
2013 C conf
A Comparative Study on Clustering Algorithms.
SNPD
Cheng-Hsien Lee, Chun-Hua Hung, Shie-Jue Lee
2013 Misc conf
Adaptive Distance-Based Voting Classification.
ICMLC
Chun-Hua Hung, Shie-Jue Lee
2013 J jnl
An Iterative Divide-and-Merge-Based Approach for Solving Large-Scale Least Squares Problems.
IEEE Trans. Parallel Distributed Syst.
Chi-Yuan Yeh, Yu-Ting Peng, Shie-Jue Lee
2013 J jnl
An efficient multiple-kernel learning for pattern classification.
Expert Syst. Appl.
Chi-Yuan Yeh, Wen-Pin Su, Shie-Jue Lee
2013 Misc conf
Community detection with punished similarity.
ICMLC
Rong-Fang Xu, Hung-Wen Peng, Shie-Jue Lee
2013 J jnl
Detecting near-duplicate documents using sentence-level features and supervised learning.
Expert Syst. Appl.
Yung-Shen Lin, Ting-Yi Liao, Shie-Jue Lee
2013 B conf
Modified learning for discrete multi-valued neuron.
IJCNN
Jin-Ping Chen, Shin-Fu Wu, Shie-Jue Lee
2013 B conf
Multi-valued neuron with new learning schemes.
IJCNN
Shin-Fu Wu, Shie-Jue Lee
2013 C conf
k-NN Based Neuro-fuzzy System for Time Series Prediction.
SNPD
Chia-Ching Wei, Thao-Tsen Chen, Shie-Jue Lee
2012 J jnl
A Fast Method for Computing the Centroid of a Type-2 Fuzzy Set.
IEEE Trans. Syst. Man Cybern. Part B
Hsin-Jung Wu, Yao-Lung Su, Shie-Jue Lee
2012 Misc conf
A comparison of approaches for dealing with missing values.
ICMLC
Chih-Feng Liu, Thao-Tsen Chen, Shie-Jue Lee
2012 J jnl
Application of type-2 neuro-fuzzy modeling in stock price prediction.
Appl. Soft Comput.
Chih-Feng Liu, Chi-Yuan Yeh, Shie-Jue Lee
2012 J jnl
FSKNN: Multi-label text categorization based on fuzzy similarity and k nearest neighbors.
Expert Syst. Appl.
Jung-Yi Jiang, Shian-Chi Tsai, Shie-Jue Lee
2012 Misc conf
Multi-values neuron with periodic tolerant activation function.
ICMLC
Jin-Ping Chen, Shie-Jue Lee
2012 — conf
Neuro-fuzzy based multi-step-ahead prediction.
SCIS&ISIS
Chih-Feng Liu, Chia-Ching Wei, Shie-Jue Lee
2011 J jnl
A Fuzzy Self-Constructing Feature Clustering Algorithm for Text Classification.
IEEE Trans. Knowl. Data Eng.
Jung-Yi Jiang, Ren-Jia Liou, Shie-Jue Lee
2011 J jnl
A multiple-kernel support vector regression approach for stock market price forecasting.
Expert Syst. Appl.
Chi-Yuan Yeh, Chi-Wei Huang, Shie-Jue Lee
2011 Misc conf
A similarity measure for text processing.
ICMLC
Jung-Yi Jiang, Wen-Hao Cheng, Yu-Shu Chiou, Shie-Jue Lee
2011 J jnl
An Enhanced Type-Reduction Algorithm for Type-2 Fuzzy Sets.
IEEE Trans. Fuzzy Syst.
Chi-Yuan Yeh, Wen-Hau Roger Jeng, Shie-Jue Lee
2011 J jnl
Data-Based System Modeling Using a Type-2 Fuzzy Neural Network With a Hybrid Learning Algorithm.
IEEE Trans. Neural Networks
Chi-Yuan Yeh, Wen-Hau Roger Jeng, Shie-Jue Lee
2011 J jnl
Employing multiple-kernel support vector machines for counterfeit banknote recognition.
Appl. Soft Comput.
Chi-Yuan Yeh, Wen-Pin Su, Shie-Jue Lee
2011 Misc conf
MIKM: A mutual information-based K-medoids approach for feature selection.
ICMLC
Jung-Yi Jiang, Yao-Lung Su, Shie-Jue Lee
2010 Misc conf
A distributional similarity measure for query-dependent ranking in web mining.
ICMLC
Jiing-Yi Jiang, Lian-Wang Lee, Shie-Jue Lee
2010 Misc conf
Fuzzy clustering with principal component analysis.
ICMLC
Min-Zong Rau, Chi-Yuan Yeh, Shie-Jue Lee
2009 J jnl
Boosting One-Class Support Vector Machines for Multi-Class Classification.
Appl. Artif. Intell.
Chi-Yuan Yeh, Zhi-Ying Lee, Shie-Jue Lee
2009 B conf
General type-2 fuzzy neural network with hybrid learning for function approximation.
FUZZ-IEEE
Wen-Hau Roger Jeng, Chi-Yuan Yeh, Shie-Jue Lee
2008 Misc conf
Applying Soft Computing for Forecasting Chaotic Time Series.
GrC
Fu-ping Yang, Shie-Jue Lee
2008 Misc conf
Exploring Friendships in Blogosphere by Finding 1.5-Cliques.
GrC
Shih-Ta Kuan, Shie-Jue Lee
2008 J jnl
Mining fuzzy periodic association rules.
Data Knowl. Eng.
Wan-Jui Lee, Jung-Yi Jiang, Shie-Jue Lee
2008 J jnl
Vector Quantization of Images Using a Fuzzy Clustering Method.
Cybern. Syst.
Wan-Jui Lee, Jun-Shih Chung, Chen-Sen Ouyang, Shie-Jue Lee
2007 — conf
A Clustering Scheme for Large High-Dimensional Document Datasets.
ISICA
Jung-Yi Jiang, Jing-Wen Chen, Shie-Jue Lee
2007 — conf
A Confidence-Based Hierarchical Feature Clustering Algorithm for Text Classification.
IPC
Jung-Yi Jiang, Kai-Tai Yin, Shie-Jue Lee
2007 — conf
A Kernel-Based Two-Stage One-Class Support Vector Machines Algorithm.
ISNN (3)
Chi-Yuan Yeh, Shie-Jue Lee
2007 — conf
Constructing Fuzzy Controllers Based on Reinforcement Learning.
IMSCCS
Shan-cheng Pei, Shie-Jue Lee
2007 J jnl
Segmentation of Multiple Human Objects in Video Sequences.
Appl. Artif. Intell.
Hsin-Tai Yang, Chen-Sen Ouyang, Li-Ming Huang, Shie-Jue Lee
2006 — conf
A Kernel-Based Fuzzy Clustering Algorithm.
ICICIC (1)
Jiun-Hau Wang, Wan-Jui Lee, Shie-Jue Lee
2006 B conf
Estimating Parameters of Kernel Functions in Support Vector Learning.
SMC
Yi-Chao Chan, Wan-Jui Lee, Shie-Jue Lee
2006 B conf
Improved C-Fuzzy Decision Trees.
FUZZ-IEEE
Hsin-Wei Chiu, Chen-Sen Ouyang, Shie-Jue Lee
2006 B conf
Learning of Kernel Functions in Support Vector Machines.
IJCNN
Chih-Cheng Yang, Wan-Jui Lee, Shie-Jue Lee
2005 J jnl
A TSK-type neurofuzzy network approach to system modeling problems.
IEEE Trans. Syst. Man Cybern. Part B
Chen-Sen Ouyang, Wan-Jui Lee, Shie-Jue Lee
2005 B conf
Mining Calendar-Based Asynchronous Periodical Association Rules with Fuzzy Calendar Constraints.
FUZZ-IEEE
Jung-Yi Jiang, Wan-Jui Lee, Shie-Jue Lee
2004 — conf
An Incremental Algorithm for Discovering Fuzzy Temporal Web Usage Patterns.
International Conference on Internet Computing
Wan-Jui Lee, Shie-Jue Lee
2004 — conf
An efficient algorithm to discover calendar-based temporal association rules.
SMC (4)
Wan-Jui Lee, Jung-Yi Jiang, Shie-Jue Lee
2004 J jnl
Discovery of fuzzy temporal association rules.
IEEE Trans. Syst. Man Cybern. Part B
Wan-Jui Lee, Shie-Jue Lee
2004 J jnl
Entropy-based generation of supervised neural networks for classification of structured patterns.
IEEE Trans. Neural Networks
Hsien-Leing Tsai, Shie-Jue Lee
2004 C conf
Fuzzy Calendar Algebra and Its Applications to Data Mining.
TIME
Wan-Jui Lee, Shie-Jue Lee
2003 J jnl
A JPEG Chip for Image Compression and Decompression.
J. VLSI Signal Process.
Sung-Hsien Sun, Shie-Jue Lee
2003 B conf
A Modified Distributed Coordination Function for Real-Time Traffic in IEEE 802.11 Wireless LAN.
AINA
An-Tai Lin, Shie-Jue Lee
2003 J jnl
A Simplified Scheduling Algorithm for Cells in ATM Networks for Multimedia Communication.
Int. J. Distance Educ. Technol.
Ming-Chi Lee, Chun-Liang Hou, Shie-Jue Lee
2003 B conf
A general mining method for incremental updation in large databases.
SMC
Wan-Jui Lee, Shie-Jue Lee
2003 B conf
A neuro-fuzzy approach for multiple human objects segmentation.
SMC
Li-Ming Huang, Chen-Sen Ouyang, Shie-Jue Lee
2003 J jnl
A neuro-fuzzy approach for segmentation of human objects in image sequences.
IEEE Trans. Syst. Man Cybern. Part B
Shie-Jue Lee, Chen-Sen Ouyang, Shih-Huai Du
2003 J jnl
A neuro-fuzzy system modeling with self-constructing rule generationand hybrid SVD-based learning.
IEEE Trans. Fuzzy Syst.
Shie-Jue Lee, Chen-Sen Ouyang
2003 C conf
An Efficient Mining Method for Incremental Updation in Large Databases.
IDEAL
Wan-Jui Lee, Shie-Jue Lee
2003 B conf
An improved TSK-type recurrent fuzzy network for dynamic system identification.
SMC
Chen-Sen Ouyang, Shie-Jue Lee
2002 J jnl
An ART-based construction of RBF networks.
IEEE Trans. Neural Networks
Shie-Jue Lee, Chun-Liang Hou
2002 B conf
Constructing neuro-fuzzy systems with TSK fuzzy rules and hybrid SVD-based learning.
FUZZ-IEEE
Wan-Jui Lee, Chen-Sen Ouyang, Shie-Jue Lee
2002 J jnl
KJ3--a tool assisting formal validation of knowledge-based systems.
Int. J. Hum. Comput. Stud.
Chih-Hung Wu, Shie-Jue Lee
2002 — conf
Mining Fuzzy Association Rules from Sequence databases with Quantitative data and Inter-Transaction Intervals.
FSKD
Hsin-Tai Yang, Shie-Jue Lee
2001 — conf
A Dynamic Regulation with Scheduler Feedback Information for Multimedia Networks.
IEEE Pacific Rim Conference on Multimedia
Hsiang-Ren Shih, Chun-Liang Hou, I-Chieh Lin, Shie-Jue Lee
2001 J jnl
Parallelization of a Hyper-Linking-Based Theorem Prover.
J. Autom. Reason.
Chih-Hung Wu, Shie-Jue Lee
2000 B conf
A hybrid algorithm for structure identification of neuro-fuzzy modeling.
SMC
Chen-Sen Ouyang, Shie-Jue Lee
2000 J jnl
A neural-fuzzy system for congestion control in ATM networks.
IEEE Trans. Syst. Man Cybern. Part B
Shie-Jue Lee, Chun-Liang Hou
2000 B conf
A self-constructed radial basis function neural network and its applications.
SMC
Chun-Liang Hou, Shie-Jue Lee
2000 J jnl
A token-flow paradigm for verification of rule-based expert systems.
IEEE Trans. Syst. Man Cybern. Part B
Chih-Hung Wu, Shie-Jue Lee
2000 J jnl
An Extended System for Conceptual Clustering.
Appl. Artif. Intell.
Chih-Hung Wu, Cheng-Jer Yu, Shie-Jue Lee
1999 J jnl
A Genetic Algorithm Approach to Measurement Prescription in Fault Diagnosis.
Inf. Sci.
Benjamin Han, Shie-Jue Lee
1999 J jnl
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits.
Appl. Intell.
Benjamin Han, Shie-Jue Lee, Hsin-Tai Yang
1999 B conf
An improved learning algorithm for rule refinement in neuro-fuzzy modeling.
KES
Chen-Sen Ouyang, Shie-Jue Lee
1999 J jnl
Comments on the Theory of Measurement in Diagnosis from First Principles.
Inf. Sci.
Benjamin Han, Shie-Jue Lee, Hsin-Tai Yang
1999 J jnl
Constructing neural networks for multiclass-discretization based on information entropy.
IEEE Trans. Syst. Man Cybern. Part B
Shie-Jue Lee, Mu-Tune Jone, Hsien-Leing Tsai
1999 J jnl
Deriving minimal conflict sets by CS-trees with mark set in diagnosis from first principles.
IEEE Trans. Syst. Man Cybern. Part B
Benjamin Han, Shie-Jue Lee
1999 — conf
Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling.
Australian Joint Conference on Artificial Intelligence
Wen-Gong Chen, Chen-Sen Ouyang, Shie-Jue Lee
1998 — conf
A medium access control protocol for wireless networks.
ICC
Jian-Jou Lai, Yu-Wen Lai, Shie-Jue Lee
1998 B conf
KJ3-a tool for proving formal specifications of rule-based expert systems.
ICTAI
Chih-Hung Wu, Shie-Jue Lee
1998 B conf
Knowledge acquisition from input-output data by fuzzy-neural systems.
SMC
Chen-Sen Ouyang, Shie-Jue Lee
1998 J jnl
Pattern fusion in feature recognition neural networks for handwritten character Recognition.
IEEE Trans. Syst. Man Cybern. Part B
Shie-Jue Lee, Hsien-Leing Tsai
1997 J jnl
A Slot Reuse Scheme for CRMA Networks.
Comput. Networks ISDN Syst.
Shie-Jue Lee, Yu-Wen Lai, Jian-Jou Lai, Chi-Jong Chang
1997 J jnl
Early Detection of Cycles with Pseudo-End-Station in Fasnet Networks.
Inf. Sci.
Chi-Jong Chang, Amy Lai, Shie-Jue Lee, Wei Kuang Lai
1997 J jnl
Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems.
IEEE Trans. Syst. Man Cybern. Part B
Chih-Hung Wu, Shie-Jue Lee
1997 J jnl
Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic.
Fundam. Informaticae
Shie-Jue Lee, Wei-Jer Lin
1997 J jnl
Knowledge Verification with an Enhanced High-Level Petri-Net Model.
IEEE Expert
Chih-Hung Wu, Shie-Jue Lee
1996 J jnl
An extended procedure of constructing neural networks for supervised dichotomy.
IEEE Trans. Syst. Man Cybern. Part B
Shie-Jue Lee, Mu-Tune Jone
1996 B conf
On parallelism of hyper-linking theorem proving: a preliminary report.
ICPADS
Chih-Hung Wu, Shie-Jue Lee
1996 — conf
Optimal decomposition of morphological structuring elements.
ICIP (3)
Hsin-Tai Yang, Shie-Jue Lee
1995 C conf
A Hybrid Diagnosis System for Digital Circuits.
IEA/AIE
Benjamin Han, Hsin-Tai Yang, Shie-Jue Lee
1995 J jnl
A Symbolic Logic Approach of Deriving Initial Neural Network Configurations for Supervised Classification.
Comput. Artif. Intell.
Shie-Jue Lee, Mu-Tune Jone
1995 J jnl
Construction of Neural Networks from Decision Trees.
J. Inf. Sci. Eng.
Shie-Jue Lee, Mu-Tune Jone, Hsien-Leing Tsai
1995 J jnl
Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover.
Comput. Artif. Intell.
Shie-Jue Lee, David A. Plaisted
1995 J jnl
Formal Reasoning in Intelligent Database Systems.
Appl. Intell.
Shie-Jue Lee
1994 J jnl
A knowledge-based approach to the local area network design problem.
Appl. Intell.
Shie-Jue Lee, Chih-Hung Wu
1994 J jnl
An Autonomous Multistrategy Theorem Proving System Using Knowledge-Based Techniques.
J. Intell. Inf. Syst.
Shie-Jue Lee
1994 J jnl
Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures.
J. Autom. Reason.
Shie-Jue Lee, Chih-Hung Wu
1994 J jnl
Problem Solving by Searching for Models with a Theorem Prover.
Artif. Intell.
Shie-Jue Lee, David A. Plaisted
1994 J jnl
Use of replace rules in theorem proving.
Methods Log. Comput. Sci.
Shie-Jue Lee, David A. Plaisted
1993 C conf
An Object-Oriented Expert System for Local Area Network Design.
ICCI
Chih-Hung Wu, Shie-Jue Lee
1993 C conf
Building an Expert System Language Interpreter with the Rule Network Technique.
ISMIS
Shie-Jue Lee, Chih-Hung Wu
1993 C conf
Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures.
ICCI
Shie-Jue Lee, Chih-Hung Wu
1993 B conf
The Design and Implementation of a Rule-Based Expert System Language.
ICTAI
Chih-Hung Wu, Shie-Jue Lee, Hung-Sen Chou, Cheng-Jer Yu
1992 C conf
A Self-Guided Theorem Proving System.
ICCI
Shie-Jue Lee
1992 — conf
Conditional Term Rewriting and First-Order Theorem Proving.
CTRS
David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee
1992 J jnl
Eliminating Duplication with the Hyper-Linking Strategy.
J. Autom. Reason.
Shie-Jue Lee, David A. Plaisted
1992 C conf
Use of Unit Clauses and Clause Splitting in Automatic Deduction.
ICCI
Shie-Jue Lee, David A. Plaisted