2642 search results - page 61 / 529 » The development of Chez Scheme |
SP
2009
IEEE
15 years 7 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
115
Voted
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
— We present a practical distributed source coding scheme for deployable wireless sensor networks. To the best of our knowledge it is the first-of-its-kind practical scheme impl...
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Adaptive reduced-rank (RR) multistage matrix Wiener filtering (MMWF) techniques, based on the minimum mean-square error (MMSE) criterion, are proposed for timehopping (TH) pul...
128
click to vote
AVSS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we propose a novel approach for facial expression analysis and recognition. The proposed approach relies on tracked facial actions provided by an appearance-based 3...
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...