Author of the publication

Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures.

, and . ICCI, page 299-304. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mining fuzzy periodic association rules., , and . Data Knowl. Eng., 65 (3): 442-462 (2008)A Kernel-Based Two-Stage One-Class Support Vector Machines Algorithm., and . ISNN (3), volume 4493 of Lecture Notes in Computer Science, page 515-524. Springer, (2007)Construction of Neural Networks from Decision Trees., , and . J. Inf. Sci. Eng., 11 (3): 391-415 (1995)An Object-Oriented Expert System for Local Area Network Design., and . ICCI, page 321-326. IEEE Computer Society, (1993)A Slot Reuse Scheme for CRMA Networks., , , and . Computer Networks and ISDN Systems, 29 (16): 1933-1951 (1997)Segmentation of Multiple Human Objects in Video Sequences., , , and . Applied Artificial Intelligence, 21 (9): 831-859 (2007)An efficient multiple-kernel learning for pattern classification., , and . Expert Syst. Appl., 40 (9): 3491-3499 (2013)Knowledge Verification with an Enhanced High-Level Petri-Net Model., and . IEEE Expert, 12 (5): 73-80 (1997)Applying Soft Computing for Forecasting Chaotic Time Series., and . GrC, page 718-723. IEEE, (2008)A token-flow paradigm for verification of rule-based expert systems., and . IEEE Trans. Syst. Man Cybern. Part B, 30 (4): 616-624 (2000)