2853 search results - page 311 / 571 » On Coherence in Computer Algebra |
128
click to vote
INDOCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
We develop an improved cost function to be used in simulated annealing followed by hill-climbing to find Boolean functions satisfying multiple desirable criteria such as high nonli...
131
click to vote
ECCV
2000
Springer
15 years 8 months ago
2000
Springer
We describe in this paper closed-form solutions to the following problems in multi-view geometry of n'th order curves: i recovery of the fundamental matrix from 4 or more c...
132
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We propose the notions of "density" and "connectivity" of infinite process graphs and investigate them in the context of the wellknown process algebras BPA and ...
122
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
151
click to vote
SIAMSC
2010
15 years 2 months ago
2010
Abstract. A smoothed aggregation multigrid method is presented for the numerical calculation of the stationary probability vector of an irreducible sparse Markov chain. It is shown...