1274 search results - page 46 / 255 » New Proofs for |
SIGSOFT
2006
ACM
14 years 8 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
13 years 11 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
13 years 7 months 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
13 years 7 months 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.
JSYML
2000
13 years 7 months ago
2000
We give a new proof of the classification of 0-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.