Séminaire du LaBRI 2002-2003Le jeudi, à 14h, amphithéâtre du LaBRI. |
L'origine des travaux que je me propose de présenter dans le cadre de ce séminaire découle d'une analyse de l'évolution récente du bilan offre/besoin en matière d'outils matériels et logiciels dans le domaine du calcul hautes performances distribué. La situation du matériel progresse de manière satisfaisante vers l'utilisation massive de grappes de stations de travail. Pour de multiples raisons, notamment d'ordre économique, la situation du logiciel reste au contraire bien en retrait par rapport à l'attente des utilisateurs potentiels en matière d'aide à la programmation. Le cas des interfaces de communication, le composant central de toute application distribuée, est particulièrement représentatif : après plus d'une décennie de travaux intensifs sur la question, aucun consensus sur les fonctionnalités, l'expressivité et le niveau de l'interface de communication idéale ne semble devoir se dessiner...
Travail en collaboration avec Gilles AUBERT et Michel BARLAUD.
Nous proposons de segmenter les régions ou objets dans les images ou séquences d'images par une approche variationnelle. La fonctionnelle à minimiser est composée de termes globaux sur les régions et de termes locaux sur les contours dans lesquels les fonctions caractérisant les régions ou contours sont appelées descripteurs. La recherche du minimum est effectuée via la propagation d'un contour actif par une équation aux dérivées partielles dite géométrique. Nous proposons deux contributions principales afin de calculer l'équation d'évolution du contour actif permettant de faire évoluer celui-ci le plus rapidement possible vers un minimum de la fonctionnelle. Tout d'abord nous utilisons les outils de dérivation de domaines comme alternative au calcul des variations classiquement utilisé. Ensuite, nous prenons en compte explicitement lors de la dérivation le cas des descripteurs globalement attachés à la région et nous montrons que cette dépendance induit des termes additifs dans l'équation d'évolution.
Le cadre de travail développé est ensuite mis en oeuvre pour des applications variées de segmentation. Tout d'abord, des descripteurs statistiques basés sur le déterminant de la matrice de covariance sont étudiés pour la segmentation du visage. L'estimation des paramètres statistiques se fait conjointement à la segmentation. Nous proposons ensuite des descripteurs statistiques utilisant une distance à un histogramme de référence pour le suivi de régions d'intérêt. Enfin, la détection des objets en mouvement dans les séquences à caméra fixe et mobile est opérée via l'utilisation hiérarchique de descripteurs basés mouvement et de descripteurs spatiaux.
Nous tenterons de présenter un panorama de la linguistique informatique en insistant sur l'utilisation de méthodes formelles dans ce domaine. En particulier nous insisterons sur l'utilisation de la théorie des langages formels, des systèmes déductifs et du lambda calcul pour la modélisation de la syntaxe et de la sémantique des langues; ces méthodes permettent de construire une représentation du sens de l'énoncé analysé, et, réciproquement, d'engendrer un énoncé qui exprime un sens donné.
Finalement nous illustrerons ces idées par une démonstration du système Grail que Richard Moot a réalisé en Sicstus Prolog avec une interface en Tcl/Tk. Ce système, basé sur les grammaires multimodales de Michael Moortgat, analyse des phrases et produit des représentations sémantiques; il fonctionne pour des fragments de l'anglais, du néerlandais, du français et de l'italien.
La programmation par aspects est un nouveau paradigme de programmation qui améliore la modularité des programmes. La programmation par aspects offre un langage et un outil (un tisseur de code) qui permettent d'exprimer des programmes sous la forme de différents modules lorsque les approches classiques ne le permettent pas. Un premier outil, AspectJ, a été proposé par l'équipe de Gregor Kiczales afin de soutenir la programmation par aspects en Java. Après une introduction sur la programmation par aspects en général et la programmation par aspects avec AspectJ, nous présenterons notre approche de la programmation par aspects à l'école des Mines de Nantes : l'approche événementielle.
Liens : aspectj.org, projet EAOP.
Increasingly, HTML/XML documents on the Web are dynamically generated by embedded server-side scripting languages, such as PHP, ASP, and JSP. However, this has five serious limitations: it forces linear document construction, intermixes designer/programmer aspects, yields implicit control-flow, prevents static XML validation, and precludes caching.
This talk presents a flexible, safe, and, efficient language for dynamically generating XML documents that solves the above problems. We also show how to augment XHTML documents with form-field validation through declarative specifications.
More information: the <bigwig> Project.
Jean Bétréma, bureau 303, LaBRI, tél. (05-56-84) 60-95, adresse électronique (pour les gentils humains, pas pour les vilains robots) : Jean point Betrema at labri point fr.
Actes du séminaire :