7890 search results - page 1386 / 1578 » The MathSAT 3 System |
120
Voted
CCS
2007
ACM
15 years 11 months ago
2007
ACM
QUAD is a stream cipher whose provable security relies on the hardness of solving systems of multivariate quadratic equations. This paper explores FPGA implementations of the stre...
125
Voted
CLEF
2007
Springer
15 years 11 months ago
2007
Springer
We describe our system for the monolingual Dutch and multilingual English to Dutch QA tasks. First, we present a brief overview of our QA-system, which makes heavy use of syntacti...
134
click to vote
DRM
2007
Springer
15 years 11 months ago
2007
Springer
We present a new technique for generating biometric fingerprint hashes, or summaries of information contained in human fingerprints. Our method calculates and aggregates various...
145
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
136
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper formally presents the resident physician scheduling problem, which is one of the most important scheduling problems in hospital. The resident physician scheduling probl...