13376 search results - page 330 / 2676 » Problem Solving with |
137
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
Compressed sensing or compressive sampling (CS) has been receiving a lot of interest as a promising method for signal recovery and sampling. CS problems can be cast as convex prob...
156
click to vote
DAS
2008
Springer
15 years 6 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
133
click to vote
LISA
2007
15 years 6 months ago
2007
Problem determination remains one of the most expensive and time-consuming functions in system management due to the difficulty in automating what is essentially a highly experien...
113
click to vote
ENTCS
2008
15 years 4 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...
159
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
Many machine learning algorithms can be formulated as a generalized eigenvalue problem. One major limitation of such formulation is that the generalized eigenvalue problem is comp...