Résumé. La découverte d’informations cachées dans les bases de données multimédias est une tâche difficile à cause de leur structure complexe et à la subjectivité liée à leur interprétation. Face à cette situation, l’utilisation d’un index est primordiale. Un index multimédia permet de regrouper les données selon des critères de similarité. Nous proposons dans cet article d’apporter une amélior...

Résumé. Nous proposons dans cet article une définition formelle de la robustesse pour les règles d’association, s’appuyant sur une modélisation que nous avons précédemment définie. Ce concept est à notre avis central dans l’évaluation des règles et n’a à ce jour été que très peu étudié de façon satisfaisante. Il est crucial car malgré une très bonne évaluation par une mesure de qualité, une règ...

We show here a probabilistically checkable proof for NP in which the verifier reads only a constant number of bits from the proof (and uses only polynomially many random bits). In addition to being of independent interest, this result is used as a key step in the proof of the PCP theorem itself. To show the desired result, we will work with the NP-complete language of satisfiable quadratic equa...

Discussion in the Efficacy Working Party February 2001 / October 2001 Transmission to CPMP November 2001 Release for consultation November 2001 Deadline for comments May 2002 Discussion in the Efficacy Working Party September/October 2002 Transmission to CPMP December 2002 Adoption by CPMP December 2002 Date for coming into operation June 2003 Draft Rev. 1 agreed by Urology Drafting Group Octob...

In other words, foo is an alias for the type int. On the other hand, two types can be equivalent based on their structure. For example, in ML we have: {x: int, y: int}∼= {y: int, x: int} This equation tells us the order in the record structure is unimportant, which makes sense since we get the element of a record by a term like e.x, which has nothing to do with the order of the fields. For impl...