17450 search results - page 69 / 3490 » Numerical Methods with Applications |
101
Voted
PKDD
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Pattern-based classification has demonstrated its power in recent studies, but because the cost of mining discriminative patterns as features in classification is very ex...
ISSAC
2007
Springer
15 years 6 months ago
2007
Springer
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
91
Voted
AIPS
2006
15 years 2 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
206
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
The Earth’s tectonic plates are strong, viscoelastic shells which make up the outermost part of a thermally convecting, predominantly viscous layer; at the boundaries between pla...