Juin 2014


Retour à la vue des calendrier
Lundi 2 Juin
Heure: 14:15 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Is there anybody out there? Local Bags of Words for Authorship Attribution
Description: Manuel Montes-y-Gömez
Jeudi 5 Juin
Heure: 12:00 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Fouille de motifs pour l'image et la vidéo.
Description: Elisa Fromont Je présenterai un panel des méthodes que nous avons développées au LaHC à Saint-Etienne pour utiliser de manière fructueuse la fouille de motifs et en particulier les itemsets et les graphes pour la classification d'images et le suivi d'objets dans les vidéos. Je m'attarderai en particulier sur un algorithme de fouille de graphes plans développé pour le traitement des vidéos qui inclut une prise en compte de contraintes spatio-temporelles et nous permet de traiter des données réelles là où les algorithmes génériques ne passent pas à l'échelle. Des "clusters" de sous graphes extraits nous permettent de traiter des cas de suivi d'objets difficilement abordables par les méthodes existantes en vision par ordinateur.
Vendredi 6 Juin
Heure: 10:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On the computational meaning of axioms
Description: Mattia Petrolo An anti-realist theory of meaning suitable for both logical and proper
axioms is investigated. As opposed to other anti-realist accounts, like
Dummett-Prawitz verificationism, the standard framework of classical
logic is not called into question. The reason being that semantical
features are not limited solely to inferential ones, but also
computational aspects are considered as essential in the process of
determination of meaning. In order to deal with such computational
aspects, a relaxation of syntax is shown to be necessary. This leads to
the presentation of a general kind of proof theory, where the objects of
study are not only typed objects like deductions, but untyped ones,
where formulas have been replaced by geometrical configurations.

This is joint work with Alberto Naibo and Thomas Seiller
Mardi 10 Juin
Heure: 15:00 - 18:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: pôt départ à la retraite de Silvia Goodenough
Lundi 16 Juin
Heure: 14:15 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Uncovering the semantics of web links
Description: Valentina Presutti
Mardi 24 Juin
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Journée Math-STIC (LIPN-LAGA)
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Un théorème de forme asymptotique pour un modèle de propagation d'épidémie ≥3
Description: Ellen Saada
Heure: 11:10 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Processus de contact en milieu aléatoire
Description: Olivier Garet
Heure: 13:30 - 16:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Temps de survie du processus de contact sur les graphes aléatoires réguliers
Description: Jean-Christophe Mourrat
Heure: 14:40 - 17:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Retour sur le théorème de forme en percolation de premier passage
Description: Marie Théret
Heure: 16:10 - 19:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Exposants d'échelle pour un modèle (très simplifié) de percolation de premier passage
Description: Lucas Gérin