13376 search results - page 492 / 2676 » Problem Solving with |
173
click to vote
KI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
152
click to vote
ISSAC
1995
Springer
15 years 10 months ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
152
click to vote
SCALESPACE
2005
Springer
15 years 11 months ago
2005
Springer
We study the connection between higher order total variation (TV) regularization and support vector regression (SVR) with spline kernels in a one-dimensional discrete setting. We p...
201
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The paper describes a general glance to the use of element exchange techniques for optimization over permutations. A multi-level description of problems is proposed which is a fund...
171
click to vote
CSCLP
2007
Springer
16 years 15 days ago
2007
Springer
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...