3228 search results - page 218 / 646 » Computationally Sound Proofs |
246
click to vote
JFPLC
2004
15 years 8 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
162
click to vote
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
We investigate unconditional security for message authentication protocols that are designed using two-channel cryptography. We look at both noninteractive message authentication ...
189
click to vote
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
In 2003, Boneh, Gentry, Lynn and Shacham (BGLS) devised the first provably-secure aggregate signature scheme. Their scheme uses bilinear pairings and their security proof is in the...
240
click to vote
JSAI
2007
Springer
16 years 1 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
168
click to vote
CGI
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a technique to obtain a time dilation or contraction of an audio signal. Different Computer Graphics applications can take advantage of this technique. In rea...