4287 search results - page 139 / 858 » Minimal Mental Models |
CADE
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
One of the key factors for the success of recent energy
minimization methods is that they seek to compute global
solutions. Even for non-convex energy functionals, optimization
...
ICML
2003
IEEE
14 years 10 months ago
2003
IEEE
We propose a general framework for support vector machines (SVM) based on the principle of multi-objective optimization. The learning of SVMs is formulated as a multiobjective pro...
ICIAP
1999
ACM
14 years 1 months ago
1999
ACM
In this paper, a new deformable contour method derived from a constrained contour energy minimization framework is presented. By imposing a constraint of region, which can be any ...