661 search results - page 73 / 133 » Argument Reduction by Factoring |
115
click to vote
SAT
2007
Springer
15 years 10 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...
129
click to vote
ETS
2006
IEEE
15 years 10 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 ...
121
click to vote
HICSS
2006
IEEE
15 years 10 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...
109
Voted
ARITH
2005
IEEE
15 years 9 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...
161
click to vote
ICMCS
2005
IEEE
15 years 9 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 ...