4795 search results - page 528 / 959 » The Message Classification Model |
188
Voted
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Group signature schemes allow users to sign messages on behalf of a group while (1) maintaining anonymity (within that group) with respect to an observer, yet (2) ensuring traceab...
169
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
186
Voted
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we consider the problem of high accuracy localization of mobile nodes in a multipath-rich environment where sub-meter accuracies are required. We employ a peer to pee...
230
Voted
FORTE
2009
15 years 4 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
160
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper we look at the problem of cleansing noisy text using a statistical machine translation model. Noisy text is produced in informal communications such as Short Message...