661 search results - page 73 / 133 » Argument Reduction by Factoring |
77
Voted
SAT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we study NP-hard weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds. Moreover we consider the monoton...
ETS
2006
IEEE
15 years 3 months ago
2006
IEEE
— Accurate generation of circuit specifications from test signatures is a difficult problem, since analytical expressions cannot precisely describe the nonlinear relationships ...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
In highly globalized industries such as the automotive industry, product development is strongly dependent on e-collaboration tools that hold the potential to capitalize on specia...
ARITH
2005
IEEE
15 years 3 months ago
2005
IEEE
The pipelined CORDIC with linear approximation to rotation has been proposed to achieve reductions in delay, power and area; however, the schemes for rotation (multiplication) and...
107
click to vote
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Compression ratio and computational complexity are two major factors for a successful image coder. By exploring the Laplacian distribution of the wavelet coefficients, a new bit ...