1534 search results - page 267 / 307 » networks 2011 |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
Handshape is a key linguistic component of signs, and thus, handshape recognition is essential to algorithms for sign language recognition and retrieval. In this work, linguistic ...
HICSS
2011
IEEE
13 years 2 months ago
2011
IEEE
Is happiness contagious online? To answer this question, this paper investigates the posting behavior of users on Twitter.com, a popular online service for sharing short messages....
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper, a no reference bit stream model for quality assessment of SD and HD H.264/AVC video sequences based on packet loss visibility is proposed. The method considers the ...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
Canonical distributed quantization schemes do not scale to large sensor networks due to the exponential decoder storage complexity that they entail. Prior efforts to tackle this i...