11160 search results - page 262 / 2232 » Incompleteness in a General Setting |
176
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
174
click to vote
TEC
2010
15 years 19 days ago
2010
Abstract--Assuming that evolutionary multiobjective optimization (EMO) mainly deals with set problems, one can identify three core questions in this area of research: (i) how to fo...
149
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Graph-cuts based algorithms are effective for a variety
of segmentation tasks in computer vision. Ongoing research
is focused toward making the algorithms even more general,
as ...
181
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. This paper presents a variational level set approach to joint segmentation and bias correction of images with intensity inhomogeneity. Our method is based on an observati...
136
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
Expanding a seed set into a larger community is a common procedure in link-based analysis. We show how to adapt recent results from theoretical computer science to expand a seed s...