2887 search results - page 158 / 578 » Name Generation and Linearity |
134
click to vote
NA
2010
15 years 4 months ago
2010
We propose a new O(n)-space implementation of the GKO-Cauchy algorithm for the solution of linear systems where the coefficient matrix is Cauchy-like. Moreover, this new algorithm...
242
click to vote
CC
2010
Springer
15 years 29 days ago
2010
Springer
We show a general reduction that derives lower bounds on degrees of polynomial calculus proofs of tautologies over any field of characteristic other than 2 from lower bounds for r...
170
click to vote
ICDE
2007
IEEE
16 years 24 days ago
2007
IEEE
Recently there is much need of discovering useful knowledge from massive log-data which are generated by Webbased information systems. Such log-data have multiple attributes about...
129
click to vote
SCAM
2007
IEEE
16 years 23 days ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
145
click to vote
CCA
2005
Springer
16 years 18 hour ago
2005
Springer
In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as “names” for the elements they represent. Given s...