Sciweavers

254 search results - page 9 / 51
» Linear Arithmetic with Stars
Sort
View
SAC
2006
ACM
14 years 11 months ago
On the numerical solution to linear problems using stochastic arithmetic
René Alt, Jean Luc Lamotte, Svetoslav Marko...
JSC
1998
36views more  JSC 1998»
14 years 11 months ago
Modular Arithmetic for Linear Algebra Computations in the Real Field
Ioannis Z. Emiris, Victor Y. Pan, Yanqiang Yu
CORR
2010
Springer
67views Education» more  CORR 2010»
14 years 6 months ago
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebasti...
EM
2010
154views Management» more  EM 2010»
14 years 6 months ago
Chebyshev's Bias for Products of Two Primes
Under two assumptions, we determine the distribution of the difference between two functions each counting the numbers x that are in a given arithmetic progression modulo q and the...
Kevin Ford, Jason Sneed
MFCS
2009
Springer
15 years 4 months ago
An Improved Approximation Bound for Spanning Star Forest and Color Saving
We present a simple algorithm for the maximum spanning star forest problem. We take advantage of the fact that the problem is a special case of complementary set cover and we adapt...
Stavros Athanassopoulos, Ioannis Caragiannis, Chri...