461 search results - page 17 / 93 » Splitting NP-Complete Sets |
CADE
2002
Springer
14 years 11 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
VLDB
1994
ACM
14 years 3 months ago
1994
ACM
We propose a new R-tree structure that outperforms all the older ones. The heart of the idea is to facilitate the deferred splitting approach in R-trees. This is done by proposing...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
In many settings there exists a set of potential participants, but the set of participants who are actually active in the system, and in particular their number, is unknown. This ...
MP
2010
13 years 9 months ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...
ECCV
2006
Springer
15 years 24 days ago
2006
Springer
We suggest a variational method for the joint estimation of optic flow and the segmentation of the image into regions of similar motion. It makes use of the level set framework fol...