4075 search results - page 129 / 815 » Modeling Distributed Algorithm Using B |
CORR
2000
Springer
13 years 10 months ago
2000
Springer
While Kolmogorov complexity is the accepted absolute measure of information content of an individual finite object, a similarly absolute notion is needed for the relation between a...
DCOSS
2006
Springer
14 years 2 months ago
2006
Springer
User access control in sensor networks defines a process of granting user the access right to the information and resources. It is essential for the future real sensor network depl...
MMSP
2008
IEEE
14 years 5 months ago
2008
IEEE
—The use of multiple entropy models for Huffman or arithmetic coding is widely used to improve the compression efficiency of many algorithms when the source probability distribu...
ICIP
2003
IEEE
15 years 7 days ago
2003
IEEE
This paper presents an algorithm for tracking the left ventricle in echocardiographic sequences, using multiple models. The use of multiple dynamic models is appropriate since the...
EGC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...