preuve promela traduite

[hdrcouchot.git] / ahmad.tex

diff --git a/ahmad.tex b/ahmad.tex
index 1b92dbced478c7e7e615150393e81f8704348b8a..05d91778f94335d76143054fbc50f9af17e3b52c 100644 (file)
--- a/ahmad.tex
+++ b/ahmad.tex
@@ -20,7 +20,13 @@ préétablies et conserver ainsi leur information et donc la marque.
 STDM~\cite{CW01} est une instance de ces schémas de marquage.
 
 Ce chapitre présente une application de STDM au marquage de documents PDFs.
-\JFC{annonce du plan}
+La première section fournit quelques rappels sur la STDM. Le schéma basé sur 
+cette approche est présenté à la section~\ref{sec:stdm:schema}. 
+Finalement, la démarche expérimentale permettant de trouver un compromis entre 
+robustesse et qualité visuelle est présentée à la section~\ref{sec:stdm:exp}
+Ce travail a été publié dans~\cite{BDCC16}.
+
+
 
 \section{Rappels sur la Spread Transform Dither Modulation}
 \label{sec:STDM}
@@ -66,7 +72,7 @@ $U(\Delta)$.
 Tous les éléments sont en place pour embarquer une marque 
 dans un fichier PDF selon le schéma STDM.
 
-\section{Application au marquage de documents PDF}
+\section{Application au marquage de documents PDF}\label{sec:stdm:schema}
 
 On détaille successivement comment insérer une marque dans un document PDF, 
 puis comment l'extraire.
@@ -132,7 +138,7 @@ de taille $L$ mutuellement disjoints dans $[1,N]$.
   en remplaçant $x'$ par $\dot{x'}$ .
 \end{enumerate}
 
-\section{Expérimentations }
+\section{Expérimentations}\label{sec:stdm:exp}
 Le schéma de marquage est paramétré par $\Delta$,  $d_0$ et la manière de construire le vecteur $p$ pour une taille $L$. 
 Les travaux réalisés se sont focalisés sur l'influence du paramètre 
 $D_S = \frac{\Delta^2}{12L}$ dans l'algorithme en satisfaisant