5084 search results - page 377 / 1017 » Proving Possibility Properties |
137
click to vote
DM
2002
15 years 6 months ago
2002
We consider the vertex-isoperimetric problem for cartesian powers of a graph G. A total order on the vertex set of G is called isoperimetric if the boundary of sets of a given siz...
171
click to vote
ECCC
2002
15 years 6 months ago
2002
We prove that if for some > 0, NP contains a set that is DTIME(2n )-bi-immune, then NP contains a set that is 2-Turing complete for NP (hence 3-truth-table complete) but not 1-t...
168
click to vote
FUIN
2002
15 years 6 months ago
2002
Abstract. This article introduces probabilistic cluster branching processes, a probabilistic unfolding semantics for untimed Petri nets, with no structural or safety assumptions, g...
173
click to vote
SIAMCO
2000
15 years 6 months ago
2000
We present a class of nonlinear adaptive image restoration filters which may be steered to preserve sharp edges and contrasts in the restorations. From a theoretical point of view ...
154
click to vote
JMLR
2002
15 years 6 months ago
2002
One of the most important fundamental properties of Bayesian networks is the representational power, reflecting what kind of functions they can or cannot represent. In this paper,...