525 search results - page 21 / 105 » Using Checkable Types in Automatic Protocol Analysis |
ASIACRYPT
2004
Springer
14 years 1 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
ACL
2012
11 years 10 months ago
2012
This paper presents a comparative study of spelling errors that are corrected as you type, vs. those that remain uncorrected. First, we generate naturally occurring online error c...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Opportunistic routing is a well-known technique that exploits the broadcast nature of wireless transmissions and path diversity to form the route in an adaptive manner based on cur...
LREC
2010
13 years 9 months ago
2010
Most question-answering systems contain a classifier module which determines a question category, based on which each question is assigned an answer type. However, setting up synt...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—This paper presents a framework for automatic video region-of-interest determination based on user attention model. In this work, a set of attempts on using video attention feat...