16404 search results - page 321 / 3281 » A set coverage problem |
168
click to vote
SDM
2011
SIAM
14 years 7 months ago
2011
SIAM
Identifying the extremal (minimal and maximal) sets from a collection of sets is an important subproblem in the areas of data-mining and satisfiability checking. For example, ext...
177
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We propose a level set based variational approach that incorporates shape priors into Chan-Vese's model [3] for the shape prior segmentation problem. In our model, besides th...
137
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
123
click to vote
ECSQARU
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
153
click to vote
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 11 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...