20807 search results - page 300 / 4162 » How to read a paper |
185
click to vote
TCC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...
163
click to vote
WABI
2007
Springer
16 years 28 days ago
2007
Springer
Graph-theoretic models have come to the forefront as some of the most powerful and practical methods for sequence assembly. Simultaneously, the computational hardness of the underl...
184
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
In soccer videos, most significant actions are usually followed by close–up shots of players that take part in the action itself. Automatically annotating the identity of the p...
197
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
213
click to vote
AOSD
2006
ACM
16 years 24 days ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...