Sciweavers

11739 search results - page 248 / 2348
» Slideshow: functional presentations
Sort
View
ICASSP
2011
IEEE
14 years 9 months ago
Informed secure watermarking using optimal transport
This paper presents several watermarking methods preventing the estimation of the secret key by an adversary. The constraints for secure embedding using distribution matching, whe...
Patrick Bas
ASIACRYPT
2006
Springer
15 years 9 months ago
Multi-Property-Preserving Hash Domain Extension and the EMD Transform
We point out that the seemingly strong pseudorandom oracle preserving (PRO-Pr) property of hash function domain-extension transforms defined and implemented by Coron et. al. [12] ...
Mihir Bellare, Thomas Ristenpart
ETFA
2006
IEEE
15 years 11 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
127
Voted
IGPL
1998
86views more  IGPL 1998»
15 years 5 months ago
A Brief Note About Rott Contraction
One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by G¨ardenfors in [5], who defined epistemic entrenchment ...
Eduardo L. Fermé, Ricardo Oscar Rodrí...
TC
1998
15 years 5 months ago
Toward Correctly Rounded Transcendentals
—The Table Maker’s Dilemma is the problem of always getting correctly rounded results when computing the elementary functions. After a brief presentation of this problem, we pr...
Vincent Lefèvre, Jean-Michel Muller, Arnaud...