14649 search results - page 469 / 2930 » Principles of problem solving |
170
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. To prove or disprove the computational equivalence of solving the RSA problem and factoring integers is a longstanding open problem in cryptography. This paper provides s...
160
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
How would a language look like that is specially designed for solving meta-programming problems in the software composition domain? We present requirements for and design of Rascal...
152
click to vote
ENTCS
2008
15 years 7 months ago
2008
Efficient handling of quantifiers is crucial for solving software verification problems. E-matching algorithms are used in satisfiability modulo theories solvers that handle quant...
166
click to vote
COR
2006
15 years 7 months ago
2006
A parametric form of tabu-search is proposed for solving mixed integer programming (MIP) problems that creates and solves a series of linear programming (LP) problems embodying br...
190
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The 2- 1 sparse signal minimization problem can be solved efficiently by gradient projection. In many applications, the signal to be estimated is known to lie in some range of va...