2517 search results - page 104 / 504 » Specifying Weak Sets |
156
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, we propose a novel region-based active contour model for image segmentation with a variational level set formulation. By introducing a local binary fitting energy, ...
137
click to vote
FOSSACS
2009
Springer
16 years 7 days ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
137
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
142
click to vote
WINE
2007
Springer
15 years 11 months ago
2007
Springer
We consider a model of content contribution in peer-to-peer networks with linear quadratic payoffs and very general interaction patterns. We find that Nash equilibria of this gam...
165
click to vote
FOCS
2003
IEEE
15 years 10 months ago
2003
IEEE
We show that Yao’s XOR Lemma, and its essentially equivalent rephrasing as a Direct Product Lemma, can be re-interpreted as a way of obtaining error-correcting codes with good l...