1274 search results - page 46 / 255 » New Proofs for |
109
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
DAGM
2004
Springer
15 years 4 months ago
2004
Springer
The well-known and very simple MinOver algorithm is reformulated for incremental support vector classification with and without kernels. A modified proof for its O(t-1/2 ) converge...
CPC
2006
15 years 18 days ago
2006
Abstract. The main results of this paper are regularity and counting lemmas for 3uniform hypergraphs. A combination of these two results gives a new proof of a theorem of Frankl an...
COMBINATORICS
2007
15 years 17 days ago
2007
In this paper, we study the simple eigenvectors of two hypomorphic matrices using linear algebra. We also give new proofs of results of Godsil and McKay.
71
Voted
JSYML
2000
15 years 11 days ago
2000
We give a new proof of the classification of 0-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.