4502 search results - page 744 / 901 » Regular Model Checking |
137
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. We present a new generic method for vascular segmentation of angiography. Angiography is used for the medical diagnosis of arterial diseases. To facilitate an effective a...
159
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Image decomposition consists of splitting an image into two or more components. One component is piecewise smooth and models object shapes. Another component consists of the textu...
140
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
We study the 3D reconstruction of a binary scene from X-ray tomographic data. In the special case of a compact and uniform object lying in a uniform background, the scene is entir...
256
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
The nature of semistructured data in web collections is evolving. Increasingly, XML web documents (or documents exchanged via web services) are valid with regard to a schema, yet ...
230
click to vote
ICDE
1999
IEEE
16 years 6 months ago
1999
IEEE
Storage management of multidimensional arrays aims at supporting the array model needed by applications and insuring fast execution of access operations. Current approaches to sto...