Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Modèle de contour actifUn modèle de contour actif, souvent nommé snake (« serpent » en anglais) dans la littérature, est une structure dynamique utilisée en et en vision artificielle. Ils ont été introduits de manière formelle par Kass et Witkin en 1987. Plusieurs approches sont possibles et permettent de résoudre le problème de la et de la détection de contour en utilisant un modèle de courbe déformable qui épouse la forme des objets. Un modèle de contour actif est formé d'une série de points mobiles et répartis sur une courbe en deux dimensions.
Retouche d'imageLa retouche d'image désigne tout procédé qui consiste à modifier une , photographie, film cinématographique ou peinture. En photographie, la retouche consiste à corriger des défauts d'aspect, éclaircir ou assombrir l'image, augmenter ou diminuer les contrastes et retravailler la saturation des couleurs. Elle peut aussi faire référence à des modifications plus importantes. Si on transforme une photographie pour ajouter une personne ou en enlever une, on parle alors de photomontage ou de trucage photographique.
Hessian affine region detectorThe Hessian affine region detector is a feature detector used in the fields of computer vision and . Like other feature detectors, the Hessian affine detector is typically used as a preprocessing step to algorithms that rely on identifiable, characteristic interest points. The Hessian affine detector is part of the subclass of feature detectors known as affine-invariant detectors: Harris affine region detector, Hessian affine regions, maximally stable extremal regions, Kadir–Brady saliency detector, edge-based regions (EBR) and intensity-extrema-based (IBR) regions.
Partition d'un ensemblevignette|Les 52 partitions d'un ensemble à 5 éléments. Les points noirs représentent les éléments de l'ensemble. Une région colorée correspond à un bloc de la partition qui regroupe plusieurs points noirs. Un point noir isolé signifie que cet élément appartient à un bloc qui est un singleton. En mathématiques, une partition d'un ensemble X est un ensemble de parties non vides de X deux à deux disjointes et dont l'union est X. Soit un ensemble X.
Atlas de textureUn atlas de texture (texture atlas) est en infographie, une , comportant différentes plus petites images, utilisée dans le domaine du jeu vidéo (2D ou 3D) et de l'imagerie 3D. Dans le jeu vidéo 2D, elle est utilisée pour construire un décor ou représenter les différentes phase de l'animation d'éléments. Dans le domaine de l'imagerie tridimensionnelle (et donc également le jeu vidéo 3D) elle est utilisée pour les textures des objets. Lorsqu'il s'agit d'élément de décor de jeu vidéo en bitmap, on parle de tuile (de l'tile, plus fréquemment utilisé).
Graphe scindévignette|240x240px| Un graphe scindé, partitionné en une clique et un ensemble stable. En théorie des graphes, un graphe scindé ou graphe séparé (en anglais : split graph) est un graphe dont les sommets peuvent être partitionnés deux parties : une clique et un ensemble stable. Les graphes scindés ont été étudiés pour la première fois par Földes et Marteau en 1977, et introduit indépendamment par Tyshkevich et Tchernyak en 1979 .
