9405 search results - page 179 / 1881 » Computing a Model of Set Theory |
102
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
163
click to vote
CVPR
2005
IEEE
16 years 5 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...
120
click to vote
CAV
2009
Springer
16 years 3 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...
124
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Suppose a set of images contains frequent occurrences of objects from an unknown category. This paper is aimed at simultaneously solving the following related problems: (1) unsupe...
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...