2907 search results - page 182 / 582 » Presentations of Structures in Admissible Sets |
184
click to vote
IJCV
2006
15 years 6 months ago
2006
In this paper a method for fitting open surfaces to data obtained from images is presented using a level set representation of the surface. This is done by tracking a curve, repres...
164
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Although steady progress has been made in recent stereo algorithms, producing accurate results in the neighborhood of depth discontinuities remains a challenge. Moreover, among th...
262
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
177
click to vote
PKDD
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. When seeking for small clusters it is very intricate to distinguish between incidental agglomeration of noisy points and true local patterns. We present the PAMALOC algor...
167
click to vote
VMCAI
2007
Springer
16 years 19 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...