8094 search results - page 264 / 1619 » Improvements in Formula Generalization |
106
Voted
JLP
2007
15 years 21 days ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
80
Voted
TSP
2008
15 years 21 days ago
2008
Abstract-- The FOCal Underdetermined System Solver (FOCUSS) algorithm has already found many applications in signal processing and data analysis, whereas the regularized MFOCUSS al...
91
Voted
JUCS
2007
15 years 21 days ago
2007
: A novel support vector machine method for classification is presented in this paper. A modified kernel function based on the similarity metric and Riemannian metric is applied ...
99
Voted
CN
1999
15 years 14 days ago
1999
We propose a new parallel topology discovery algorithm for irregular, mesh-connected networks with unidirectional links and wormhole routing. An algorithm of this type was develop...
TCS
1998
15 years 13 days ago
1998
Results on random oracles typically involve showing that a class {X : P(X)} has Lebesgue measure one, i.e., that some property P(X) holds for “almost every X.” A potentially m...