diff --git a/text/problem/thething/problem.tex b/text/problem/thething/problem.tex index 293279f..c506436 100644 --- a/text/problem/thething/problem.tex +++ b/text/problem/thething/problem.tex @@ -125,16 +125,16 @@ Two time series of equal lengths are \emph{{\thething} neighboring} when they di For example, the time series ($p_1$, \dots, $p_8$) with {\thethings} set the $\{p_1, p_3,p_5\}$ is {\thething} neighboring to the time series of Figure~\ref{fig:lmdk-scenario}. %This means that we can obtain the first time series by adding/removing one event to/from the second time series. %to/from any one of two {\thething} neighboring series of events we can obtain the other series. -% Therefore, Corollary~\ref{cor:thething-nb} follows. - -We proceed to propose \emph{{\thething} privacy}, a configurable variation of differential privacy for time series (Definition~\ref{def:thething-prv}). +Therefore, Corollary~\ref{cor:thething-nb} follows. \begin{corollary} - \label{cor:thething-nb} - Two {\thething} neighboring series of events are event neighboring as well. + \label{cor:thething-nb} + Two {\thething} neighboring time series are event neighboring as well. \end{corollary} %\kat{what is event neighboring?} +We proceed to propose \emph{{\thething} privacy}, a configurable variation of differential privacy for time series (Definition~\ref{def:thething-prv}). + %\kat{Up to now M was a mechanism, now it is a set of mechanisms?} \begin{definition} % [{\Thething} privacy]