532 search results - page 82 / 107 » Process Algebras for Quantitative Analysis |
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
Tracing of curvilinear structures is one of the fundamental tools in the quantitative analysis of biological images, for extracting information about structures such as blood vess...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Multiresolution (MR) representations have been very successful in image encoding, due to both their algorithmic performance and coding efficiency. However these transforms are ...
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
We propose a new method addressing the problem of template drift, a common phenomenon in which the target gradually shifts away from the template in object tracking. Much effort h...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE
Over the last years many statistical models have been proposed to restore tomographical images. However, their use in medical environment has been limited due to several factors. ...
CISC
2005
Springer
14 years 1 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...