9176 search results - page 370 / 1836 » algorithms 2010 |
186
click to vote
IPCV
2010
15 years 4 months ago
2010
A number of image set compression algorithms have been proposed in the literature. A key component of these algorithms is a numeric measure used to quantify how similar two images ...
146
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
189
click to vote
TIP
2010
15 years 1 months ago
2010
Imaging plays an important role in experimental fluid dynamics. It is equally important both for scientific research and a range of industrial applications. It is known, however, t...
184
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
The problem of automatic classification of scientific texts is considered. Methods based on statistical analysis of probabilistic distributions of scientific terms in texts are dis...
142
click to vote
TCOM
2010
15 years 1 months ago
2010
It is shown that binary low-density generator matrix codes can achieve the rate-distortion bound of discrete memoryless sources with general distortion measure via multilevel quant...