Sciweavers

254 search results - page 9 / 51
» Linear Arithmetic with Stars
Sort
View
SAC
2006
ACM
13 years 7 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»
13 years 7 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»
13 years 2 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»
13 years 2 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
14 years 8 days 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...