678 search results - page 2 / 136 » Generalized Percolation Processes Using Pretopology Theory |
120
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Markov random field (MRF) theory has widely been applied to segmentation in noisy images. This paper proposes a new MRF method. First, it couples the original labeling MRF with a ...
123
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
152
click to vote
FOSSACS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
140
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we present a general theory of adaptive mathematical morphology (AMM) in the Euclidean space. The proposed theory preserves the notion of a structuring element, whi...
135
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...