3228 search results - page 218 / 646 » Computationally Sound Proofs |
225
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...
145
click to vote
DCC
2010
IEEE
15 years 6 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 ...
177
Voted
DCC
2010
IEEE
15 years 6 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...
228
click to vote
JSAI
2007
Springer
16 years 22 days 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...
150
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...