923 search results - page 155 / 185 » Proving the value of formal methods |
175
click to vote
GLOBECOM
2008
IEEE
16 years 19 days ago
2008
IEEE
—In this paper, we propose a novel coalitional game model for security issues in wireless networks. The model can be applied to not only mobile ad hoc networks but also wireless ...
172
click to vote
ICB
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper, we propose a novel representation, called Multiscale Block Local Binary Pattern (MB-LBP), and apply it to face recognition. The Local Binary Pattern (LBP) ...
194
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
Today, search engine is the most commonly used tool for Web information retrieval, however, its current status is still far from satisfaction. This paper focuses on clustering Web...
166
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
168
click to vote
IBPRIA
2009
Springer
15 years 10 months ago
2009
Springer
Hyperspectral remote sensing provides data in large amounts from a wide range of wavelengths in the spectrum and the possibility of distinguish subtle differences in the image. For...