2642 search results - page 61 / 529 » The development of Chez Scheme |
SP
2009
IEEE
14 years 4 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 ...
VTC
2008
IEEE
14 years 4 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
14 years 4 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...
AVSS
2006
IEEE
14 years 4 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
14 years 3 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...