391 search results - page 30 / 79 » Constructive Equivalence Relations on Computable Probability... |
108
click to vote
ISBI
2011
IEEE
14 years 3 months ago
2011
IEEE
For medical image analysis, the test statistic of the measurements is usually constructed at every voxels in space and thresholded to determine the regions of significant signals...
TCS
2010
14 years 9 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
NSPW
2004
ACM
15 years 4 months ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
— Loss networks provide a powerful tool for the analysis and design of many communication and networking systems. It is well known that a large number of loss networks have produ...
VLSM
2005
Springer
15 years 4 months ago
2005
Springer
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...