Keyphrases
- probability density function
- digital images
- watermarking scheme
- image watermarking
- probability distribution functions
- probability distribution function
- linear logic
- digital watermarking
- higher order statistics
- copyright protection
- theorem prover
- density estimation
- information hiding
- watermarking technique
- watermarking algorithm
- theorem proving
- pdf files
- interactive theorem proving