14331 search results - page 396 / 2867 » On the modeling and analysis of obligations |
160
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
156
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This article presents several techniques to combine between Support vector machines (SVM) and Joint Factor Analysis (JFA) model for speaker verification. In this combination, the...
176
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays, the source localization has been widely applied for wireless sensor networks. The Gaussian mixture model has been adopted for maximum-likelihood (ML) source localization ...
186
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Policy making is a multi-actor process: it involves a variety of actors, each trying to further their own interests. How these actors decide and act largely depends on the way the...
192
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In sensor networks, MAC protocols based on Time Division Multiple Access (TDMA) with wakeup and sleep periods have attracted considerable interest because of their low power co...