5550 search results - page 284 / 1110 » Different Approaches to Proof Systems |
205
click to vote
CEC
2005
IEEE
16 years 9 days ago
2005
IEEE
Energy minimization algorithms for bio-molecular systems are critical to applications such as the prediction of protein folding. Conventional energy minimization methods such as th...
193
click to vote
TREC
2007
15 years 7 months ago
2007
We describe recent extensions to the Ephyra question answering (QA) system and their evaluation in the TREC 2007 QA track. Existing syntactic answer extraction approaches for fact...
165
click to vote
CNSR
2008
IEEE
16 years 1 months ago
2008
IEEE
Attacks and intrusions to information systems cause large revenue losses. The prevention of these attacks is not always possible by just considering information from isolated sour...
181
click to vote
ERSA
2004
15 years 8 months ago
2004
Delay budget is an excess delay that each component of a design can tolerate under a given timing constraint. Delay budgeting has been widely exploited to improve the design quali...
199
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...