9521 search results - page 54 / 1905 » Compiling with continuations, continued |
JSYML
2010
14 years 8 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
105
click to vote
SIAMIS
2010
14 years 4 months ago
2010
Simulated annealing (SA) and deterministic continuation are well-known generic approaches to global optimization. Deterministic continuation is computationally attractive but produ...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
We propose a spatially continuous formulation of Ishikawa's discrete multi-label problem. We show that the resulting non-convex variational problem can be reformulated as a co...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a new approach in automation for crack detection on pavement surface images. The method is based on the continuous wavelet transform. In the first step, a sepa...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
Semi-Supervised Support Vector Machines (S3 VMs) are an appealing method for using unlabeled data in classification: their objective function favors decision boundaries which do n...