2239 search results - page 303 / 448 » Computing with abstract matrix structures |
ICIP
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract- We present a novel and computationally simple prediction stage in a Daubechies 5/3 ? like lifting structure for lossless image compression. In the 5/3 wavelet, the predic...
72
Voted
MICCAI
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. In this paper, we propose a set of new generic automated processing tools to characterise the local asymmetries of anatomical structures (represented by surfaces) at an i...
95
Voted
DAC
2000
ACM
15 years 11 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
IPMI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway or vascular tree morphology and its associated function. Our skeletoniza...
166
Voted
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...