Il est maintenant le temps de vous intéresser à CSDM 2012 ! Je vous ai déjà parlé ici de la conférence CSDM (Complex Systems Design & Management) dont l’édition 2010 a été un succès, avec par exemple la note moyenne attribuée à l’ensemble de la conférence qui avoisine 8/10 dans le questionnaire de satisfaction. Le communiqué de MEGA, sponsor de l’évènement, nous dit que : A l’issue de cette première édition, les organisateurs affichent leur satisfaction. « Nous nous étions fixés 3 objectifs, explique Daniel Krob, président de CESAMES & professeur de l’Ecole Polytechnique. Le premier était de faire venir [...]

Et oui, l’article suivant : Uniform Monte-Carlo Model-Checking. Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne and Sylvain Peyronnet. a été accepté pour publication à FASE 2011 (le site web de la conférence est aussi accessible par là). On y présente une méthode pour la génération uniforme de lassos dans les graphes de flots réductibles. Cela vous fait une belle jambe n’est ce pas ? En fait les lassos sont les structures qui permettent de déterminer la validité de certaines formules de la logique (Linear Temporal Logic). En les échantillonnant uniformément, on peut chercher des comportements spécifiques d’un système tout [...]

C’est l’ami Tiger qui me l’a  demandé sur Twitter et la foule (enfin une petite foule, presque une “foulette”) en délire en a rajouté, donc voici l’article promis sur la LDA (Latent Dirichlet Allocation). Le billet va être un peu long, je vous conseille donc de vous installer confortablement. J’ai a priori gommé tous les détails techniques et j’ai essayé d’enlever tout le jargon mathématique pour juste garder l’intuition, mais il ne faut pas hésiter à me demander des précisions que j’intégrerais au texte. Dans ce billet je vais aborder deux aspects complémentaires des techniques statistiques de modélisation des documents [...]

Comme promis, je continue sur la notion de singularité, ce coup ci pour vous faire part de mon scepticisme. Je vais procéder avec une belle liste à points, ce sera plus facile que d’essayer de structurer ma pensée. Des machines avec la même puissance de calcul que le cerveau humain apparaitront très rapidement maintenant, puis la puissance ne fera que croître sans jamais connaitre de limites autre que celle liées à la taille de l’univers. Vous n’y croyez pas ? moi non plus, déja on ne sait absolument pas ce que veut dire “puissance du cerveau humain”, on trouve des [...]

Le gros buzz du moment chez les spécialistes de complexité structurelle, chez les algorithmiciens, chez les théoriciens, mais aussi chez tout ceux intéressés par les aspects un peu théorique de l’informatique, c’est l’annonce par Vinay Deolalikar d’une preuve du fait que . C’est une annonce, la preuve (longue de plus de 100 pages) est en cours de vérification, et ce n’est pas la première fois qu’une telle annonce est faite à tort, cependant il s’agit cette fois ci d’un chercheur sérieux dans le domaine, donc les espoirs les plus fous sont permis. Que nous dit Vinay Deolalikar dans un mail [...]

Je suis très content d’annoncer l’acceptation de mon neuvième article de l’année : Three High Performance Architectures in the Parallel Approximate Probabilistic Model Checking Boat. Khaled Hamidouche, Alexandre Borghi, Pierre Esterie, Joel Falcou and Sylvain Peyronnet. PDMC 2010. PDMC 2010 est un workshop pas très connu dont le domaine d’étude est le model checking distribué et/ou parallèle, inutile de vous dire que cela reste un domaine relativement confidentiel (malheureusement ). Ceci étant, si vous êtes intéressé par l’utilisation de framework de parallélisation automatique, vous serez sans doute curieux sur l’usage que l’on fait de BSP++ pour adapter le moteur du [...]

Je vous ai déja parlé dans un billet précédent de l’article sur le déclassement du spam que j’ai écrit avec Thomas Largillier (c’est ici). En regardant les articles qui allaient être présentés à la conférence pour trouver ceux qui sont à ne pas rater, je suis tomber sur : How to Improve Your Google Ranking: Myths and Reality A.-J. Su, Y. C. Hu, A. Kuzmanovic, and C.-k. Koh In IEEE/WIC/ACM International Conference on Web Intelligence, Toronto, Canada, August 2010. Comme en parallèle le milieu SEO français parlait un peu de l’histoire du gars de l’AFNIC qui n’aimait pas les SEO, [...]

Aujourd’hui je vais vous parler de l’un des derniers articles acceptés que j’ai écrit avec Thomas Largillier, mon (plus pour très longtemps maintenant) thésard qui bosse sur les algorithmes pour le web. Il s’agit de l’article suivant : Lightweight Clustering Methods for Webspam Demotion. Thomas Largillier and Sylvain Peyronnet. WI 2010. La question que nous nous sommes posé est simple : est ce que l’on souhaite vraiment détecter le spam ? Et la réponse est non, ce que l’on souhaite c’est fournir les meilleurs résultats à l’internaute lorsqu’il requête un moteur de recherche. Et pour cela peu importe que l’index [...]

Et oui, encore un nouveau papier accepté, et encore avec Thomas Largillier : Lightweight Clustering Methods for Webspam Demotion. Thomas Largillier and Sylvain Peyronnet. Web Intelligence 2010. Je n’ai jamais parlé de ces travaux ici, mais je pense qu’ils sont potentiellement intéressants pour la communauté SEO, j’en parlerais donc très prochainement. En attendant, et pour faire très court, nous y proposons une méthode au coût, en terme de calcul, très faible (et qui peut donc être rajouté par exemple au calcul du PageRank sans le rendre vraiment plus long) pour affaiblir l’effet des structures “spamantes” (c’est à dire des fermes [...]

Aujourd’hui je vais expliciter deux notions que vous pouvez retrouver dans pas mal d’articles que je cite ou que je tente de vulgariser. Il s’agit des notions de precision et recall (précision et rappel en français). Il s’agit de deux mesures de la qualité d’un mécanisme de classification de données. C’est pour cela que dans le domaine de la lutte contre le spam on retrouve beaucoup ces deux quantités. En effet, lorsque l’on met au point un nouveau mécanisme de détection de spam sur le web, on va vouloir déterminer son efficacité. Il s’agit donc de vérifier si le mécanisme [...]