2746 search results - page 23 / 550 » Bisubmodular Function Minimization |
111
Voted
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
136
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we introduce a novel edge-based, implicit approach for single object segmentation in 3D images. From a couple of curves, traced by the user on the object to be segme...
120
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
93
Voted
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
We address the problem of inserting repeaters, selected from a library, at feasible locations in a placed and routed network to meet user-specified delay constraints. We use mini...
203
click to vote
ICCV
2011
IEEE
14 years 14 days ago
2011
IEEE
This paper presents a novel formulation, which derives in a smooth minimization problem, to tackle the rigid registration between a given point set and a model set. Unlike most of ...