HomeSort by: relevance | last modified time | path
    Searched defs:Approximation (Results 1 - 1 of 1) sorted by relevancy

  /src/external/mit/isl/dist/doc/
implementation.tex 684 the current approximation of the affine hull.
685 The list of witnesses is used to construct an initial approximation
874 we can, in the general case, only compute an approximation
879 such that $R^+ \subseteq T$. Of course, we want this approximation
881 $R^+$ and we want to detect the cases where the approximation is
884 For computing an approximation of the transitive closure of $R$,
886 and first compute an approximation of $R^k$ for $k \ge 1$ and then project
908 \subsection{Computing an Approximation of $R^k$}
965 and then the approximation computed in \eqref{eq:transitive:approx}
1058 We will use the following approximation $Q_i$ for $P_i'$
    [all...]

Completed in 23 milliseconds