4324 search results - page 253 / 865 » A Generalized Representer Theorem |
181
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper proposes an image segmentation model based on the active contour model, the Mumford-Shah functional and the image decomposition process. Generally speaking, the active ...
188
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
196
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
144
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
179
click to vote
ALT
2005
Springer
16 years 3 months ago
2005
Springer
Efficient learnability using the state merging algorithm is known for a subclass of probabilistic automata termed µ-distinguishable. In this paper, we prove that state merging alg...