1155 search results - page 135 / 231 » A Decision-Theoretic Model of Assistance |
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—We consider a system with a single base station communicating with multiple users over orthogonal channels while being assisted by multiple relays. Several recent works have sug...
SP
2009
IEEE
15 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 ...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces a framework that employs the Fisher linear discriminant model (FLDM) and classifier (FLDC) on integrated facial appearance and facial expression features. T...