20441 search results - page 239 / 4089 » Locally Computable Structures |
127
click to vote
ICIP
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel algorithm for wavelet domain image denoising using the soft thresholding function. The thresholds are designed to be locally optimal with respect...
142
click to vote
MVA
2007
15 years 5 months ago
2007
This paper proposes a novel system for the automatic detection of important anatomical structures such as the Optic Disc (OD), Blood Vessels and Macula in digital fundus retinal i...
135
click to vote
BILDMED
2009
15 years 5 months ago
2009
Abstract. We present a multi-scale approach for non-rigid image registration of tubular tree-like structures such as vessels. Therefore, we consider a Gaussian and a combined morph...
137
click to vote
RAS
1998
15 years 4 months ago
1998
Localization is the problem of determining the position of a mobile robot from sensor data. Most existing localization approaches are passive, i.e., they do not exploit the opport...
199
click to vote
LPAR
2012
Springer
13 years 12 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...