734 search results - page 113 / 147 » A Question-Answering System Using Argumentation |
PODS
2006
ACM
14 years 8 months ago
2006
ACM
Privacy-preserving query-answering systems answer queries while provably guaranteeing that sensitive information is kept secret. One very attractive notion of privacy is perfect p...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
HASKELL
2009
ACM
14 years 3 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
DEPCOS
2008
IEEE
14 years 2 months ago
2008
IEEE
Achieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies. Great deal of this is sp...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
One reason given for the use of multirobot systems is that many cheap robots are more reliable than one expensive robot. To date, however, there has been no quantitative analys...