2550 search results - page 399 / 510 » The Meaning of Open Standards |
TSE
2010
14 years 9 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
WOTE
2010
14 years 9 months ago
2010
We present a K-out-of-L voting scheme, i.e., a voting scheme that allows every voter to vote for (up to) K candidates from a set of L candidates. The scheme is receipt-free, which ...
98
Voted
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
We describe efficient techniques for construction of large term co-occurrence graphs, and investigate an application to the discovery of numerous fine-grained (specific) topics. A...
104
click to vote
ICIP
2010
IEEE
14 years 9 months ago
2010
IEEE
Local Binary Pattern (LBP) has been widely used in texture classification because of its simplicity and computational efficiency. Traditional LBP codes the sign of the local diffe...
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
In this work a new method to retrieve images with similar lighting conditions is presented. It is based on automatic clustering and automatic indexing. Our proposal belongs to Con...