Sciweavers

4100 search results - page 683 / 820
» General Linear Cameras
Sort
View
IJFCS
2008
158views more  IJFCS 2008»
15 years 4 months ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth
FGCS
2006
61views more  FGCS 2006»
15 years 4 months ago
Long-range static directional stress transfer in a cracked, nonlinear elastic crust
Seeing the Earth crust as criss-crossed by faults filled with fluid at close to lithostatic pressures, we develop a model in which its elastic modulii are different in net tension...
Guy Ouillon, Didier Sornette
COMBINATORICA
2007
92views more  COMBINATORICA 2007»
15 years 4 months ago
Codes And Xor Graph Products
What is the maximum possible number, f3(n), of vectors of length n over {0, 1, 2} such that the Hamming distance between every two is even? What is the maximum possible number, g3...
Noga Alon, Eyal Lubetzky
CONCURRENCY
2007
75views more  CONCURRENCY 2007»
15 years 4 months ago
A distributed packed storage for large dense parallel in-core calculations
We propose in this paper a distributed packed storage format that exploits the symmetry or the triangular structure of a dense matrix. This format stores only half of the matrix w...
Marc Baboulin, Luc Giraud, Serge Gratton, Julien L...
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 4 months ago
Searching for low weight pseudo-codewords
— Belief Propagation (BP) and Linear Programming (LP) decodings of Low Density Parity Check (LDPC) codes are discussed. We summarize results of instanton/pseudo-codeword approach...
Michael Chertkov, Mikhail G. Stepanov