| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Shie-Jue Lee Wan-Jui Lee , Shie-Jue Lee: An Incremental Algorithm for Discovering Fuzzy Temporal Web Usage Patterns. International Conference on Internet Computing 2004 : 90-96 Wan-Jui Lee , Shie-Jue Lee: Fuzzy Calendar Algebra and Its Applications to Data Mining. TIME 2004 : 71-78 An-Tai Lin , Shie-Jue Lee: A Modified Distributed Coordination Function for Real-Time Traffic in IEEE 802.11 Wireless LAN. AINA 2003 : 794-797 Wan-Jui Lee , Shie-Jue Lee: An Efficient Mining Method for Incremental Updation in Large Databases. IDEAL 2003 : 630-637 Shie-Jue Lee, Chen-Sen Ouyang , Shih-Huai Du : A neuro-fuzzy approach for segmentation of human objects in image sequences. IEEE Transactions on Systems, Man, and Cybernetics, Part B 33 (3): 420-437 (2003) Hsin-Tai Yang , Shie-Jue Lee: Mining Fuzzy Association Rules from Sequence databases with Quantitative data and Inter-Transaction Intervals. FSKD 2002 : 606-610 Chih-Hung Wu , Shie-Jue Lee: KJ3--a tool assisting formal validation of knowledge-based systems. Int. J. Hum.-Comput. Stud. 56 (5): 495-524 (2002) Hsiang-Ren Shih , Chun-Liang Hou , I-Chieh Lin , Shie-Jue Lee: A Dynamic Regulation with Scheduler Feedback Information for Multimedia Networks. IEEE Pacific Rim Conference on Multimedia 2001 : 700-707 Chih-Hung Wu , Shie-Jue Lee: Parallelization of a Hyper-Linking-Based Theorem Prover. J. Autom. Reasoning 26 (1): 67-106 (2001) Chih-Hung Wu , Cheng-Jer Yu , Shie-Jue Lee: An Extended System for Conceptual Clustering. Applied Artificial Intelligence 14 (10): 943-965 (2000) Shie-Jue Lee, Chun-Liang Hou : A neural-fuzzy system for congestion control in ATM networks. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30 (1): 2-9 (2000) Chih-Hung Wu , Shie-Jue Lee: A token-flow paradigm for verification of rule-based expert systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30 (4): 616-624 (2000) Wen-Gong Chen , Chen-Sen Ouyang , Shie-Jue Lee: Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling. Australian Joint Conference on Artificial Intelligence 1999 : 492-493 Benjamin Han , Shie-Jue Lee, Hsin-Tai Yang : A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits. Appl. Intell. 10 (1): 37-52 (1999) Benjamin Han , Shie-Jue Lee: Deriving minimal conflict sets by CS-trees with mark set in diagnosis from first principles. IEEE Transactions on Systems, Man, and Cybernetics, Part B 29 (2): 281-286 (1999) Shie-Jue Lee, Mu-Tune Jone , Hsien-Leing Tsai : Constructing neural networks for multiclass-discretization based on information entropy. IEEE Transactions on Systems, Man, and Cybernetics, Part B 29 (3): 445-453 (1999) Benjamin Han , Shie-Jue Lee: A Genetic Algorithm Approach to Measurement Prescription in Fault Diagnosis. Inf. Sci. 120 (1-4): 223-237 (1999) Benjamin Han , Shie-Jue Lee, Hsin-Tai Yang : Comments on the Theory of Measurement in Diagnosis from First Principles. Inf. Sci. 121 (3-4): 349-365 (1999) Shie-Jue Lee, Hsien-Leing Tsai : Pattern fusion in feature recognition neural networks for handwritten character Recognition. IEEE Transactions on Systems, Man, and Cybernetics, Part B 28 (4): 612-617 (1998) Shie-Jue Lee, Yu-Wen Lai , Jian-Jou Lai , Chi-Jong Chang : A Slot Reuse Scheme for CRMA Networks. Computer Networks and ISDN Systems 29 (16): 1933-1951 (1997) Shie-Jue Lee, Wei-Jer Lin : Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic. Fundam. Inform. 31 (1): 79-105 (1997) Chih-Hung Wu , Shie-Jue Lee: Knowledge Verification with an Enhanced High-Level Petri-Net Model. IEEE Expert 12 (5): 73-80 (1997) Chih-Hung Wu , Shie-Jue Lee: Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B 27 (5): 760-773 (1997) Chi-Jong Chang , Amy Lai , Shie-Jue Lee, Wei Kuang Lai : Early Detection of Cycles with Pseudo-End-Station in Fasnet Networks. Inf. Sci. 101 (1-2): 29-45 (1997) Chih-Hung Wu , Shie-Jue Lee: On parallelism of hyper-linking theorem proving: a preliminary report. ICPADS 1996 : 494-499 Benjamin Han , Hsin-Tai Yang , Shie-Jue Lee: A Hybrid Diagnosis System for Digital Circuits. IEA/AIE 1995 : 315-324 Shie-Jue Lee: Formal Reasoning in Intelligent Database Systems. Appl. Intell. 5 (4): 297-317 (1995) Shie-Jue Lee, Mu-Tune Jone , Hsien-Leing Tsai : Construction of Neural Networks from Decision Trees. J. Inf. Sci. Eng. 11 (3): 391-415 (1995) Shie-Jue Lee, David A. Plaisted : Problem Solving by Searching for Models with a Theorem Prover. Artif. Intell. 69 (1-2): 205-233 (1994) Shie-Jue Lee, Chih-Hung Wu : Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures. J. Autom. Reasoning 12 (3): 359-388 (1994) Shie-Jue Lee: An Autonomous Multistrategy Theorem Proving System Using Knowledge-Based Techniques. J. Intell. Inf. Syst. 3 (1): 89-117 (1994) Shie-Jue Lee, Chih-Hung Wu : Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures. ICCI 1993 : 299-304 Chih-Hung Wu , Shie-Jue Lee: An Object-Oriented Expert System for Local Area Network Design. ICCI 1993 : 321-326 Chih-Hung Wu , Shie-Jue Lee, Hung-Sen Chou , Cheng-Jer Yu : The Design and Implementation of a Rule-Based Expert System Language. ICTAI 1993 : 468-469 Shie-Jue Lee, Chih-Hung Wu : Building an Expert System Language Interpreter with the Rule Network Technique. ISMIS 1993 : 76-85 David A. Plaisted , Geoffrey D. Alexander , Heng Chu , Shie-Jue Lee: Conditional Term Rewriting and First-Order Theorem Proving. CTRS 1992 : 257-271 Shie-Jue Lee, David A. Plaisted : Use of Unit Clauses and Clause Splitting in Automatic Deduction. ICCI 1992 : 228-232 Shie-Jue Lee: A Self-Guided Theorem Proving System. ICCI 1992 : 329-333 Shie-Jue Lee, David A. Plaisted : Eliminating Duplication with the Hyper-Linking Strategy. J. Autom. Reasoning 9 (1): 25-42 (1992) 1 [ 4 ] 2 [ 16 ] [ 20 ] 3 [ 27 ] 4 [ 6 ] 5 [ 4 ] 6 [ 35 ] 7 [ 14 ] [ 22 ] [ 23 ] [ 25 ] [ 26 ] 8 [ 29 ] [ 32 ] 9 [ 12 ] [ 24 ] 10 [ 16 ] 11 [ 20 ] 12 [ 16 ] 13 [ 20 ] 14 [ 36 ] [ 38 ] [ 39 ] 15 [ 37 ] 16 [ 32 ] 17 [ 19 ] 18 [ 27 ] [ 35 ] 19 [ 1 ] [ 3 ] [ 4 ] [ 11 ] 20 [ 32 ] 21 [ 12 ] [ 21 ] [ 24 ] 22 [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 10 ] [ 15 ] [ 17 ] [ 18 ] [ 28 ] [ 30 ] [ 31 ] [ 33 ] 23 [ 14 ] [ 22 ] [ 26 ] [ 34 ] 24 [ 6 ] [ 30 ]  ©2005 Association for Computing Machinery |
