Dependency Analysis Framework for Software Service Delivery | 2 | 0.40 | 2009 |
Fusion of IKONOS Satellite Imagery Using IHS Transform and Local Variation | 10 | 0.56 | 2008 |
Automatic digital modulation recognition using support vector machines and genetic algorithm | 2 | 0.44 | 2005 |
CLIN-S - A Semantically Guided First-Order Theorem Prover | 7 | 0.43 | 1997 |
Semantically Guided First-Order Theorem Proving using Hyper-Linking | 18 | 0.95 | 1994 |
Model Finding In Semantically Guided Instance-Based Theorem Proving | 6 | 0.53 | 1994 |
Model Finding Strategies in Semantically Guided Instance-based Theorem Proving | 4 | 0.51 | 1993 |
Rough resolution: a refinement of resolution to remove large literals | 3 | 0.47 | 1993 |
Conditional Term Rewriting and First-Order Theorem Proving | 6 | 0.50 | 1992 |